source: to-imperative/trunk/bootstrap/compiler/rfp_asail_java.cc @ 1996

#include <rf_core.hh>
#include <refal/Apply.hh>
#include <refal/Box.hh>
#include <refal/Arithm.hh>
#include <refal/Convert.hh>
#include <refal/Compare.hh>
#include <refal/List.hh>
#include <refal/JavaMangle.hh>
#include <refal/Class.hh>
#include <refal/Table.hh>
#include "rfpc.hh"
#include "rfp_helper.hh"
#include <refal/StdIO.hh>

namespace refal
{

using namespace rfrt;

namespace rfp__asail__java
{

static Expr Int;

static Expr Exports;

static Expr Inputs;

static Expr Module_m_Name;

static Expr Entry;

static Expr Entry_m_Name;

static Expr Current_m_Namespace;

static Expr Func_m_Name;

static Expr Ress;

static Expr Iter_m_Vars;

static Expr Free_m_Idx;

RF_DECL (RFP_m_ASAIL_m_To_m_Java);

RF_DECL (ASAIL_m_To_m_Java);

RF_DECL (Copy_m_Args);

RF_DECL (Expr_m_To_m_Java);

RF_DECL (Expr_m_Ref_m_To_m_Java);

RF_DECL (Term_m_Ref_m_To_m_Java);

RF_DECL (Expr_m_Int_m_To_m_Java);

RF_DECL (Cond_m_To_m_Java);

RF_DECL (Infix_m_To_m_Java);

RF_DECL (Op_m_Arg_m_To_m_Java);

RF_DECL (Step_m_To_m_Java);

RF_DECL (Const_m_Expr_m_To_m_Java);

RF_DECL (Const_m_Expr_m_Aux);

RF_DECL (Symbol_m_To_m_Java);

RF_DECL (Int_m_Args_m_To_m_Java);

RF_DECL (Var_m_Args_m_To_m_Java);

RF_DECL (Expr_m_Args_m_To_m_Java);

RF_DECL (Name_m_To_m_Java);

RF_DECL (Access_m_Mode);

RF_DECL (Free_m_Index);

RF_DECL (Cond_m_To_m_Java__0);

RF_DECL (Term_m_Ref_m_To_m_Java__0);

RF_DECL (Expr_m_Int_m_To_m_Java__0);

static Expr _c_0;

static Expr _c_1;

static Expr _c_2;

static Expr _c_169;

static Expr _c_3;

static Expr _c_4;

static Expr _c_170;

static Expr _c_5;

static Expr _c_6;

static Expr _c_7;

static Expr _c_8;

static Expr _c_9;

static Expr _c_10;

static Expr _c_11;

static Expr _c_12;

static Expr _c_13;

static Expr _c_14;

static Expr _c_148;

static Expr _c_15;

static Expr _c_171;

static Expr _c_16;

static Expr _c_17;

static Expr _c_18;

static Expr _c_19;

static Expr _c_20;

static Expr _c_21;

static Expr _c_22;

static Expr _c_23;

static Expr _c_24;

static Expr _c_87;

static Expr _c_25;

static Expr _c_26;

static Expr _c_27;

static Expr _c_28;

static Expr _c_30;

static Expr _c_29;

static Expr _c_31;

static Expr _c_32;

static Expr _c_33;

static Expr _c_34;

static Expr _c_172;

static Expr _c_35;

static Expr _c_36;

static Expr _c_173;

static Expr _c_86;

static Expr _c_37;

static Expr _c_38;

static Expr _c_39;

static Expr _c_40;

static Expr _c_41;

static Expr _c_42;

static Expr _c_43;

static Expr _c_44;

static Expr _c_45;

static Expr _c_46;

static Expr _c_47;

static Expr _c_48;

static Expr _c_49;

static Expr _c_50;

static Expr _c_51;

static Expr _c_52;

static Expr _c_53;

static Expr _c_54;

static Expr _c_55;

static Expr _c_56;

static Expr _c_57;

static Expr _c_58;

static Expr _c_59;

static Expr _c_60;

static Expr _c_61;

static Expr _c_62;

static Expr _c_63;

static Expr _c_64;

static Expr _c_65;

static Expr _c_66;

static Expr _c_67;

static Expr _c_68;

static Expr _c_69;

static Expr _c_70;

static Expr _c_71;

static Expr _c_72;

static Expr _c_73;

static Expr _c_74;

static Expr _c_75;

static Expr _c_76;

static Expr _c_77;

static Expr _c_78;

static Expr _c_79;

static Expr _c_80;

static Expr _c_81;

static Expr _c_82;

static Expr _c_83;

static Expr _c_84;

static Expr _c_85;

static Expr _c_88;

static Expr _c_89;

static Expr _c_90;

static Expr _c_91;

static Expr _c_92;

static Expr _c_93;

static Expr _c_94;

static Expr _c_95;

static Expr _c_96;

static Expr _c_97;

static Expr _c_98;

static Expr _c_99;

static Expr _c_100;

static Expr _c_143;

static Expr _c_101;

static Expr _c_102;

static Expr _c_103;

static Expr _c_104;

static Expr _c_105;

static Expr _c_106;

static Expr _c_107;

static Expr _c_108;

static Expr _c_109;

static Expr _c_110;

static Expr _c_111;

static Expr _c_112;

static Expr _c_113;

static Expr _c_114;

static Expr _c_115;

static Expr _c_116;

static Expr _c_117;

static Expr _c_118;

static Expr _c_119;

static Expr _c_120;

static Expr _c_121;

static Expr _c_122;

static Expr _c_123;

static Expr _c_124;

static Expr _c_125;

static Expr _c_126;

static Expr _c_127;

static Expr _c_128;

static Expr _c_129;

static Expr _c_130;

static Expr _c_131;

static Expr _c_132;

static Expr _c_133;

static Expr _c_134;

static Expr _c_135;

static Expr _c_136;

static Expr _c_137;

static Expr _c_138;

static Expr _c_139;

static Expr _c_140;

static Expr _c_141;

static Expr _c_142;

static Expr _c_144;

static Expr _c_145;

static Expr _c_146;

static Expr _c_147;

static Expr _c_149;

static Expr _c_150;

static Expr _c_151;

static Expr _c_152;

static Expr _c_153;

static Expr _c_154;

static Expr _c_156;

static Expr _c_155;

static Expr _c_157;

static Expr _c_158;

static Expr _c_159;

static Expr _c_160;

static Expr _c_161;

static Expr _c_162;

static Expr _c_163;

static Expr _c_164;

static Expr _c_165;

static Expr _c_166;

static Expr _c_167;

static Expr _c_168;

RF_FUNC (RFP_m_ASAIL_m_To_m_Java, (RF_ARG _v_arg1, _v_arg2, _v_arg3;;), (RF_RES _v_res1, _v_res2, _v_res3;;))
  uintptr_t _v_len1 = (_v_arg3.get_len () + 2);
  uintptr_t _v_len2 = 2;
  if ((_v_len1 < _v_len2))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  uintptr_t _v_len__asail = (_v_len1 - _v_len2);
  Expr _v_compose1 ((_v_arg1 + _v_arg2 () + _v_arg3));
  if (_v_compose1.symbol_at (0))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  if (_v_compose1.symbol_at (1))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  Expr _v_deref__compose1 (_v_compose1, 0);
  Expr _v_deref__compose12 (_v_compose1, 1);
  uintptr_t _v_len3 = _v_deref__compose12.get_len ();
  uintptr_t _v_len4 = 0;
  if ((_v_len3 < _v_len4))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  uintptr_t _v_len__exports = (_v_len3 - _v_len4);
  uintptr_t _v_len5 = _v_deref__compose1.get_len ();
  uintptr_t _v_len6 = 0;
  if ((_v_len5 < _v_len6))
  {
    RF_FUNC_ERROR (unexpected_fail);
  }
  uintptr_t _v_len__ModuleName = (_v_len5 - _v_len6);
  Expr _ve_asail (_v_compose1, 2, _v_len__asail);
  Expr _ve_ModuleName (_v_deref__compose1, 0, _v_len__ModuleName);
  Expr _ve_exports (_v_deref__compose12, 0, _v_len__exports);
  RF_CALL (Box::Store, (Free_m_Idx, empty), /*void*/);
  RF_CALL (rfp__helper::RFP_m_Clear_m_Table, Iter_m_Vars, /*void*/);
  RF_CALL (rfp__helper::RFP_m_Clear_m_Table, Inputs, /*void*/);
  {
    {
      Expr _v_Lookup1;
      if (!RF_CALL (Table::Lookup, (rfp__helper::RFP_m_Options, _c_0), _v_Lookup1))
      {
        goto _block1__branch1;
      }
      RF_CALL (Box::Store, (Int, _v_Lookup1), /*void*/);
      goto _block1;
    }
  _block1__branch1: {}
    RF_CALL (Box::Store, (Int, _c_1), /*void*/);
  }
_block1: {}
  RF_CALL (Box::Store, (Exports, _ve_exports), /*void*/);
  RF_CALL (Box::Store, (Current_m_Namespace, _ve_ModuleName), /*void*/);
  RF_CALL (Box::Store, (Entry, (_ve_ModuleName + _c_2) ()), /*void*/);
  RF_CALL (Box::Store, (Entry_m_Name, empty), /*void*/);
  Expr _v_Intersperse1;
  RF_CALL (List::Intersperse, (_c_3, _ve_ModuleName), _v_Intersperse1);
  RF_CALL (Box::Store, (Module_m_Name, _v_Intersperse1), /*void*/);
  Expr _ve_java_m_module_m_name;
  RF_CALL (JavaMangle::Rfp2Java, _ve_ModuleName, _ve_java_m_module_m_name);
  {
    {
      Expr _v_ASAIL_m_To_m_Java1;
      RF_CALL (ASAIL_m_To_m_Java, _ve_asail, _v_ASAIL_m_To_m_Java1);
      uintptr_t _v_len7 = _v_ASAIL_m_To_m_Java1.get_len ();
      uintptr_t _v_len8 = 0;
      if ((_v_len7 < (_v_len8 + 1)))
      {
        goto _block2__branch1;
      }
      uintptr_t _v_len__java = (_v_len7 - _v_len8);
      Expr _vv_java (_v_ASAIL_m_To_m_Java1, 0, _v_len__java);
      Expr _ve_entry;
      {
        {
          Expr _v__q_1;
          RF_CALL (Box::_q_, Entry_m_Name, _v__q_1);
          uintptr_t _v_len9 = _v__q_1.get_len ();
          uintptr_t _v_len10 = 0;
          if ((_v_len9 < (_v_len10 + 1)))
          {
            goto _block3__branch1;
          }
          uintptr_t _v_len__name = (_v_len9 - _v_len10);
          Expr _vv_name (_v__q_1, 0, _v_len__name);
          _ve_entry = (_c_9 + (_c_8 + ((_c_6 + (_vv_name + _c_4) () + _c_5) () + _c_7) () + _c_5) ());
          goto _block3;
        }
      _block3__branch1: {}
        _ve_entry = empty;
      }
    _block3: {}
      if (!RF_CALL (Table::Domain, Inputs, _v_res2))
      {
        goto _block2__branch1;
      }
      _v_res1 = _ve_java_m_module_m_name;
      _v_res3 = (_c_11 + _ve_java_m_module_m_name + _c_10 + (_vv_java + _ve_entry) () + _c_5) ();
      goto _block2;
    }
  _block2__branch1: {}
    _v_res1 = _ve_java_m_module_m_name;
    _v_res2 = empty;
    _v_res3 = empty;
  }
_block2: {}
RF_END

RF_FUNC (ASAIL_m_To_m_Java, (RF_ARG _ve_asail;;), (RF_RES _v_res1;;))
  {
    {
      uintptr_t _v_len1 = _ve_asail.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
      Expr _vt_item (_ve_asail, 0, 1);
      Expr _ve_rest (_ve_asail, 1, _v_len__rest);
      Expr _ve_java_m_item;
      {
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch1;
          }
          Expr _v_deref__item (_vt_item, 0);
          uintptr_t _v_len3 = _v_deref__item.get_len ();
          uintptr_t _v_len4 = 4;
          if ((_v_len3 < _v_len4))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len__body = (_v_len3 - _v_len4);
          if (_v_deref__item.symbol_at (2))
          {
            goto _block2__branch1;
          }
          if (_v_deref__item.symbol_at (3))
          {
            goto _block2__branch1;
          }
          Expr _v_deref__deref__item (_v_deref__item, 2);
          Expr _v_deref__deref__item2 (_v_deref__item, 3);
          uintptr_t _v_len5 = _v_deref__deref__item2.get_len ();
          uintptr_t _v_len6 = 0;
          if ((_v_len5 < _v_len6))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len__ress = (_v_len5 - _v_len6);
          uintptr_t _v_len7 = _v_deref__deref__item.get_len ();
          uintptr_t _v_len8 = 0;
          if ((_v_len7 < _v_len8))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len__args = (_v_len7 - _v_len8);
          if (!_v_deref__item.symbol_at (0))
          {
            goto _block2__branch1;
          }
          Expr _vs_tag (_v_deref__item, 0, 1);
          Expr _vt_name (_v_deref__item, 1, 1);
          Expr _ve_body (_v_deref__item, 4, _v_len__body);
          Expr _ve_args (_v_deref__deref__item, 0, _v_len__args);
          Expr _ve_ress (_v_deref__deref__item2, 0, _v_len__ress);
          Expr _ve_return_m_type;
          Expr _ve_return;
          {
            {
              if (!_vs_tag.term_eq (_c_12, 0))
              {
                goto _block3__branch1;
              }
              _ve_return_m_type = _c_13;
              _ve_return = empty;
              goto _block3;
            }
          _block3__branch1: {}
            if (!_vs_tag.term_eq (_c_14, 0))
            {
              goto _block2__branch1;
            }
            _ve_return_m_type = _c_15;
            _ve_return = _c_16;
          }
        _block3: {}
          RF_CALL (Box::Store, (Ress, _ve_ress), /*void*/);
          {
            {
              Expr _v__q_1;
              RF_CALL (Box::_q_, Entry, _v__q_1);
              if ((_v__q_1.get_len () != 1))
              {
                goto _block4__branch1;
              }
              if (!_vt_name.term_eq (_v__q_1, 0))
              {
                goto _block4__branch1;
              }
              Expr _v_Rfp2Java1;
              RF_CALL (JavaMangle::Rfp2Java, _vt_name, _v_Rfp2Java1);
              RF_CALL (Box::Store, (Entry_m_Name, _v_Rfp2Java1), /*void*/);
              goto _block4;
            }
          _block4__branch1: {}
          }
        _block4: {}
          Expr _v_Name_m_To_m_Java1;
          RF_CALL (Name_m_To_m_Java, _vt_name, _v_Name_m_To_m_Java1);
          RF_CALL (Box::Store, (Func_m_Name, _v_Name_m_To_m_Java1), /*void*/);
          Expr _v_Access_m_Mode1;
          RF_CALL (Access_m_Mode, _vt_name, _v_Access_m_Mode1);
          Expr _v__q_2;
          RF_CALL (Box::_q_, Func_m_Name, _v__q_2);
          Expr _v_Var_m_Args_m_To_m_Java1;
          RF_CALL (Var_m_Args_m_To_m_Java, (_ve_args + _ve_ress), _v_Var_m_Args_m_To_m_Java1);
          Expr _v_ASAIL_m_To_m_Java1;
          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _v_ASAIL_m_To_m_Java1);
          _ve_java_m_item = (_c_9 + (_c_20 + _v_Access_m_Mode1 + _c_19 + _ve_return_m_type + _c_19 + _v__q_2 + _c_18 + _v_Var_m_Args_m_To_m_Java1 + _c_17) () + (_c_21 + (_v_ASAIL_m_To_m_Java1 + _ve_return) () + _c_5) ());
          goto _block2;
        }
      _block2__branch1: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch2;
          }
          Expr _v_deref__item2 (_vt_item, 0);
          if ((_v_deref__item2.get_len () != 2))
          {
            goto _block2__branch2;
          }
          if (!_c_22.term_eq (_v_deref__item2, 0))
          {
            goto _block2__branch2;
          }
          Expr _vt_name (_v_deref__item2, 1, 1);
          RF_CALL (Table::Bind, (rfpc::RFP_m_Trace, _vt_name, empty), /*void*/);
          _ve_java_m_item = empty;
          goto _block2;
        }
      _block2__branch2: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch3;
          }
          Expr _v_deref__item3 (_vt_item, 0);
          uintptr_t _v_len9 = _v_deref__item3.get_len ();
          uintptr_t _v_len10 = 2;
          if ((_v_len9 < _v_len10))
          {
            goto _block2__branch3;
          }
          uintptr_t _v_len__body2 = (_v_len9 - _v_len10);
          if (_v_deref__item3.symbol_at (1))
          {
            goto _block2__branch3;
          }
          Expr _v_deref__deref__item3 (_v_deref__item3, 1);
          uintptr_t _v_len11 = _v_deref__deref__item3.get_len ();
          uintptr_t _v_len12 = 0;
          if ((_v_len11 < _v_len12))
          {
            goto _block2__branch3;
          }
          uintptr_t _v_len__cond = (_v_len11 - _v_len12);
          if (!_c_23.term_eq (_v_deref__item3, 0))
          {
            goto _block2__branch3;
          }
          Expr _ve_body (_v_deref__item3, 2, _v_len__body2);
          Expr _ve_cond (_v_deref__deref__item3, 0, _v_len__cond);
          Expr _vs_acc;
          RF_CALL (Box::Box, empty, _vs_acc);
          RF_CALL (Cond_m_To_m_Java, (_vs_acc, _ve_cond), _ve_cond);
          Expr _v__q_3;
          RF_CALL (Box::_q_, _vs_acc, _v__q_3);
          Expr _v_ASAIL_m_To_m_Java2;
          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _v_ASAIL_m_To_m_Java2);
          _ve_java_m_item = (_v__q_3 + (_c_25 + _ve_cond + _c_24) () + (_c_21 + _v_ASAIL_m_To_m_Java2 () + _c_5) ());
          goto _block2;
        }
      _block2__branch3: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch4;
          }
          Expr _v_deref__item4 (_vt_item, 0);
          uintptr_t _v_len13 = _v_deref__item4.get_len ();
          uintptr_t _v_len14 = 5;
          if ((_v_len13 < _v_len14))
          {
            goto _block2__branch4;
          }
          uintptr_t _v_len__body3 = (_v_len13 - _v_len14);
          if (_v_deref__item4.symbol_at (1))
          {
            goto _block2__branch4;
          }
          if (_v_deref__item4.symbol_at (2))
          {
            goto _block2__branch4;
          }
          if (_v_deref__item4.symbol_at (3))
          {
            goto _block2__branch4;
          }
          if (_v_deref__item4.symbol_at (4))
          {
            goto _block2__branch4;
          }
          Expr _v_deref__deref__item4 (_v_deref__item4, 1);
          Expr _v_deref__deref__item42 (_v_deref__item4, 2);
          Expr _v_deref__deref__item43 (_v_deref__item4, 3);
          Expr _v_deref__deref__item44 (_v_deref__item4, 4);
          uintptr_t _v_len15 = _v_deref__deref__item4.get_len ();
          uintptr_t _v_len16 = 0;
          if ((_v_len15 < _v_len16))
          {
            goto _block2__branch4;
          }
          uintptr_t _v_len__cont_m_label = (_v_len15 - _v_len16);
          uintptr_t _v_len17 = _v_deref__deref__item42.get_len ();
          uintptr_t _v_len18 = 0;
          if ((_v_len17 < _v_len18))
          {
            goto _block2__branch4;
          }
          uintptr_t _v_len__break_m_label = (_v_len17 - _v_len18);
          uintptr_t _v_len19 = _v_deref__deref__item44.get_len ();
          uintptr_t _v_len20 = 0;
          if ((_v_len19 < _v_len20))
          {
            goto _block2__branch4;
          }
          uintptr_t _v_len__step = (_v_len19 - _v_len20);
          uintptr_t _v_len21 = _v_deref__deref__item43.get_len ();
          uintptr_t _v_len22 = 0;
          if ((_v_len21 < _v_len22))
          {
            goto _block2__branch4;
          }
          uintptr_t _v_len__cond2 = (_v_len21 - _v_len22);
          if (!_c_26.term_eq (_v_deref__item4, 0))
          {
            goto _block2__branch4;
          }
          Expr _ve_body (_v_deref__item4, 5, _v_len__body3);
          Expr _ve_cont_m_label (_v_deref__deref__item4, 0, _v_len__cont_m_label);
          Expr _ve_break_m_label (_v_deref__deref__item42, 0, _v_len__break_m_label);
          Expr _ve_cond (_v_deref__deref__item43, 0, _v_len__cond2);
          Expr _ve_step (_v_deref__deref__item44, 0, _v_len__step);
          Expr _ve_cont;
          {
            {
              if ((_v_len__cont_m_label != 1))
              {
                goto _block5__branch1;
              }
              Expr _vt__e__e_tmp_m_rfp__asail__javarf_m_121_m_25 (_ve_cont_m_label, 0, 1);
              Expr _v_Rfp2Java2;
              RF_CALL (JavaMangle::Rfp2Java, (_c_27 + _ve_cont_m_label) (), _v_Rfp2Java2);
              _ve_cont = (_v_Rfp2Java2 + _c_28);
              goto _block5;
            }
          _block5__branch1: {}
            _ve_cont = empty;
          }
        _block5: {}
          Expr _ve_break;
          {
            {
              if ((_v_len__break_m_label != 1))
              {
                goto _block6__branch1;
              }
              Expr _vt__e__e_tmp_m_rfp__asail__javarf_m_124_m_26 (_ve_break_m_label, 0, 1);
              Expr _v_Rfp2Java3;
              RF_CALL (JavaMangle::Rfp2Java, (_c_27 + _ve_break_m_label) (), _v_Rfp2Java3);
              _ve_break = (_v_Rfp2Java3 + _c_28);
              goto _block6;
            }
          _block6__branch1: {}
            _ve_break = empty;
          }
        _block6: {}
          Expr _vs_acc;
          RF_CALL (Box::Box, empty, _vs_acc);
          RF_CALL (Cond_m_To_m_Java, (_vs_acc, _ve_cond), _ve_cond);
          Expr _v__q_4;
          RF_CALL (Box::_q_, _vs_acc, _v__q_4);
          Expr _v_Step_m_To_m_Java1;
          RF_CALL (Step_m_To_m_Java, _ve_step, _v_Step_m_To_m_Java1);
          Expr _v_ASAIL_m_To_m_Java3;
          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _v_ASAIL_m_To_m_Java3);
          _ve_java_m_item = (_v__q_4 + (_ve_break + _ve_cont + _c_30 + _ve_cond + _c_29 + _v_Step_m_To_m_Java1 + _c_24) () + (_c_21 + _v_ASAIL_m_To_m_Java3 () + _c_5) ());
          goto _block2;
        }
      _block2__branch4: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch5;
          }
          Expr _v_deref__item5 (_vt_item, 0);
          uintptr_t _v_len23 = _v_deref__item5.get_len ();
          uintptr_t _v_len24 = 2;
          if ((_v_len23 < _v_len24))
          {
            goto _block2__branch5;
          }
          uintptr_t _v_len__body4 = (_v_len23 - _v_len24);
          if (_v_deref__item5.symbol_at (1))
          {
            goto _block2__branch5;
          }
          Expr _v_deref__deref__item5 (_v_deref__item5, 1);
          uintptr_t _v_len25 = _v_deref__deref__item5.get_len ();
          uintptr_t _v_len26 = 0;
          if ((_v_len25 < _v_len26))
          {
            goto _block2__branch5;
          }
          uintptr_t _v_len__label = (_v_len25 - _v_len26);
          if (!_c_27.term_eq (_v_deref__item5, 0))
          {
            goto _block2__branch5;
          }
          Expr _ve_body (_v_deref__item5, 2, _v_len__body4);
          Expr _ve_label (_v_deref__deref__item5, 0, _v_len__label);
          Expr _v_Rfp2Java4;
          RF_CALL (JavaMangle::Rfp2Java, (_c_27 + _ve_label) (), _v_Rfp2Java4);
          Expr _v_ASAIL_m_To_m_Java4;
          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _v_ASAIL_m_To_m_Java4);
          _ve_java_m_item = (_v_Rfp2Java4 + _c_31 + _v_ASAIL_m_To_m_Java4 () + _c_5) ();
          goto _block2;
        }
      _block2__branch5: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch6;
          }
          Expr _v_deref__item6 (_vt_item, 0);
          uintptr_t _v_len27 = _v_deref__item6.get_len ();
          uintptr_t _v_len28 = 1;
          if ((_v_len27 < _v_len28))
          {
            goto _block2__branch6;
          }
          uintptr_t _v_len__body5 = (_v_len27 - _v_len28);
          if (!_c_32.term_eq (_v_deref__item6, 0))
          {
            goto _block2__branch6;
          }
          Expr _ve_body (_v_deref__item6, 1, _v_len__body5);
          Expr _v_ASAIL_m_To_m_Java5;
          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _v_ASAIL_m_To_m_Java5);
          _ve_java_m_item = (_c_33 + (_c_21 + _v_ASAIL_m_To_m_Java5 () + _c_5) ());
          goto _block2;
        }
      _block2__branch6: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch7;
          }
          Expr _v_deref__item7 (_vt_item, 0);
          uintptr_t _v_len29 = _v_deref__item7.get_len ();
          uintptr_t _v_len30 = 1;
          if ((_v_len29 < _v_len30))
          {
            goto _block2__branch7;
          }
          uintptr_t _v_len__body6 = (_v_len29 - _v_len30);
          if (!_c_34.term_eq (_v_deref__item7, 0))
          {
            goto _block2__branch7;
          }
          Expr _ve_body (_v_deref__item7, 1, _v_len__body6);
          Expr _v_ASAIL_m_To_m_Java6;
          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _v_ASAIL_m_To_m_Java6);
          _ve_java_m_item = (_c_35 + _v_ASAIL_m_To_m_Java6 () + _c_5) ();
          goto _block2;
        }
      _block2__branch7: {}
        {
          if (!_vt_item.term_eq (_c_36, 0))
          {
            goto _block2__branch8;
          }
          _ve_java_m_item = _c_37;
          goto _block2;
        }
      _block2__branch8: {}
        {
          if (!_vt_item.term_eq (_c_38, 0))
          {
            goto _block2__branch9;
          }
          Expr _v__q_5;
          RF_CALL (Box::_q_, Module_m_Name, _v__q_5);
          Expr _v__q_6;
          RF_CALL (Box::_q_, Func_m_Name, _v__q_6);
          _ve_java_m_item = (_c_41 + _v__q_5 + _c_40 + _v__q_6 + _c_39) ();
          goto _block2;
        }
      _block2__branch9: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch10;
          }
          Expr _v_deref__item8 (_vt_item, 0);
          if ((_v_deref__item8.get_len () != 5))
          {
            goto _block2__branch10;
          }
          if (_v_deref__item8.symbol_at (2))
          {
            goto _block2__branch10;
          }
          Expr _v_deref__deref__item8 (_v_deref__item8, 2);
          uintptr_t _v_len31 = _v_deref__deref__item8.get_len ();
          uintptr_t _v_len32 = 0;
          if ((_v_len31 < _v_len32))
          {
            goto _block2__branch10;
          }
          uintptr_t _v_len__min = (_v_len31 - _v_len32);
          if (!_c_42.term_eq (_v_deref__item8, 0))
          {
            goto _block2__branch10;
          }
          Expr _vt_name (_v_deref__item8, 1, 1);
          Expr _vt_var1 (_v_deref__item8, 3, 1);
          Expr _vt_var2 (_v_deref__item8, 4, 1);
          Expr _ve_min (_v_deref__deref__item8, 0, _v_len__min);
          Expr _ve_n;
          RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ve_n);
          Expr _v_Free_m_Index1;
          RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
          Expr _ve_new_m_var ((_c_43 + _v_Free_m_Index1));
          RF_CALL (Table::Bind, (Iter_m_Vars, _vt_name, _ve_new_m_var), /*void*/);
          Expr _vs_acc;
          RF_CALL (Box::Box, empty, _vs_acc);
          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_min), _ve_min);
          Expr _v__q_7;
          RF_CALL (Box::_q_, _vs_acc, _v__q_7);
          Expr _v_Rfp2Java5;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var1, _v_Rfp2Java5);
          Expr _v_Rfp2Java6;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var2, _v_Rfp2Java6);
          _ve_java_m_item = (_v__q_7 + (_c_47 + _ve_new_m_var + _c_46 + _ve_n + _c_45 + _ve_min + _c_44) () + (_c_49 + _v_Rfp2Java5 + _c_46 + _ve_new_m_var + _c_48) () + (_c_49 + _v_Rfp2Java6 + _c_46 + _ve_new_m_var + _c_50) ());
          goto _block2;
        }
      _block2__branch10: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch11;
          }
          Expr _v_deref__item9 (_vt_item, 0);
          if ((_v_deref__item9.get_len () != 5))
          {
            goto _block2__branch11;
          }
          if (_v_deref__item9.symbol_at (2))
          {
            goto _block2__branch11;
          }
          Expr _v_deref__deref__item9 (_v_deref__item9, 2);
          uintptr_t _v_len33 = _v_deref__deref__item9.get_len ();
          uintptr_t _v_len34 = 0;
          if ((_v_len33 < _v_len34))
          {
            goto _block2__branch11;
          }
          uintptr_t _v_len__min2 = (_v_len33 - _v_len34);
          if (!_c_51.term_eq (_v_deref__item9, 0))
          {
            goto _block2__branch11;
          }
          Expr _vt_name (_v_deref__item9, 1, 1);
          Expr _vt_var1 (_v_deref__item9, 3, 1);
          Expr _vt_var2 (_v_deref__item9, 4, 1);
          Expr _ve_min (_v_deref__deref__item9, 0, _v_len__min2);
          Expr _ve_n;
          RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ve_n);
          Expr _v_Free_m_Index2;
          RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index2);
          Expr _ve_new_m_var ((_c_43 + _v_Free_m_Index2));
          RF_CALL (Table::Bind, (Iter_m_Vars, _vt_name, _ve_new_m_var), /*void*/);
          Expr _vs_acc;
          RF_CALL (Box::Box, empty, _vs_acc);
          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_min), _ve_min);
          Expr _v__q_8;
          RF_CALL (Box::_q_, _vs_acc, _v__q_8);
          Expr _v_Rfp2Java7;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var1, _v_Rfp2Java7);
          Expr _v_Rfp2Java8;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var2, _v_Rfp2Java8);
          _ve_java_m_item = (_v__q_8 + (_c_47 + _ve_new_m_var + _c_46 + _ve_n + _c_52 + _ve_min + _c_44) () + (_c_49 + _v_Rfp2Java7 + _c_46 + _ve_new_m_var + _c_48) () + (_c_49 + _v_Rfp2Java8 + _c_46 + _ve_new_m_var + _c_50) ());
          goto _block2;
        }
      _block2__branch11: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch12;
          }
          Expr _v_deref__item10 (_vt_item, 0);
          uintptr_t _v_len35 = _v_deref__item10.get_len ();
          uintptr_t _v_len36 = 2;
          if ((_v_len35 < _v_len36))
          {
            goto _block2__branch12;
          }
          uintptr_t _v_len__expr = (_v_len35 - _v_len36);
          if (!_c_53.term_eq (_v_deref__item10, 0))
          {
            goto _block2__branch12;
          }
          Expr _vt_var (_v_deref__item10, 1, 1);
          Expr _ve_expr (_v_deref__item10, 2, _v_len__expr);
          Expr _ve_a;
          Expr _ve_j_m_expr;
          RF_CALL (Expr_m_To_m_Java, (empty, _ve_expr), (_ve_a, _ve_j_m_expr));
          {
            {
              Expr _v__q_9;
              RF_CALL (Box::_q_, Ress, _v__q_9);
              if ((_v__q_9.get_len () < 1))
              {
                goto _block7__branch1;
              }
              RF_lsplit (_v__q_9, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_166_m_22, _v_lsplit___q_9);
              for ( ; ; RF_iter(_v__q_9)++)
              {
                {
                  if (!RF_iter(_v__q_9))
                  {
                    goto _block7__branch1;
                  }
                  uintptr_t _v_len37 = _v_lsplit___q_9.get_len ();
                  uintptr_t _v_len38 = 1;
                  if ((_v_len37 < _v_len38))
                  {
                    goto _block7__branch1;
                  }
                  uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_166_m_30 = (_v_len37 - _v_len38);
                  if (!_vt_var.term_eq (_v_lsplit___q_9, 0))
                  {
                    goto _continue1;
                  }
                  Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_166_m_30 (_v_lsplit___q_9, 1, _v_len___e__e_tmp_m_rfp__asail__javarf_m_166_m_30);
                  Expr _v_Rfp2Java9;
                  RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java9);
                  _ve_java_m_item = (_ve_a + (_v_Rfp2Java9 + _c_54 + _ve_j_m_expr + _c_44) ());
                  goto _exit1;
                }
            _continue1: {}
              }
            _exit1: {}
              goto _block7;
            }
          _block7__branch1: {}
            Expr _v_Rfp2Java10;
            RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java10);
            _ve_java_m_item = (_ve_a + (_v_Rfp2Java10 + _c_46 + _ve_j_m_expr + _c_55) ());
          }
        _block7: {}
          goto _block2;
        }
      _block2__branch12: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch13;
          }
          Expr _v_deref__item11 (_vt_item, 0);
          if ((_v_deref__item11.get_len () != 3))
          {
            goto _block2__branch13;
          }
          if (!_c_56.term_eq (_v_deref__item11, 0))
          {
            goto _block2__branch13;
          }
          if (!_v_deref__item11.symbol_at (1))
          {
            goto _block2__branch13;
          }
          Expr _vs_type (_v_deref__item11, 1, 1);
          Expr _vt_var (_v_deref__item11, 2, 1);
          Expr _v_Rfp2Java11;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java11);
          _ve_java_m_item = (_vs_type + _c_19 + _v_Rfp2Java11 + _c_57) ();
          goto _block2;
        }
      _block2__branch13: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch14;
          }
          Expr _v_deref__item12 (_vt_item, 0);
          uintptr_t _v_len39 = _v_deref__item12.get_len ();
          uintptr_t _v_len40 = 2;
          if ((_v_len39 < _v_len40))
          {
            goto _block2__branch14;
          }
          uintptr_t _v_len__expr2 = (_v_len39 - _v_len40);
          if (!_c_0.term_eq (_v_deref__item12, 0))
          {
            goto _block2__branch14;
          }
          Expr _vt_var (_v_deref__item12, 1, 1);
          Expr _ve_expr (_v_deref__item12, 2, _v_len__expr2);
          Expr _vs_acc;
          RF_CALL (Box::Box, empty, _vs_acc);
          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_expr), _ve_expr);
          Expr _v__q_10;
          RF_CALL (Box::_q_, _vs_acc, _v__q_10);
          Expr _v_Rfp2Java12;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java12);
          _ve_java_m_item = (_v__q_10 + (_c_58 + _v_Rfp2Java12 + _c_46 + _ve_expr + _c_55) ());
          goto _block2;
        }
      _block2__branch14: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch15;
          }
          Expr _v_deref__item13 (_vt_item, 0);
          uintptr_t _v_len41 = _v_deref__item13.get_len ();
          uintptr_t _v_len42 = 2;
          if ((_v_len41 < _v_len42))
          {
            goto _block2__branch15;
          }
          uintptr_t _v_len__expr3 = (_v_len41 - _v_len42);
          if (!_c_59.term_eq (_v_deref__item13, 0))
          {
            goto _block2__branch15;
          }
          Expr _vt_var (_v_deref__item13, 1, 1);
          Expr _ve_expr (_v_deref__item13, 2, _v_len__expr3);
          Expr _ve_a;
          Expr _ve_j_m_expr;
          RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
          Expr _v_Rfp2Java13;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java13);
          _ve_java_m_item = (_ve_a + (_c_49 + _v_Rfp2Java13 + _c_46 + _ve_j_m_expr + _c_55) ());
          goto _block2;
        }
      _block2__branch15: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch16;
          }
          Expr _v_deref__item14 (_vt_item, 0);
          uintptr_t _v_len43 = _v_deref__item14.get_len ();
          uintptr_t _v_len44 = 3;
          if ((_v_len43 < _v_len44))
          {
            goto _block2__branch16;
          }
          uintptr_t _v_len__expr4 = (_v_len43 - _v_len44);
          if (_v_deref__item14.symbol_at ((_v_len__expr4 + 2)))
          {
            goto _block2__branch16;
          }
          Expr _v_deref__deref__item14 (_v_deref__item14, (_v_len__expr4 + 2));
          uintptr_t _v_len45 = _v_deref__deref__item14.get_len ();
          uintptr_t _v_len46 = 0;
          if ((_v_len45 < _v_len46))
          {
            goto _block2__branch16;
          }
          uintptr_t _v_len__pos = (_v_len45 - _v_len46);
          if (!_c_60.term_eq (_v_deref__item14, 0))
          {
            goto _block2__branch16;
          }
          Expr _vt_var (_v_deref__item14, 1, 1);
          Expr _ve_expr (_v_deref__item14, 2, _v_len__expr4);
          Expr _ve_pos (_v_deref__deref__item14, 0, _v_len__pos);
          Expr _ve_a;
          Expr _ve_j_m_expr;
          RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
          Expr _vs_acc;
          RF_CALL (Box::Box, empty, _vs_acc);
          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
          Expr _v__q_11;
          RF_CALL (Box::_q_, _vs_acc, _v__q_11);
          Expr _v_Rfp2Java14;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java14);
          _ve_java_m_item = (_ve_a + _v__q_11 + (_c_49 + _v_Rfp2Java14 + _c_62 + _ve_j_m_expr + _c_61 + _ve_pos + _c_44) ());
          goto _block2;
        }
      _block2__branch16: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch17;
          }
          Expr _v_deref__item15 (_vt_item, 0);
          uintptr_t _v_len47 = _v_deref__item15.get_len ();
          uintptr_t _v_len48 = 4;
          if ((_v_len47 < _v_len48))
          {
            goto _block2__branch17;
          }
          uintptr_t _v_len__expr5 = (_v_len47 - _v_len48);
          if (_v_deref__item15.symbol_at ((_v_len__expr5 + 2)))
          {
            goto _block2__branch17;
          }
          if (_v_deref__item15.symbol_at ((_v_len__expr5 + 3)))
          {
            goto _block2__branch17;
          }
          Expr _v_deref__deref__item15 (_v_deref__item15, (_v_len__expr5 + 2));
          Expr _v_deref__deref__item152 (_v_deref__item15, (_v_len__expr5 + 3));
          uintptr_t _v_len49 = _v_deref__deref__item152.get_len ();
          uintptr_t _v_len50 = 0;
          if ((_v_len49 < _v_len50))
          {
            goto _block2__branch17;
          }
          uintptr_t _v_len__len = (_v_len49 - _v_len50);
          uintptr_t _v_len51 = _v_deref__deref__item15.get_len ();
          uintptr_t _v_len52 = 0;
          if ((_v_len51 < _v_len52))
          {
            goto _block2__branch17;
          }
          uintptr_t _v_len__pos2 = (_v_len51 - _v_len52);
          if (!_c_63.term_eq (_v_deref__item15, 0))
          {
            goto _block2__branch17;
          }
          Expr _vt_var (_v_deref__item15, 1, 1);
          Expr _ve_expr (_v_deref__item15, 2, _v_len__expr5);
          Expr _ve_pos (_v_deref__deref__item15, 0, _v_len__pos2);
          Expr _ve_len (_v_deref__deref__item152, 0, _v_len__len);
          Expr _ve_a;
          Expr _ve_j_m_expr;
          RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
          Expr _vs_acc;
          RF_CALL (Box::Box, empty, _vs_acc);
          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_len), _ve_len);
          Expr _v__q_12;
          RF_CALL (Box::_q_, _vs_acc, _v__q_12);
          Expr _v_Rfp2Java15;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java15);
          _ve_java_m_item = (_ve_a + _v__q_12 + (_c_49 + _v_Rfp2Java15 + _c_65 + _ve_j_m_expr + _c_64 + _ve_pos + _c_64 + _ve_len + _c_44) ());
          goto _block2;
        }
      _block2__branch17: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch18;
          }
          Expr _v_deref__item16 (_vt_item, 0);
          if ((_v_deref__item16.get_len () != 2))
          {
            goto _block2__branch18;
          }
          if (!_c_66.term_eq (_v_deref__item16, 0))
          {
            goto _block2__branch18;
          }
          Expr _vt_var (_v_deref__item16, 1, 1);
          Expr _v_Rfp2Java16;
          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _v_Rfp2Java16);
          _ve_java_m_item = (_v_Rfp2Java16 + _c_67) ();
          goto _block2;
        }
      _block2__branch18: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch19;
          }
          Expr _v_deref__item17 (_vt_item, 0);
          if ((_v_deref__item17.get_len () != 2))
          {
            goto _block2__branch19;
          }
          if (!_c_68.term_eq (_v_deref__item17, 0))
          {
            goto _block2__branch19;
          }
          Expr _vt_label (_v_deref__item17, 1, 1);
          Expr _v_Rfp2Java17;
          RF_CALL (JavaMangle::Rfp2Java, (_c_27 + _vt_label) (), _v_Rfp2Java17);
          _ve_java_m_item = (_c_69 + _v_Rfp2Java17 + _c_55) ();
          goto _block2;
        }
      _block2__branch19: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch20;
          }
          Expr _v_deref__item18 (_vt_item, 0);
          if ((_v_deref__item18.get_len () != 2))
          {
            goto _block2__branch20;
          }
          if (!_c_70.term_eq (_v_deref__item18, 0))
          {
            goto _block2__branch20;
          }
          Expr _vt_label (_v_deref__item18, 1, 1);
          Expr _v_Rfp2Java18;
          RF_CALL (JavaMangle::Rfp2Java, (_c_27 + _vt_label) (), _v_Rfp2Java18);
          _ve_java_m_item = (_c_71 + _v_Rfp2Java18 + _c_55) ();
          goto _block2;
        }
      _block2__branch20: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch21;
          }
          Expr _v_deref__item19 (_vt_item, 0);
          uintptr_t _v_len53 = _v_deref__item19.get_len ();
          uintptr_t _v_len54 = 1;
          if ((_v_len53 < _v_len54))
          {
            goto _block2__branch21;
          }
          uintptr_t _v_len__expr6 = (_v_len53 - _v_len54);
          if (!_c_72.term_eq (_v_deref__item19, 0))
          {
            goto _block2__branch21;
          }
          Expr _ve_expr (_v_deref__item19, 1, _v_len__expr6);
          Expr _ve_a;
          Expr _ve_j_m_expr;
          RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
          _ve_java_m_item = (_ve_a + (_c_73 + _ve_j_m_expr + _c_44) ());
          goto _block2;
        }
      _block2__branch21: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch22;
          }
          Expr _v_deref__item20 (_vt_item, 0);
          uintptr_t _v_len55 = _v_deref__item20.get_len ();
          uintptr_t _v_len56 = 4;
          if ((_v_len55 < _v_len56))
          {
            goto _block2__branch22;
          }
          uintptr_t _v_len__expr7 = (_v_len55 - _v_len56);
          if (_v_deref__item20.symbol_at (3))
          {
            goto _block2__branch22;
          }
          Expr _v_deref__deref__item20 (_v_deref__item20, 3);
          uintptr_t _v_len57 = _v_deref__deref__item20.get_len ();
          uintptr_t _v_len58 = 0;
          if ((_v_len57 < _v_len58))
          {
            goto _block2__branch22;
          }
          uintptr_t _v_len__comment = (_v_len57 - _v_len58);
          if (!_c_74.term_eq (_v_deref__item20, 0))
          {
            goto _block2__branch22;
          }
          if (!_v_deref__item20.symbol_at (1))
          {
            goto _block2__branch22;
          }
          Expr _vs_linkage (_v_deref__item20, 1, 1);
          Expr _vt_name (_v_deref__item20, 2, 1);
          Expr _ve_expr (_v_deref__item20, 4, _v_len__expr7);
          Expr _ve_comment (_v_deref__deref__item20, 0, _v_len__comment);
          Expr _ve_n;
          {
            {
              if (_vt_name.symbol_at (0))
              {
                goto _block8__branch1;
              }
              Expr _v_deref__name (_vt_name, 0);
              uintptr_t _v_len59 = _v_deref__name.get_len ();
              uintptr_t _v_len60 = 1;
              if ((_v_len59 < _v_len60))
              {
                goto _block8__branch1;
              }
              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_201_m_27 = (_v_len59 - _v_len60);
              if (!_c_75.term_eq (_v_deref__name, 0))
              {
                goto _block8__branch1;
              }
              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_201_m_27 (_v_deref__name, 1, _v_len___e__e_tmp_m_rfp__asail__javarf_m_201_m_27);
              RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ve_n);
              goto _block8;
            }
          _block8__branch1: {}
            RF_CALL (Name_m_To_m_Java, _vt_name, _ve_n);
          }
        _block8: {}
          Expr _ve_a;
          Expr _ve_j_m_expr;
          RF_CALL (Const_m_Expr_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
          Expr _v_Access_m_Mode2;
          RF_CALL (Access_m_Mode, _vt_name, _v_Access_m_Mode2);
          _ve_java_m_item = (_ve_a + (_c_20 + _v_Access_m_Mode2 + _c_76 + _ve_n + _c_46 + _ve_j_m_expr + _c_55) ());
          goto _block2;
        }
      _block2__branch22: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch23;
          }
          Expr _v_deref__item21 (_vt_item, 0);
          if ((_v_deref__item21.get_len () != 4))
          {
            goto _block2__branch23;
          }
          if (!_c_77.term_eq (_v_deref__item21, 0))
          {
            goto _block2__branch23;
          }
          if (!_v_deref__item21.symbol_at (1))
          {
            goto _block2__branch23;
          }
          if (!_v_deref__item21.symbol_at (2))
          {
            goto _block2__branch23;
          }
          Expr _vs_linkage (_v_deref__item21, 1, 1);
          Expr _vs_tag (_v_deref__item21, 2, 1);
          Expr _vt_name (_v_deref__item21, 3, 1);
          Expr _v_To_m_Chars1;
          RF_CALL (Convert::To_m_Chars, _vs_tag, _v_To_m_Chars1);
          uintptr_t _v_len61 = _v_To_m_Chars1.get_len ();
          uintptr_t _v_len62 = 1;
          if ((_v_len61 < _v_len62))
          {
            goto _block1__branch1;
          }
          uintptr_t _v_len__2 = (_v_len61 - _v_len62);
          if (!_v_To_m_Chars1.symbol_at (0))
          {
            goto _block1__branch1;
          }
          Expr _vs_1 (_v_To_m_Chars1, 0, 1);
          Expr _ve_2 (_v_To_m_Chars1, 1, _v_len__2);
          Expr _v_To_m_Lower1;
          RF_CALL (Convert::To_m_Lower, _ve_2, _v_To_m_Lower1);
          Expr _ve_class_m_name ((_c_78 + _vs_1 + _v_To_m_Lower1));
          RF_CALL (Table::Bind, (Inputs, (_c_79 + _ve_class_m_name), empty), /*void*/);
          Expr _ve_qualifiers;
          Expr _ve_n;
          RF_CALL (rfp__helper::RFP_m_Extract_m_Qualifiers, _vt_name, (_ve_qualifiers, _ve_n));
          Expr _v_Access_m_Mode3;
          RF_CALL (Access_m_Mode, _vt_name, _v_Access_m_Mode3);
          Expr _v_Name_m_To_m_Java2;
          RF_CALL (Name_m_To_m_Java, _vt_name, _v_Name_m_To_m_Java2);
          _ve_java_m_item = (_c_20 + _v_Access_m_Mode3 + _c_76 + _v_Name_m_To_m_Java2 + _c_82 + _ve_class_m_name + _c_81 + _ve_n + _c_80) ();
          goto _block2;
        }
      _block2__branch23: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch24;
          }
          Expr _v_deref__item22 (_vt_item, 0);
          if ((_v_deref__item22.get_len () != 2))
          {
            goto _block2__branch24;
          }
          if (!_c_83.term_eq (_v_deref__item22, 0))
          {
            goto _block2__branch24;
          }
          Expr _vt_name (_v_deref__item22, 1, 1);
          _ve_java_m_item = empty;
          goto _block2;
        }
      _block2__branch24: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch25;
          }
          Expr _v_deref__item23 (_vt_item, 0);
          if ((_v_deref__item23.get_len () != 2))
          {
            goto _block2__branch25;
          }
          if (!_c_84.term_eq (_v_deref__item23, 0))
          {
            goto _block2__branch25;
          }
          Expr _vt_name (_v_deref__item23, 1, 1);
          _ve_java_m_item = empty;
          goto _block2;
        }
      _block2__branch25: {}
        if (_vt_item.symbol_at (0))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        Expr _v_deref__item24 (_vt_item, 0);
        if ((_v_deref__item24.get_len () != 4))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        if (_v_deref__item24.symbol_at (2))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        if (_v_deref__item24.symbol_at (3))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        Expr _v_deref__deref__item24 (_v_deref__item24, 2);
        Expr _v_deref__deref__item242 (_v_deref__item24, 3);
        uintptr_t _v_len63 = _v_deref__deref__item242.get_len ();
        uintptr_t _v_len64 = 0;
        if ((_v_len63 < _v_len64))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        uintptr_t _v_len__ress2 = (_v_len63 - _v_len64);
        uintptr_t _v_len65 = _v_deref__deref__item24.get_len ();
        uintptr_t _v_len66 = 0;
        if ((_v_len65 < _v_len66))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        uintptr_t _v_len__args2 = (_v_len65 - _v_len66);
        if (!_v_deref__item24.symbol_at (0))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        Expr _vs_call (_v_deref__item24, 0, 1);
        Expr _vt_name (_v_deref__item24, 1, 1);
        Expr _ve_args (_v_deref__deref__item24, 0, _v_len__args2);
        Expr _ve_ress (_v_deref__deref__item242, 0, _v_len__ress2);
        Expr _ve_subst;
        RF_CALL (Copy_m_Args, (_ve_args, _ve_ress), (_ve_args, _ve_subst));
        Expr _v_Paren1;
        RF_CALL (List::Paren, _ve_ress, _v_Paren1);
        Expr _ve_arrays;
        RF_CALL (Expr_m_Args_m_To_m_Java, (_ve_args + _v_Paren1), (_ve_arrays, _ve_args));
        Expr _v_Name_m_To_m_Java3;
        RF_CALL (Name_m_To_m_Java, _vt_name, _v_Name_m_To_m_Java3);
        Expr _ve_c ((_v_Name_m_To_m_Java3 + _c_18 + _ve_args + _c_24));
        {
          {
            if (!_vs_call.term_eq (_c_85, 0))
            {
              goto _block9__branch1;
            }
            _ve_java_m_item = (_ve_subst + _ve_arrays + (_c_87 + _ve_c + _c_86) ());
            goto _block9;
          }
        _block9__branch1: {}
          _ve_java_m_item = (_ve_subst + _ve_arrays + (_ve_c + _c_55) ());
        }
      _block9: {}
      }
    _block2: {}
      {
        {
          if ((_ve_java_m_item.get_len () != 1))
          {
            goto _block10__branch1;
          }
          if (_ve_java_m_item.symbol_at (0))
          {
            goto _block10__branch1;
          }
          Expr _v_deref__java_m_item (_ve_java_m_item, 0);
          uintptr_t _v_len67 = _v_deref__java_m_item.get_len ();
          uintptr_t _v_len68 = 6;
          if ((_v_len67 < _v_len68))
          {
            goto _block10__branch1;
          }
          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_230_m_32 = (_v_len67 - _v_len68);
          if (!_c_71.eq (_v_deref__java_m_item, 0))
          {
            goto _block10__branch1;
          }
          Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_230_m_32 (_v_deref__java_m_item, 6, _v_len___e__e_tmp_m_rfp__asail__javarf_m_230_m_32);
          _v_res1 = _ve_java_m_item;
          goto _block10;
        }
      _block10__branch1: {}
        Expr _v_ASAIL_m_To_m_Java7;
        RF_CALL (ASAIL_m_To_m_Java, _ve_rest, _v_ASAIL_m_To_m_Java7);
        _v_res1 = (_ve_java_m_item + _v_ASAIL_m_To_m_Java7);
      }
    _block10: {}
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = empty;
  }
_block1: {}
RF_END

RF_FUNC (Copy_m_Args, (RF_ARG _ve_args, _ve_ress;;), (RF_RES _v_res1, _v_res2;;))
  Expr _v_args__1 (_ve_args);
  Expr _ve_valid_m_args (empty);
  Expr _ve_subst (empty);
  for ( ; ; )
  {
    {
      if ((_v_args__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_valid_m_args;
      _v_res2 = _ve_subst;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_args__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__2 = (_v_len1 - _v_len2);
    if (_v_args__1.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_deref__args__1 (_v_args__1, 0);
    uintptr_t _v_len3 = _v_deref__args__1.get_len ();
    uintptr_t _v_len4 = 0;
    if ((_v_len3 < _v_len4))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__1 = (_v_len3 - _v_len4);
    Expr _ve_2 (_v_args__1, 1, _v_len__2);
    Expr _ve_1 (_v_deref__args__1, 0, _v_len__1);
    {
      {
        if ((_ve_ress.get_len () < 1))
        {
          goto _block2__branch1;
        }
        RF_lsplit (_ve_ress, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_239_m_17, _v_lsplit__ress);
        for ( ; ; RF_iter(_ve_ress)++)
        {
          {
            if (!RF_iter(_ve_ress))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len5 = _v_lsplit__ress.get_len ();
            uintptr_t _v_len6 = 1;
            if ((_v_len5 < _v_len6))
            {
              goto _block2__branch1;
            }
            uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_239_m_24 = (_v_len5 - _v_len6);
            if (_v_lsplit__ress.symbol_at (0))
            {
              goto _continue1;
            }
            Expr _v_deref__lsplit__ress (_v_lsplit__ress, 0);
            if ((_v_deref__lsplit__ress.get_len () != _v_len__1))
            {
              goto _continue1;
            }
            if (!_ve_1.eq (_v_deref__lsplit__ress, 0))
            {
              goto _continue1;
            }
            Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_239_m_24 (_v_lsplit__ress, 1, _v_len___e__e_tmp_m_rfp__asail__javarf_m_239_m_24);
            Expr _v_Free_m_Index1;
            RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
            Expr _ve_new_m_var ((_c_43 + _v_Free_m_Index1));
            Expr _v_Rfp2Java1;
            RF_CALL (JavaMangle::Rfp2Java, _ve_1, _v_Rfp2Java1);
            _v_args__1 = _ve_2;
            _ve_valid_m_args = (_ve_valid_m_args + _ve_new_m_var ());
            _ve_subst = (_ve_subst + (_c_49 + _ve_new_m_var + _c_88 + _v_Rfp2Java1 + _c_44) ());
            goto _exit1;
          }
      _continue1: {}
        }
      _exit1: {}
        goto _block2;
      }
    _block2__branch1: {}
      _v_args__1 = _ve_2;
      _ve_valid_m_args = (_ve_valid_m_args + _ve_1 ());
    }
  _block2: {}
  }
_exit__iter1: {}
RF_END

RF_FUNC (Expr_m_To_m_Java, (RF_ARG _ve_init, _ve_expr_m_all;;), (RF_RES _v_res1, _v_res2;;))
  {
    {
      if ((_ve_expr_m_all.get_len () != 0))
      {
        goto _block1__branch1;
      }
      RF_TAILCALL (Expr_m_Ref_m_To_m_Java, _ve_init, (_v_res1, _v_res2));
      goto _block1;
    }
  _block1__branch1: {}
    {
      uintptr_t _v_len1 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__expr_m_all (_ve_expr_m_all, 0);
      uintptr_t _v_len3 = _v_deref__expr_m_all.get_len ();
      uintptr_t _v_len4 = 1;
      if ((_v_len3 < _v_len4))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__expr = (_v_len3 - _v_len4);
      if (!_c_89.term_eq (_v_deref__expr_m_all, 0))
      {
        goto _block1__branch2;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest);
      Expr _ve_expr (_v_deref__expr_m_all, 1, _v_len__expr);
      RF_TAILCALL (Expr_m_Ref_m_To_m_Java, (_ve_init + _ve_expr_m_all), (_v_res1, _v_res2));
      goto _block1;
    }
  _block1__branch2: {}
    {
      uintptr_t _v_len5 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len6 = 1;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__rest2 = (_v_len5 - _v_len6);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch3;
      }
      Expr _v_deref__expr_m_all2 (_ve_expr_m_all, 0);
      uintptr_t _v_len7 = _v_deref__expr_m_all2.get_len ();
      uintptr_t _v_len8 = 1;
      if ((_v_len7 < _v_len8))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__expr2 = (_v_len7 - _v_len8);
      if (!_c_59.term_eq (_v_deref__expr_m_all2, 0))
      {
        goto _block1__branch3;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest2);
      Expr _ve_expr (_v_deref__expr_m_all2, 1, _v_len__expr2);
      RF_TAILCALL (Expr_m_Ref_m_To_m_Java, (_ve_init + _ve_expr_m_all), (_v_res1, _v_res2));
      goto _block1;
    }
  _block1__branch3: {}
    {
      uintptr_t _v_len9 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len10 = 1;
      if ((_v_len9 < _v_len10))
      {
        goto _block1__branch4;
      }
      uintptr_t _v_len__rest3 = (_v_len9 - _v_len10);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch4;
      }
      Expr _v_deref__expr_m_all3 (_ve_expr_m_all, 0);
      uintptr_t _v_len11 = _v_deref__expr_m_all3.get_len ();
      uintptr_t _v_len12 = 1;
      if ((_v_len11 < _v_len12))
      {
        goto _block1__branch4;
      }
      uintptr_t _v_len__expr3 = (_v_len11 - _v_len12);
      if (!_c_60.term_eq (_v_deref__expr_m_all3, 0))
      {
        goto _block1__branch4;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest3);
      Expr _ve_expr (_v_deref__expr_m_all3, 1, _v_len__expr3);
      RF_TAILCALL (Expr_m_Ref_m_To_m_Java, (_ve_init + _ve_expr_m_all), (_v_res1, _v_res2));
      goto _block1;
    }
  _block1__branch4: {}
    {
      uintptr_t _v_len13 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len14 = 1;
      if ((_v_len13 < _v_len14))
      {
        goto _block1__branch5;
      }
      uintptr_t _v_len__rest4 = (_v_len13 - _v_len14);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch5;
      }
      Expr _v_deref__expr_m_all4 (_ve_expr_m_all, 0);
      uintptr_t _v_len15 = _v_deref__expr_m_all4.get_len ();
      uintptr_t _v_len16 = 1;
      if ((_v_len15 < _v_len16))
      {
        goto _block1__branch5;
      }
      uintptr_t _v_len__expr4 = (_v_len15 - _v_len16);
      if (!_c_63.term_eq (_v_deref__expr_m_all4, 0))
      {
        goto _block1__branch5;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest4);
      Expr _ve_expr (_v_deref__expr_m_all4, 1, _v_len__expr4);
      RF_TAILCALL (Expr_m_Ref_m_To_m_Java, (_ve_init + _ve_expr_m_all), (_v_res1, _v_res2));
      goto _block1;
    }
  _block1__branch5: {}
    {
      uintptr_t _v_len17 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len18 = 1;
      if ((_v_len17 < _v_len18))
      {
        goto _block1__branch6;
      }
      uintptr_t _v_len__rest5 = (_v_len17 - _v_len18);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch6;
      }
      Expr _v_deref__expr_m_all5 (_ve_expr_m_all, 0);
      uintptr_t _v_len19 = _v_deref__expr_m_all5.get_len ();
      uintptr_t _v_len20 = 1;
      if ((_v_len19 < _v_len20))
      {
        goto _block1__branch6;
      }
      uintptr_t _v_len__expr5 = (_v_len19 - _v_len20);
      if (!_c_90.term_eq (_v_deref__expr_m_all5, 0))
      {
        goto _block1__branch6;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest5);
      Expr _ve_expr (_v_deref__expr_m_all5, 1, _v_len__expr5);
      RF_CALL (Expr_m_Int_m_To_m_Java, (_c_91, (_ve_init + _ve_expr_m_all)), _v_res2);
      _v_res1 = empty;
      goto _block1;
    }
  _block1__branch6: {}
    {
      uintptr_t _v_len21 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len22 = 1;
      if ((_v_len21 < _v_len22))
      {
        goto _block1__branch7;
      }
      uintptr_t _v_len__rest6 = (_v_len21 - _v_len22);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch7;
      }
      Expr _v_deref__expr_m_all6 (_ve_expr_m_all, 0);
      uintptr_t _v_len23 = _v_deref__expr_m_all6.get_len ();
      uintptr_t _v_len24 = 1;
      if ((_v_len23 < _v_len24))
      {
        goto _block1__branch7;
      }
      uintptr_t _v_len__args = (_v_len23 - _v_len24);
      if (!_c_92.term_eq (_v_deref__expr_m_all6, 0))
      {
        goto _block1__branch7;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest6);
      Expr _ve_args (_v_deref__expr_m_all6, 1, _v_len__args);
      RF_CALL (Expr_m_Int_m_To_m_Java, (_c_91, (_ve_init + _ve_expr_m_all)), _v_res2);
      _v_res1 = empty;
      goto _block1;
    }
  _block1__branch7: {}
    {
      uintptr_t _v_len25 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len26 = 1;
      if ((_v_len25 < _v_len26))
      {
        goto _block1__branch8;
      }
      uintptr_t _v_len__rest7 = (_v_len25 - _v_len26);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch8;
      }
      Expr _v_deref__expr_m_all7 (_ve_expr_m_all, 0);
      uintptr_t _v_len27 = _v_deref__expr_m_all7.get_len ();
      uintptr_t _v_len28 = 1;
      if ((_v_len27 < _v_len28))
      {
        goto _block1__branch8;
      }
      uintptr_t _v_len__args2 = (_v_len27 - _v_len28);
      if (!_c_93.term_eq (_v_deref__expr_m_all7, 0))
      {
        goto _block1__branch8;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest7);
      Expr _ve_args (_v_deref__expr_m_all7, 1, _v_len__args2);
      RF_CALL (Expr_m_Int_m_To_m_Java, (_c_91, (_ve_init + _ve_expr_m_all)), _v_res2);
      _v_res1 = empty;
      goto _block1;
    }
  _block1__branch8: {}
    {
      uintptr_t _v_len29 = _ve_expr_m_all.get_len ();
      uintptr_t _v_len30 = 1;
      if ((_v_len29 < _v_len30))
      {
        goto _block1__branch9;
      }
      uintptr_t _v_len__rest8 = (_v_len29 - _v_len30);
      if (_ve_expr_m_all.symbol_at (0))
      {
        goto _block1__branch9;
      }
      Expr _v_deref__expr_m_all8 (_ve_expr_m_all, 0);
      uintptr_t _v_len31 = _v_deref__expr_m_all8.get_len ();
      uintptr_t _v_len32 = 2;
      if ((_v_len31 < _v_len32))
      {
        goto _block1__branch9;
      }
      uintptr_t _v_len__args3 = (_v_len31 - _v_len32);
      if (!_c_94.term_eq (_v_deref__expr_m_all8, 0))
      {
        goto _block1__branch9;
      }
      if (!_v_deref__expr_m_all8.symbol_at (1))
      {
        goto _block1__branch9;
      }
      Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest8);
      Expr _vs_op (_v_deref__expr_m_all8, 1, 1);
      Expr _ve_args (_v_deref__expr_m_all8, 2, _v_len__args3);
      RF_CALL (Expr_m_Int_m_To_m_Java, (_c_91, (_ve_init + _ve_expr_m_all)), _v_res2);
      _v_res1 = empty;
      goto _block1;
    }
  _block1__branch9: {}
    uintptr_t _v_len33 = _ve_expr_m_all.get_len ();
    uintptr_t _v_len34 = 1;
    if ((_v_len33 < _v_len34))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest9 = (_v_len33 - _v_len34);
    if (_ve_expr_m_all.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_deref__expr_m_all9 (_ve_expr_m_all, 0);
    if ((_v_deref__expr_m_all9.get_len () != 2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    if (_v_deref__expr_m_all9.symbol_at (1))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_deref__deref__expr_m_all9 (_v_deref__expr_m_all9, 1);
    uintptr_t _v_len35 = _v_deref__deref__expr_m_all9.get_len ();
    uintptr_t _v_len36 = 0;
    if ((_v_len35 < _v_len36))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__QualifiedName = (_v_len35 - _v_len36);
    if (!_v_deref__expr_m_all9.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _ve_rest (_ve_expr_m_all, 1, _v_len__rest9);
    Expr _vs_var_m_tag (_v_deref__expr_m_all9, 0, 1);
    Expr _ve_QualifiedName (_v_deref__deref__expr_m_all9, 0, _v_len__QualifiedName);
    RF_TAILCALL (Expr_m_To_m_Java, ((_ve_init + (_vs_var_m_tag + _ve_QualifiedName ()) ()), _ve_rest), (_v_res1, _v_res2));
  }
_block1: {}
RF_END

RF_FUNC (Expr_m_Ref_m_To_m_Java, (RF_ARG _v_arg1;;), (RF_RES _v_res1, _v_res2;;))
  {
    {
      if ((_v_arg1.get_len () != 0))
      {
        goto _block1__branch1;
      }
      _v_res1 = empty;
      _v_res2 = _c_95;
      goto _block1;
    }
  _block1__branch1: {}
    {
      if ((_v_arg1.get_len () != 1))
      {
        goto _block1__branch2;
      }
      Expr _vt_erm (_v_arg1, 0, 1);
      Expr _vs_acc;
      RF_CALL (Box::Box, empty, _vs_acc);
      Expr _ve_term;
      RF_CALL (Term_m_Ref_m_To_m_Java, (_vs_acc, _vt_erm), _ve_term);
      RF_CALL (Box::_q_, _vs_acc, _v_res1);
      _v_res2 = _ve_term;
      goto _block1;
    }
  _block1__branch2: {}
    {
      if ((_v_arg1.get_len () != 2))
      {
        goto _block1__branch3;
      }
      Expr _vt_1 (_v_arg1, 0, 1);
      Expr _vt_2 (_v_arg1, 1, 1);
      Expr _vs_acc;
      RF_CALL (Box::Box, empty, _vs_acc);
      Expr _ve_t1;
      RF_CALL (Term_m_Ref_m_To_m_Java, (_vs_acc, _vt_1), _ve_t1);
      Expr _ve_t2;
      RF_CALL (Term_m_Ref_m_To_m_Java, (_vs_acc, _vt_2), _ve_t2);
      RF_CALL (Box::_q_, _vs_acc, _v_res1);
      _v_res2 = (_c_96 + _ve_t1 + _c_64 + _ve_t2 + _c_24);
      goto _block1;
    }
  _block1__branch3: {}
    Expr _v_Free_m_Index1;
    RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
    Expr _ve_new_m_var ((_c_43 + _v_Free_m_Index1));
    Expr _vs_acc;
    RF_CALL (Box::Box, empty, _vs_acc);
    Expr _v_Paren1;
    RF_CALL (List::Paren, _v_arg1, _v_Paren1);
    Expr _ve_arr_m_init;
    RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_97, _c_98, _v_Paren1), _ve_arr_m_init);
    Expr _v__q_1;
    RF_CALL (Box::_q_, _vs_acc, _v__q_1);
    _v_res1 = (_v__q_1 + (_c_101 + _ve_new_m_var + _c_100 + _ve_arr_m_init + _c_99) ());
    _v_res2 = (_c_102 + _ve_new_m_var + _c_24);
  }
_block1: {}
RF_END

RF_FUNC (Term_m_Ref_m_To_m_Java, (RF_ARG _vs_acc, _vt_erm;;), (RF_RES _v_res1;;))
  {
    {
      if (_vt_erm.symbol_at (0))
      {
        goto _block1__branch1;
      }
      Expr _v_deref__erm (_vt_erm, 0);
      uintptr_t _v_len1 = _v_deref__erm.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
      if (!_c_89.term_eq (_v_deref__erm, 0))
      {
        goto _block1__branch1;
      }
      Expr _ve_expr (_v_deref__erm, 1, _v_len__expr);
      Expr _ve_a;
      Expr _ve_j_m_expr;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
      _v_res1 = (_c_103 + _ve_j_m_expr + _c_24);
      goto _block1;
    }
  _block1__branch1: {}
    {
      if (_vt_erm.symbol_at (0))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__erm2 (_vt_erm, 0);
      uintptr_t _v_len3 = _v_deref__erm2.get_len ();
      uintptr_t _v_len4 = 2;
      if ((_v_len3 < _v_len4))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__expr2 = (_v_len3 - _v_len4);
      if (_v_deref__erm2.symbol_at ((_v_len__expr2 + 1)))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__deref__erm2 (_v_deref__erm2, (_v_len__expr2 + 1));
      uintptr_t _v_len5 = _v_deref__deref__erm2.get_len ();
      uintptr_t _v_len6 = 0;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__pos = (_v_len5 - _v_len6);
      if (!_c_60.term_eq (_v_deref__erm2, 0))
      {
        goto _block1__branch2;
      }
      Expr _ve_expr (_v_deref__erm2, 1, _v_len__expr2);
      Expr _ve_pos (_v_deref__deref__erm2, 0, _v_len__pos);
      Expr _ve_a;
      Expr _ve_j_m_expr;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
      _v_res1 = (_c_104 + _ve_j_m_expr + _c_61 + _ve_pos + _c_24);
      goto _block1;
    }
  _block1__branch2: {}
    {
      if (_vt_erm.symbol_at (0))
      {
        goto _block1__branch3;
      }
      Expr _v_deref__erm3 (_vt_erm, 0);
      uintptr_t _v_len7 = _v_deref__erm3.get_len ();
      uintptr_t _v_len8 = 3;
      if ((_v_len7 < _v_len8))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__expr3 = (_v_len7 - _v_len8);
      if (_v_deref__erm3.symbol_at ((_v_len__expr3 + 1)))
      {
        goto _block1__branch3;
      }
      if (_v_deref__erm3.symbol_at ((_v_len__expr3 + 2)))
      {
        goto _block1__branch3;
      }
      Expr _v_deref__deref__erm3 (_v_deref__erm3, (_v_len__expr3 + 1));
      Expr _v_deref__deref__erm32 (_v_deref__erm3, (_v_len__expr3 + 2));
      uintptr_t _v_len9 = _v_deref__deref__erm32.get_len ();
      uintptr_t _v_len10 = 0;
      if ((_v_len9 < _v_len10))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__len = (_v_len9 - _v_len10);
      uintptr_t _v_len11 = _v_deref__deref__erm3.get_len ();
      uintptr_t _v_len12 = 0;
      if ((_v_len11 < _v_len12))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__pos2 = (_v_len11 - _v_len12);
      if (!_c_63.term_eq (_v_deref__erm3, 0))
      {
        goto _block1__branch3;
      }
      Expr _ve_expr (_v_deref__erm3, 1, _v_len__expr3);
      Expr _ve_pos (_v_deref__deref__erm3, 0, _v_len__pos2);
      Expr _ve_len (_v_deref__deref__erm32, 0, _v_len__len);
      Expr _ve_a;
      Expr _ve_j_m_expr;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_len), _ve_len);
      _v_res1 = (_c_96 + _ve_j_m_expr + _c_64 + _ve_pos + _c_64 + _ve_len + _c_24);
      goto _block1;
    }
  _block1__branch3: {}
    {
      if (_vt_erm.symbol_at (0))
      {
        goto _block1__branch4;
      }
      Expr _v_deref__erm4 (_vt_erm, 0);
      if ((_v_deref__erm4.get_len () != 2))
      {
        goto _block1__branch4;
      }
      if (!_c_105.term_eq (_v_deref__erm4, 0))
      {
        goto _block1__branch4;
      }
      Expr _vt_name (_v_deref__erm4, 1, 1);
      RF_TAILCALL (Name_m_To_m_Java, _vt_name, _v_res1);
      goto _block1;
    }
  _block1__branch4: {}
    {
      if (!_vt_erm.term_eq (_c_106, 0))
      {
        goto _block1__branch5;
      }
      _v_res1 = _c_107;
      goto _block1;
    }
  _block1__branch5: {}
    if (_vt_erm.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_deref__erm5 (_vt_erm, 0);
    if ((_v_deref__erm5.get_len () != 2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    if (!_v_deref__erm5.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _vs_var_m_tag (_v_deref__erm5, 0, 1);
    Expr _vt_name (_v_deref__erm5, 1, 1);
    RF_TAILCALL (JavaMangle::Rfp2Java, (_vs_var_m_tag + _vt_name) (), _v_res1);
  }
_block1: {}
RF_END

RF_FUNC (Expr_m_Int_m_To_m_Java, (RF_ARG _vs_acc, _ve_xpr;;), (RF_RES _v_res1;;))
  {
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch1;
      }
      if (!_ve_xpr.symbol_at (0))
      {
        goto _block1__branch1;
      }
      Expr _vs_ObjectSymbol (_ve_xpr, 0, 1);
      {
        {
          if (!RF_CALL (Class::Int_q_, _vs_ObjectSymbol, /*void*/))
          {
            goto _block2__branch1;
          }
          _v_res1 = _vs_ObjectSymbol;
          goto _block2;
        }
      _block2__branch1: {}
        RF_ERROR ((_c_108 + _vs_ObjectSymbol) ());
      }
    _block2: {}
      goto _block1;
    }
  _block1__branch1: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch2;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__xpr (_ve_xpr, 0);
      uintptr_t _v_len1 = _v_deref__xpr.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
      if (!_c_90.term_eq (_v_deref__xpr, 0))
      {
        goto _block1__branch2;
      }
      Expr _ve_expr (_v_deref__xpr, 1, _v_len__expr);
      Expr _ve_a;
      Expr _ve_j_m_expr;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
      _v_res1 = (_ve_j_m_expr + _c_109);
      goto _block1;
    }
  _block1__branch2: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch3;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch3;
      }
      Expr _v_deref__xpr2 (_ve_xpr, 0);
      uintptr_t _v_len3 = _v_deref__xpr2.get_len ();
      uintptr_t _v_len4 = 1;
      if ((_v_len3 < _v_len4))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__args = (_v_len3 - _v_len4);
      if (!_c_92.term_eq (_v_deref__xpr2, 0))
      {
        goto _block1__branch3;
      }
      Expr _ve_args (_v_deref__xpr2, 1, _v_len__args);
      Expr _v_Int_m_Args_m_To_m_Java1;
      RF_CALL (Int_m_Args_m_To_m_Java, (_vs_acc, _ve_args), _v_Int_m_Args_m_To_m_Java1);
      _v_res1 = (_c_110 + _v_Int_m_Args_m_To_m_Java1 + _c_24);
      goto _block1;
    }
  _block1__branch3: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch4;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch4;
      }
      Expr _v_deref__xpr3 (_ve_xpr, 0);
      uintptr_t _v_len5 = _v_deref__xpr3.get_len ();
      uintptr_t _v_len6 = 1;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch4;
      }
      uintptr_t _v_len__args2 = (_v_len5 - _v_len6);
      if (!_c_93.term_eq (_v_deref__xpr3, 0))
      {
        goto _block1__branch4;
      }
      Expr _ve_args (_v_deref__xpr3, 1, _v_len__args2);
      Expr _v_Int_m_Args_m_To_m_Java2;
      RF_CALL (Int_m_Args_m_To_m_Java, (_vs_acc, _ve_args), _v_Int_m_Args_m_To_m_Java2);
      _v_res1 = (_c_111 + _v_Int_m_Args_m_To_m_Java2 + _c_24);
      goto _block1;
    }
  _block1__branch4: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch5;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch5;
      }
      Expr _v_deref__xpr4 (_ve_xpr, 0);
      uintptr_t _v_len7 = _v_deref__xpr4.get_len ();
      uintptr_t _v_len8 = 2;
      if ((_v_len7 < _v_len8))
      {
        goto _block1__branch5;
      }
      uintptr_t _v_len__args3 = (_v_len7 - _v_len8);
      if (!_c_94.term_eq (_v_deref__xpr4, 0))
      {
        goto _block1__branch5;
      }
      if (!_v_deref__xpr4.symbol_at (1))
      {
        goto _block1__branch5;
      }
      Expr _vs_op (_v_deref__xpr4, 1, 1);
      Expr _ve_args (_v_deref__xpr4, 2, _v_len__args3);
      Expr _v_Infix_m_To_m_Java1;
      RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_112, _vs_op, _ve_args), _v_Infix_m_To_m_Java1);
      _v_res1 = (_c_113 + _v_Infix_m_To_m_Java1 + _c_24);
      goto _block1;
    }
  _block1__branch5: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch6;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch6;
      }
      Expr _v_deref__xpr5 (_ve_xpr, 0);
      if ((_v_deref__xpr5.get_len () != 2))
      {
        goto _block1__branch6;
      }
      if (!_v_deref__xpr5.symbol_at (0))
      {
        goto _block1__branch6;
      }
      Expr _vs_var_m_tag (_v_deref__xpr5, 0, 1);
      Expr _vt_name (_v_deref__xpr5, 1, 1);
      RF_TAILCALL (JavaMangle::Rfp2Java, (_vs_var_m_tag + _vt_name) (), _v_res1);
      goto _block1;
    }
  _block1__branch6: {}
    if (!_ve_xpr.eq (_ve_xpr, 0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_Paren1;
    RF_CALL (List::Paren, _ve_xpr, _v_Paren1);
    Expr _v_Infix_m_To_m_Java2;
    RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_112, _c_114, _v_Paren1), _v_Infix_m_To_m_Java2);
    _v_res1 = (_c_113 + _v_Infix_m_To_m_Java2 + _c_24);
  }
_block1: {}
RF_END

RF_FUNC (Cond_m_To_m_Java, (RF_ARG _vs_acc, _ve_xpr;;), (RF_RES _v_res1;;))
  {
    {
      if ((_ve_xpr.get_len () != 0))
      {
        goto _block1__branch1;
      }
      _v_res1 = empty;
      goto _block1;
    }
  _block1__branch1: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch2;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__xpr (_ve_xpr, 0);
      if ((_v_deref__xpr.get_len () != 4))
      {
        goto _block1__branch2;
      }
      if (_v_deref__xpr.symbol_at (2))
      {
        goto _block1__branch2;
      }
      if (_v_deref__xpr.symbol_at (3))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__deref__xpr (_v_deref__xpr, 2);
      Expr _v_deref__deref__xpr2 (_v_deref__xpr, 3);
      uintptr_t _v_len1 = _v_deref__deref__xpr2.get_len ();
      uintptr_t _v_len2 = 0;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__ress = (_v_len1 - _v_len2);
      uintptr_t _v_len3 = _v_deref__deref__xpr.get_len ();
      uintptr_t _v_len4 = 0;
      if ((_v_len3 < _v_len4))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__args = (_v_len3 - _v_len4);
      if (!_c_115.term_eq (_v_deref__xpr, 0))
      {
        goto _block1__branch2;
      }
      Expr _vt_name (_v_deref__xpr, 1, 1);
      Expr _ve_args (_v_deref__deref__xpr, 0, _v_len__args);
      Expr _ve_ress (_v_deref__deref__xpr2, 0, _v_len__ress);
      Expr _ve_subst;
      RF_CALL (Copy_m_Args, (_ve_args, _ve_ress), (_ve_args, _ve_subst));
      Expr _v_Paren1;
      RF_CALL (List::Paren, _ve_ress, _v_Paren1);
      Expr _ve_arrays;
      RF_CALL (Expr_m_Args_m_To_m_Java, (_ve_args + _v_Paren1), (_ve_arrays, _ve_args));
      RF_CALL (Box::Put, (_vs_acc, (_ve_subst + _ve_arrays)), /*void*/);
      Expr _v_Name_m_To_m_Java1;
      RF_CALL (Name_m_To_m_Java, _vt_name, _v_Name_m_To_m_Java1);
      _v_res1 = (_v_Name_m_To_m_Java1 + _c_18 + _ve_args + _c_24);
      goto _block1;
    }
  _block1__branch2: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch3;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch3;
      }
      Expr _v_deref__xpr2 (_ve_xpr, 0);
      uintptr_t _v_len5 = _v_deref__xpr2.get_len ();
      uintptr_t _v_len6 = 2;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__expr = (_v_len5 - _v_len6);
      if (_v_deref__xpr2.symbol_at ((_v_len__expr + 1)))
      {
        goto _block1__branch3;
      }
      Expr _v_deref__deref__xpr22 (_v_deref__xpr2, (_v_len__expr + 1));
      uintptr_t _v_len7 = _v_deref__deref__xpr22.get_len ();
      uintptr_t _v_len8 = 0;
      if ((_v_len7 < _v_len8))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__pos = (_v_len7 - _v_len8);
      if (!_c_116.term_eq (_v_deref__xpr2, 0))
      {
        goto _block1__branch3;
      }
      Expr _ve_expr (_v_deref__xpr2, 1, _v_len__expr);
      Expr _ve_pos (_v_deref__deref__xpr22, 0, _v_len__pos);
      Expr _ve_a;
      Expr _ve_j_m_expr;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
      Expr _v_Expr_m_Int_m_To_m_Java1;
      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _v_Expr_m_Int_m_To_m_Java1);
      _v_res1 = (_ve_j_m_expr + _c_117 + _v_Expr_m_Int_m_To_m_Java1 + _c_24);
      goto _block1;
    }
  _block1__branch3: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch4;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch4;
      }
      Expr _v_deref__xpr3 (_ve_xpr, 0);
      uintptr_t _v_len9 = _v_deref__xpr3.get_len ();
      uintptr_t _v_len10 = 1;
      if ((_v_len9 < _v_len10))
      {
        goto _block1__branch4;
      }
      uintptr_t _v_len__expr2 = (_v_len9 - _v_len10);
      if (!_c_118.term_eq (_v_deref__xpr3, 0))
      {
        goto _block1__branch4;
      }
      Expr _ve_expr (_v_deref__xpr3, 1, _v_len__expr2);
      Expr _v_Lookup1;
      if (!RF_CALL (Table::Lookup, (Iter_m_Vars, _ve_expr), _v_Lookup1))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
      _v_res1 = (_v_Lookup1 + _c_119);
      goto _block1;
    }
  _block1__branch4: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch5;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch5;
      }
      Expr _v_deref__xpr4 (_ve_xpr, 0);
      uintptr_t _v_len11 = _v_deref__xpr4.get_len ();
      uintptr_t _v_len12 = 3;
      if ((_v_len11 < _v_len12))
      {
        goto _block1__branch5;
      }
      uintptr_t _v_len__expr1 = (_v_len11 - _v_len12);
      if (_v_deref__xpr4.symbol_at ((_v_len__expr1 + 1)))
      {
        goto _block1__branch5;
      }
      if (_v_deref__xpr4.symbol_at ((_v_len__expr1 + 2)))
      {
        goto _block1__branch5;
      }
      Expr _v_deref__deref__xpr4 (_v_deref__xpr4, (_v_len__expr1 + 1));
      Expr _v_deref__deref__xpr42 (_v_deref__xpr4, (_v_len__expr1 + 2));
      uintptr_t _v_len13 = _v_deref__deref__xpr42.get_len ();
      uintptr_t _v_len14 = 0;
      if ((_v_len13 < _v_len14))
      {
        goto _block1__branch5;
      }
      uintptr_t _v_len__pos2 = (_v_len13 - _v_len14);
      uintptr_t _v_len15 = _v_deref__deref__xpr4.get_len ();
      uintptr_t _v_len16 = 0;
      if ((_v_len15 < _v_len16))
      {
        goto _block1__branch5;
      }
      uintptr_t _v_len__expr22 = (_v_len15 - _v_len16);
      if (!_c_120.term_eq (_v_deref__xpr4, 0))
      {
        goto _block1__branch5;
      }
      Expr _ve_expr1 (_v_deref__xpr4, 1, _v_len__expr1);
      Expr _ve_expr2 (_v_deref__deref__xpr4, 0, _v_len__expr22);
      Expr _ve_pos (_v_deref__deref__xpr42, 0, _v_len__pos2);
      Expr _ve_a1;
      Expr _ve_j_m_expr1;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr1, (_ve_a1, _ve_j_m_expr1));
      Expr _ve_a2;
      Expr _ve_j_m_expr2;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr2, (_ve_a2, _ve_j_m_expr2));
      RF_CALL (Box::Put, (_vs_acc, (_ve_a1 + _ve_a2)), /*void*/);
      Expr _v_Expr_m_Int_m_To_m_Java2;
      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _v_Expr_m_Int_m_To_m_Java2);
      _v_res1 = (_ve_j_m_expr1 + _c_121 + _ve_j_m_expr2 + _c_64 + _v_Expr_m_Int_m_To_m_Java2 + _c_24);
      goto _block1;
    }
  _block1__branch5: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch6;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch6;
      }
      Expr _v_deref__xpr5 (_ve_xpr, 0);
      uintptr_t _v_len17 = _v_deref__xpr5.get_len ();
      uintptr_t _v_len18 = 3;
      if ((_v_len17 < _v_len18))
      {
        goto _block1__branch6;
      }
      uintptr_t _v_len__expr12 = (_v_len17 - _v_len18);
      if (_v_deref__xpr5.symbol_at ((_v_len__expr12 + 1)))
      {
        goto _block1__branch6;
      }
      if (_v_deref__xpr5.symbol_at ((_v_len__expr12 + 2)))
      {
        goto _block1__branch6;
      }
      Expr _v_deref__deref__xpr5 (_v_deref__xpr5, (_v_len__expr12 + 1));
      Expr _v_deref__deref__xpr52 (_v_deref__xpr5, (_v_len__expr12 + 2));
      uintptr_t _v_len19 = _v_deref__deref__xpr52.get_len ();
      uintptr_t _v_len20 = 0;
      if ((_v_len19 < _v_len20))
      {
        goto _block1__branch6;
      }
      uintptr_t _v_len__pos3 = (_v_len19 - _v_len20);
      uintptr_t _v_len21 = _v_deref__deref__xpr5.get_len ();
      uintptr_t _v_len22 = 0;
      if ((_v_len21 < _v_len22))
      {
        goto _block1__branch6;
      }
      uintptr_t _v_len__expr23 = (_v_len21 - _v_len22);
      if (!_c_122.term_eq (_v_deref__xpr5, 0))
      {
        goto _block1__branch6;
      }
      Expr _ve_expr1 (_v_deref__xpr5, 1, _v_len__expr12);
      Expr _ve_expr2 (_v_deref__deref__xpr5, 0, _v_len__expr23);
      Expr _ve_pos (_v_deref__deref__xpr52, 0, _v_len__pos3);
      Expr _ve_a1;
      Expr _ve_j_m_expr1;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr1, (_ve_a1, _ve_j_m_expr1));
      Expr _ve_a2;
      Expr _ve_j_m_expr2;
      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr2, (_ve_a2, _ve_j_m_expr2));
      RF_CALL (Box::Put, (_vs_acc, (_ve_a1 + _ve_a2)), /*void*/);
      Expr _v_Expr_m_Int_m_To_m_Java3;
      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _v_Expr_m_Int_m_To_m_Java3);
      _v_res1 = (_ve_j_m_expr1 + _c_121 + _ve_j_m_expr2 + _c_64 + _v_Expr_m_Int_m_To_m_Java3 + _c_24);
      goto _block1;
    }
  _block1__branch6: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch7;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch7;
      }
      Expr _v_deref__xpr6 (_ve_xpr, 0);
      uintptr_t _v_len23 = _v_deref__xpr6.get_len ();
      uintptr_t _v_len24 = 1;
      if ((_v_len23 < _v_len24))
      {
        goto _block1__branch7;
      }
      uintptr_t _v_len__cond = (_v_len23 - _v_len24);
      if (!_c_123.term_eq (_v_deref__xpr6, 0))
      {
        goto _block1__branch7;
      }
      Expr _ve_cond (_v_deref__xpr6, 1, _v_len__cond);
      Expr _v_Cond_m_To_m_Java1;
      RF_CALL (Cond_m_To_m_Java, (_vs_acc, _ve_cond), _v_Cond_m_To_m_Java1);
      _v_res1 = (_c_124 + _v_Cond_m_To_m_Java1);
      goto _block1;
    }
  _block1__branch7: {}
    {
      if ((_ve_xpr.get_len () != 1))
      {
        goto _block1__branch8;
      }
      if (_ve_xpr.symbol_at (0))
      {
        goto _block1__branch8;
      }
      Expr _v_deref__xpr7 (_ve_xpr, 0);
      uintptr_t _v_len25 = _v_deref__xpr7.get_len ();
      uintptr_t _v_len26 = 2;
      if ((_v_len25 < _v_len26))
      {
        goto _block1__branch8;
      }
      uintptr_t _v_len__args2 = (_v_len25 - _v_len26);
      if (!_c_94.term_eq (_v_deref__xpr7, 0))
      {
        goto _block1__branch8;
      }
      if (!_v_deref__xpr7.symbol_at (1))
      {
        goto _block1__branch8;
      }
      Expr _vs_op (_v_deref__xpr7, 1, 1);
      Expr _ve_args (_v_deref__xpr7, 2, _v_len__args2);
      {
        {
          {
            {
              if (!_vs_op.term_eq (_c_114, 0))
              {
                goto _block3__branch1;
              }
              goto _block3;
            }
          _block3__branch1: {}
            {
              if (!_vs_op.term_eq (_c_125, 0))
              {
                goto _block3__branch2;
              }
              goto _block3;
            }
          _block3__branch2: {}
            {
              if (!_vs_op.term_eq (_c_126, 0))
              {
                goto _block3__branch3;
              }
              goto _block3;
            }
          _block3__branch3: {}
            {
              if (!_vs_op.term_eq (_c_127, 0))
              {
                goto _block3__branch4;
              }
              goto _block3;
            }
          _block3__branch4: {}
            if (!_vs_op.term_eq (_c_128, 0))
            {
              goto _block2__branch1;
            }
          }
        _block3: {}
          Expr _v_Infix_m_To_m_Java1;
          RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_112, _vs_op, _ve_args), _v_Infix_m_To_m_Java1);
          _v_res1 = (_v_Infix_m_To_m_Java1 + _c_129);
          goto _block2;
        }
      _block2__branch1: {}
        Expr _v_Op_m_Arg_m_To_m_Java1;
        RF_CALL (Op_m_Arg_m_To_m_Java, _vs_op, _v_Op_m_Arg_m_To_m_Java1);
        Expr _v_Infix_m_To_m_Java2;
        RF_CALL (Infix_m_To_m_Java, (_vs_acc, _v_Op_m_Arg_m_To_m_Java1, _vs_op, _ve_args), _v_Infix_m_To_m_Java2);
        _v_res1 = (_c_113 + _v_Infix_m_To_m_Java2 + _c_24);
      }
    _block2: {}
      goto _block1;
    }
  _block1__branch8: {}
    if (!_ve_xpr.eq (_ve_xpr, 0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_Paren2;
    RF_CALL (List::Paren, _ve_xpr, _v_Paren2);
    Expr _v_Infix_m_To_m_Java3;
    RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_130, _c_131, _v_Paren2), _v_Infix_m_To_m_Java3);
    _v_res1 = (_c_113 + _v_Infix_m_To_m_Java3 + _c_24);
  }
_block1: {}
RF_END

RF_FUNC (Infix_m_To_m_Java, (RF_ARG _vs_acc, _vs_arg2java, _vs_op, _ve_args;;), (RF_RES _v_res1;;))
  {
    {
      uintptr_t _v_len1 = _ve_args.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
      if (_ve_args.symbol_at (0))
      {
        goto _block1__branch1;
      }
      Expr _v_deref__args (_ve_args, 0);
      uintptr_t _v_len3 = _v_deref__args.get_len ();
      uintptr_t _v_len4 = 0;
      if ((_v_len3 < _v_len4))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__arg = (_v_len3 - _v_len4);
      Expr _ve_rest (_ve_args, 1, _v_len__rest);
      Expr _ve_arg (_v_deref__args, 0, _v_len__arg);
      if (!RF_CALL (Apply::Apply, (_vs_arg2java, (_vs_acc + _ve_arg)), _ve_arg))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
      RF_CALL (Infix_m_To_m_Java, (_vs_acc, _vs_arg2java, _vs_op, _ve_rest), _ve_rest);
      {
        {
          uintptr_t _v_len5 = _ve_rest.get_len ();
          uintptr_t _v_len6 = 0;
          if ((_v_len5 < (_v_len6 + 1)))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_373_m_28 = (_v_len5 - _v_len6);
          uintptr_t _v_len7 = _ve_arg.get_len ();
          uintptr_t _v_len8 = 0;
          if ((_v_len7 < (_v_len8 + 1)))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_373_m_16 = (_v_len7 - _v_len8);
          Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_373_m_16 (_ve_arg, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_373_m_16);
          Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_373_m_28 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_373_m_28);
          _v_res1 = (_ve_arg + _c_19 + _vs_op + _c_19 + _ve_rest);
          goto _block2;
        }
      _block2__branch1: {}
        _v_res1 = (_ve_arg + _ve_rest);
      }
    _block2: {}
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = empty;
  }
_block1: {}
RF_END

RF_FUNC (Op_m_Arg_m_To_m_Java, (RF_ARG _vs_op;;), (RF_RES _v_res1;;))
  {
    {
      {
        {
          if (!_vs_op.term_eq (_c_131, 0))
          {
            goto _block2__branch1;
          }
          goto _block2;
        }
      _block2__branch1: {}
        if (!_vs_op.term_eq (_c_132, 0))
        {
          goto _block1__branch1;
        }
      }
    _block2: {}
      _v_res1 = _c_130;
      goto _block1;
    }
  _block1__branch1: {}
    {
      {
        if (!_vs_op.term_eq (_c_133, 0))
        {
          goto _block3__branch1;
        }
        goto _block3;
      }
    _block3__branch1: {}
      {
        if (!_vs_op.term_eq (_c_134, 0))
        {
          goto _block3__branch2;
        }
        goto _block3;
      }
    _block3__branch2: {}
      {
        if (!_vs_op.term_eq (_c_135, 0))
        {
          goto _block3__branch3;
        }
        goto _block3;
      }
    _block3__branch3: {}
      {
        if (!_vs_op.term_eq (_c_136, 0))
        {
          goto _block3__branch4;
        }
        goto _block3;
      }
    _block3__branch4: {}
      {
        if (!_vs_op.term_eq (_c_137, 0))
        {
          goto _block3__branch5;
        }
        goto _block3;
      }
    _block3__branch5: {}
      {
        if (!_vs_op.term_eq (_c_138, 0))
        {
          goto _block3__branch6;
        }
        goto _block3;
      }
    _block3__branch6: {}
      {
        if (!_vs_op.term_eq (_c_114, 0))
        {
          goto _block3__branch7;
        }
        goto _block3;
      }
    _block3__branch7: {}
      {
        if (!_vs_op.term_eq (_c_125, 0))
        {
          goto _block3__branch8;
        }
        goto _block3;
      }
    _block3__branch8: {}
      {
        if (!_vs_op.term_eq (_c_126, 0))
        {
          goto _block3__branch9;
        }
        goto _block3;
      }
    _block3__branch9: {}
      {
        if (!_vs_op.term_eq (_c_127, 0))
        {
          goto _block3__branch10;
        }
        goto _block3;
      }
    _block3__branch10: {}
      if (!_vs_op.term_eq (_c_128, 0))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
    }
  _block3: {}
    _v_res1 = _c_112;
  }
_block1: {}
RF_END

RF_FUNC (Step_m_To_m_Java, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  {
    {
      if ((_v_arg1.get_len () != 0))
      {
        goto _block1__branch1;
      }
      _v_res1 = empty;
      goto _block1;
    }
  _block1__branch1: {}
    {
      if ((_v_arg1.get_len () != 1))
      {
        goto _block1__branch2;
      }
      if (_v_arg1.symbol_at (0))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__arg1 (_v_arg1, 0);
      uintptr_t _v_len1 = _v_deref__arg1.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
      if (!_c_139.term_eq (_v_deref__arg1, 0))
      {
        goto _block1__branch2;
      }
      Expr _ve_expr (_v_deref__arg1, 1, _v_len__expr);
      Expr _v_Lookup1;
      if (!RF_CALL (Table::Lookup, (Iter_m_Vars, _ve_expr), _v_Lookup1))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
      _v_res1 = (_v_Lookup1 + _c_140);
      goto _block1;
    }
  _block1__branch2: {}
    if ((_v_arg1.get_len () != 1))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    if (_v_arg1.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_deref__arg12 (_v_arg1, 0);
    uintptr_t _v_len3 = _v_deref__arg12.get_len ();
    uintptr_t _v_len4 = 1;
    if ((_v_len3 < _v_len4))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__expr2 = (_v_len3 - _v_len4);
    if (!_c_141.term_eq (_v_deref__arg12, 0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _ve_expr (_v_deref__arg12, 1, _v_len__expr2);
    Expr _v_Lookup2;
    if (!RF_CALL (Table::Lookup, (Iter_m_Vars, _ve_expr), _v_Lookup2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    _v_res1 = (_v_Lookup2 + _c_142);
  }
_block1: {}
RF_END

RF_FUNC (Const_m_Expr_m_To_m_Java, (RF_ARG _v_arg1;;), (RF_RES _v_res1, _v_res2;;))
  {
    {
      if ((_v_arg1.get_len () != 0))
      {
        goto _block1__branch1;
      }
      _v_res1 = empty;
      _v_res2 = _c_95;
      goto _block1;
    }
  _block1__branch1: {}
    {
      if ((_v_arg1.get_len () != 1))
      {
        goto _block1__branch2;
      }
      if (_v_arg1.symbol_at (0))
      {
        goto _block1__branch2;
      }
      Expr _v_deref__arg1 (_v_arg1, 0);
      if ((_v_deref__arg1.get_len () != 4))
      {
        goto _block1__branch2;
      }
      if (!_c_63.term_eq (_v_deref__arg1, 0))
      {
        goto _block1__branch2;
      }
      if (!_v_deref__arg1.symbol_at (2))
      {
        goto _block1__branch2;
      }
      if (!_v_deref__arg1.symbol_at (3))
      {
        goto _block1__branch2;
      }
      Expr _vt_name (_v_deref__arg1, 1, 1);
      Expr _vs_pos (_v_deref__arg1, 2, 1);
      Expr _vs_len (_v_deref__arg1, 3, 1);
      Expr _v_Rfp2Java1;
      RF_CALL (JavaMangle::Rfp2Java, _vt_name, _v_Rfp2Java1);
      _v_res1 = empty;
      _v_res2 = (_c_96 + _v_Rfp2Java1 + _c_64 + _vs_pos + _c_64 + _vs_len + _c_24);
      goto _block1;
    }
  _block1__branch2: {}
    Expr _v_Const_m_Expr_m_Aux1;
    Expr _v_Const_m_Expr_m_Aux2;
    RF_CALL (Const_m_Expr_m_Aux, (empty, _v_arg1), (_v_Const_m_Expr_m_Aux1, _v_Const_m_Expr_m_Aux2));
    {
      {
        if (((_v_Const_m_Expr_m_Aux2.get_len () + 1) != 2))
        {
          goto _block2__branch1;
        }
        Expr _v_compose1 ((_v_Const_m_Expr_m_Aux1 () + _v_Const_m_Expr_m_Aux2));
        if (_v_compose1.symbol_at (0))
        {
          goto _block2__branch1;
        }
        if (_v_compose1.symbol_at (1))
        {
          goto _block2__branch1;
        }
        Expr _v_deref__compose1 (_v_compose1, 0);
        Expr _v_deref__compose12 (_v_compose1, 1);
        uintptr_t _v_len1 = _v_deref__compose12.get_len ();
        uintptr_t _v_len2 = 0;
        if ((_v_len1 < _v_len2))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len__1 = (_v_len1 - _v_len2);
        uintptr_t _v_len3 = _v_deref__compose1.get_len ();
        uintptr_t _v_len4 = 0;
        if ((_v_len3 < _v_len4))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len__arrays = (_v_len3 - _v_len4);
        Expr _ve_arrays (_v_deref__compose1, 0, _v_len__arrays);
        Expr _ve_1 (_v_deref__compose12, 0, _v_len__1);
        _v_res1 = _ve_arrays;
        _v_res2 = _ve_1;
        goto _block2;
      }
    _block2__branch1: {}
      {
        if (((_v_Const_m_Expr_m_Aux2.get_len () + 1) != 3))
        {
          goto _block2__branch2;
        }
        Expr _v_compose2 ((_v_Const_m_Expr_m_Aux1 () + _v_Const_m_Expr_m_Aux2));
        if (_v_compose2.symbol_at (0))
        {
          goto _block2__branch2;
        }
        if (_v_compose2.symbol_at (1))
        {
          goto _block2__branch2;
        }
        if (_v_compose2.symbol_at (2))
        {
          goto _block2__branch2;
        }
        Expr _v_deref__compose2 (_v_compose2, 0);
        Expr _v_deref__compose22 (_v_compose2, 1);
        Expr _v_deref__compose23 (_v_compose2, 2);
        uintptr_t _v_len5 = _v_deref__compose2.get_len ();
        uintptr_t _v_len6 = 0;
        if ((_v_len5 < _v_len6))
        {
          goto _block2__branch2;
        }
        uintptr_t _v_len__arrays2 = (_v_len5 - _v_len6);
        uintptr_t _v_len7 = _v_deref__compose23.get_len ();
        uintptr_t _v_len8 = 0;
        if ((_v_len7 < _v_len8))
        {
          goto _block2__branch2;
        }
        uintptr_t _v_len__2 = (_v_len7 - _v_len8);
        uintptr_t _v_len9 = _v_deref__compose22.get_len ();
        uintptr_t _v_len10 = 0;
        if ((_v_len9 < _v_len10))
        {
          goto _block2__branch2;
        }
        uintptr_t _v_len__12 = (_v_len9 - _v_len10);
        Expr _ve_arrays (_v_deref__compose2, 0, _v_len__arrays2);
        Expr _ve_1 (_v_deref__compose22, 0, _v_len__12);
        Expr _ve_2 (_v_deref__compose23, 0, _v_len__2);
        _v_res1 = _ve_arrays;
        _v_res2 = (_c_96 + _ve_1 + _c_64 + _ve_2 + _c_24);
        goto _block2;
      }
    _block2__branch2: {}
      uintptr_t _v_len11 = (_v_Const_m_Expr_m_Aux2.get_len () + 1);
      uintptr_t _v_len12 = 1;
      if ((_v_len11 < _v_len12))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
      uintptr_t _v_len__concat = (_v_len11 - _v_len12);
      Expr _v_compose3 ((_v_Const_m_Expr_m_Aux1 () + _v_Const_m_Expr_m_Aux2));
      if (_v_compose3.symbol_at (0))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
      Expr _v_deref__compose3 (_v_compose3, 0);
      uintptr_t _v_len13 = _v_deref__compose3.get_len ();
      uintptr_t _v_len14 = 0;
      if ((_v_len13 < _v_len14))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
      uintptr_t _v_len__arrays3 = (_v_len13 - _v_len14);
      Expr _ve_concat (_v_compose3, 1, _v_len__concat);
      Expr _ve_arrays (_v_deref__compose3, 0, _v_len__arrays3);
      Expr _v_Free_m_Index1;
      RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
      Expr _ve_new_m_var ((_c_43 + _v_Free_m_Index1));
      Expr _v_Intersperse1;
      RF_CALL (List::Intersperse, (_c_64, _ve_concat), _v_Intersperse1);
      Expr _v_Concat1;
      RF_CALL (List::Concat, _v_Intersperse1, _v_Concat1);
      _v_res1 = (_ve_arrays + (_c_143 + _ve_new_m_var + _c_100 + _v_Concat1 + _c_99) ());
      _v_res2 = (_c_102 + _ve_new_m_var + _c_24);
    }
  _block2: {}
  }
_block1: {}
RF_END

RF_FUNC (Const_m_Expr_m_Aux, (RF_ARG _ve_accum, _ve_expr;;), (RF_RES _v_res1, _v_res2;;))
  {
    {
      uintptr_t _v_len1 = _ve_expr.get_len ();
      uintptr_t _v_len2 = 1;
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
      if (!_ve_expr.symbol_at (0))
      {
        goto _block1__branch1;
      }
      Expr _vs_sym (_ve_expr, 0, 1);
      Expr _ve_rest (_ve_expr, 1, _v_len__rest);
      if (!RF_CALL (Class::Char_q_, _vs_sym, /*void*/))
      {
        goto _block1__branch1;
      }
      Expr _v_Symbol_m_To_m_Java1;
      RF_CALL (Symbol_m_To_m_Java, _vs_sym, _v_Symbol_m_To_m_Java1);
      RF_TAILCALL (Const_m_Expr_m_Aux, ((_ve_accum + _v_Symbol_m_To_m_Java1), _ve_rest), (_v_res1, _v_res2));
      goto _block1;
    }
  _block1__branch1: {}
    {
      uintptr_t _v_len3 = _ve_accum.get_len ();
      uintptr_t _v_len4 = 0;
      if ((_v_len3 < (_v_len4 + 1)))
      {
        goto _block1__branch2;
      }
      uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_414_m_14 = (_v_len3 - _v_len4);
      Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_414_m_14 (_ve_accum, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_414_m_14);
      Expr _ve_arrays;
      Expr _ve_j_m_expr;
      RF_CALL (Const_m_Expr_m_Aux, (empty, _ve_expr), (_ve_arrays, _ve_j_m_expr));
      _v_res1 = _ve_arrays;
      _v_res2 = ((_c_145 + _ve_accum + _c_144) () + _ve_j_m_expr);
      goto _block1;
    }
  _block1__branch2: {}
    {
      uintptr_t _v_len5 = _ve_expr.get_len ();
      uintptr_t _v_len6 = 1;
      if ((_v_len5 < _v_len6))
      {
        goto _block1__branch3;
      }
      uintptr_t _v_len__rest2 = (_v_len5 - _v_len6);
      Expr _vt_item (_ve_expr, 0, 1);
      Expr _ve_rest (_ve_expr, 1, _v_len__rest2);
      Expr _ve_arrays;
      Expr _ve_java_m_item;
      {
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch1;
          }
          Expr _v_deref__item (_vt_item, 0);
          uintptr_t _v_len7 = _v_deref__item.get_len ();
          uintptr_t _v_len8 = 1;
          if ((_v_len7 < _v_len8))
          {
            goto _block2__branch1;
          }
          uintptr_t _v_len__paren_m_expr = (_v_len7 - _v_len8);
          if (!_c_89.term_eq (_v_deref__item, 0))
          {
            goto _block2__branch1;
          }
          Expr _ve_paren_m_expr (_v_deref__item, 1, _v_len__paren_m_expr);
          Expr _v_arrays__1;
          Expr _ve_j_m_expr;
          RF_CALL (Const_m_Expr_m_To_m_Java, _ve_paren_m_expr, (_v_arrays__1, _ve_j_m_expr));
          _ve_arrays = _v_arrays__1;
          _ve_java_m_item = (_c_96 + _ve_j_m_expr + _c_24) ();
          goto _block2;
        }
      _block2__branch1: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch2;
          }
          Expr _v_deref__item2 (_vt_item, 0);
          if ((_v_deref__item2.get_len () != 2))
          {
            goto _block2__branch2;
          }
          if (!_c_105.term_eq (_v_deref__item2, 0))
          {
            goto _block2__branch2;
          }
          Expr _vt_name (_v_deref__item2, 1, 1);
          Expr _v_Name_m_To_m_Java1;
          RF_CALL (Name_m_To_m_Java, _vt_name, _v_Name_m_To_m_Java1);
          _ve_arrays = empty;
          _ve_java_m_item = _v_Name_m_To_m_Java1 ();
          goto _block2;
        }
      _block2__branch2: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch3;
          }
          Expr _v_deref__item3 (_vt_item, 0);
          uintptr_t _v_len9 = _v_deref__item3.get_len ();
          uintptr_t _v_len10 = 1;
          if ((_v_len9 < _v_len10))
          {
            goto _block2__branch3;
          }
          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_423_m_14 = (_v_len9 - _v_len10);
          if (!_c_75.term_eq (_v_deref__item3, 0))
          {
            goto _block2__branch3;
          }
          Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_423_m_14 (_v_deref__item3, 1, _v_len___e__e_tmp_m_rfp__asail__javarf_m_423_m_14);
          Expr _v_Rfp2Java1;
          RF_CALL (JavaMangle::Rfp2Java, _vt_item, _v_Rfp2Java1);
          _ve_arrays = empty;
          _ve_java_m_item = _v_Rfp2Java1 ();
          goto _block2;
        }
      _block2__branch3: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch4;
          }
          Expr _v_deref__item4 (_vt_item, 0);
          if ((_v_deref__item4.get_len () != 2))
          {
            goto _block2__branch4;
          }
          if (!_c_14.term_eq (_v_deref__item4, 0))
          {
            goto _block2__branch4;
          }
          Expr _vt_name (_v_deref__item4, 1, 1);
          Expr _v_Name_m_To_m_Java2;
          RF_CALL (Name_m_To_m_Java, _vt_name, _v_Name_m_To_m_Java2);
          _ve_arrays = empty;
          _ve_java_m_item = (_c_150 + (_c_148 + (_c_147 + _v_Name_m_To_m_Java2 + _c_146) () + _c_5) () + _c_149) ();
          goto _block2;
        }
      _block2__branch4: {}
        {
          if (_vt_item.symbol_at (0))
          {
            goto _block2__branch5;
          }
          Expr _v_deref__item5 (_vt_item, 0);
          if ((_v_deref__item5.get_len () != 2))
          {
            goto _block2__branch5;
          }
          if (!_c_12.term_eq (_v_deref__item5, 0))
          {
            goto _block2__branch5;
          }
          Expr _vt_name (_v_deref__item5, 1, 1);
          Expr _v_Name_m_To_m_Java3;
          RF_CALL (Name_m_To_m_Java, _vt_name, _v_Name_m_To_m_Java3);
          _ve_arrays = empty;
          _ve_java_m_item = (_c_150 + (_c_148 + ((_v_Name_m_To_m_Java3 + _c_146) () + _c_16) () + _c_5) () + _c_149) ();
          goto _block2;
        }
      _block2__branch5: {}
        if (!_vt_item.symbol_at (0))
        {
          RF_FUNC_ERROR (unexpected_fail);
        }
        Expr _vs_sym (_vt_item, 0, 1);
        {
          {
            if (!RF_CALL (Class::Int_q_, _vs_sym, /*void*/))
            {
              goto _block3__branch1;
            }
            {
              {
                Expr _v__q_1;
                RF_CALL (Box::_q_, Int, _v__q_1);
                if ((_v__q_1.get_len () != 1))
                {
                  goto _block4__branch1;
                }
                if (!_c_1.term_eq (_v__q_1, 0))
                {
                  goto _block4__branch1;
                }
                RF_CALL (Table::Bind, (Inputs, _c_151, empty), /*void*/);
                goto _block4;
              }
            _block4__branch1: {}
            }
          _block4: {}
            Expr _v__q_2;
            RF_CALL (Box::_q_, Int, _v__q_2);
            _ve_arrays = empty;
            _ve_java_m_item = (_c_153 + _v__q_2 + _c_81 + _vs_sym + _c_152) ();
            goto _block3;
          }
        _block3__branch1: {}
          if (!RF_CALL (Class::Word_q_, _vs_sym, /*void*/))
          {
            RF_FUNC_ERROR (unexpected_fail);
          }
          Expr _v_Symbol_m_To_m_Java2;
          RF_CALL (Symbol_m_To_m_Java, _vs_sym, _v_Symbol_m_To_m_Java2);
          _ve_arrays = empty;
          _ve_java_m_item = (_c_154 + _v_Symbol_m_To_m_Java2 + _c_152) ();
        }
      _block3: {}
      }
    _block2: {}
      Expr _ve_new_m_arrays;
      Expr _ve_java_m_rest;
      RF_CALL (Const_m_Expr_m_Aux, (empty, _ve_rest), (_ve_new_m_arrays, _ve_java_m_rest));
      _v_res1 = (_ve_arrays + _ve_new_m_arrays);
      _v_res2 = (_ve_java_m_item + _ve_java_m_rest);
      goto _block1;
    }
  _block1__branch3: {}
    _v_res1 = empty;
    _v_res2 = empty;
  }
_block1: {}
RF_END

RF_FUNC (Symbol_m_To_m_Java, (RF_ARG _vs_ObjectSymbol;;), (RF_RES _v_res1;;))
  Expr _ve_symbol;
  RF_CALL (Convert::To_m_Chars, _vs_ObjectSymbol, _ve_symbol);
  Expr _ve_java_m_symbol (empty);
  for ( ; ; )
  {
    {
      if ((_ve_symbol.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_java_m_symbol;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _ve_symbol.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    if (!_ve_symbol.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _vs_char (_ve_symbol, 0, 1);
    Expr _ve_rest (_ve_symbol, 1, _v_len__rest);
    Expr _ve_java_m_char;
    {
      {
        if (!_vs_char.term_eq (_c_155, 0))
        {
          goto _block3__branch1;
        }
        _ve_java_m_char = _c_156;
        goto _block3;
      }
    _block3__branch1: {}
      {
        if (!_vs_char.term_eq (_c_157, 0))
        {
          goto _block3__branch2;
        }
        _ve_java_m_char = _c_158;
        goto _block3;
      }
    _block3__branch2: {}
      {
        if (!_vs_char.term_eq (_c_159, 0))
        {
          goto _block3__branch3;
        }
        _ve_java_m_char = _c_160;
        goto _block3;
      }
    _block3__branch3: {}
      {
        if (!_vs_char.term_eq (_c_161, 0))
        {
          goto _block3__branch4;
        }
        _ve_java_m_char = _c_162;
        goto _block3;
      }
    _block3__branch4: {}
      {
        if (!_vs_char.term_eq (_c_163, 0))
        {
          goto _block3__branch5;
        }
        _ve_java_m_char = _c_164;
        goto _block3;
      }
    _block3__branch5: {}
      if (!_vs_char.symbol_at (0))
      {
        RF_FUNC_ERROR (unexpected_fail);
      }
      Expr _vs__e__e_tmp_m_rfp__asail__javarf_m_462_m_8 (_vs_char, 0, 1);
      _ve_java_m_char = _vs_char;
    }
  _block3: {}
    _ve_symbol = _ve_rest;
    _ve_java_m_symbol = (_ve_java_m_symbol + _ve_java_m_char);
  }
_exit__iter1: {}
RF_END

RF_FUNC (Int_m_Args_m_To_m_Java, (RF_ARG _vs_acc, _ve_args;;), (RF_RES _v_res1;;))
  Expr _v_args__1 (_ve_args);
  Expr _ve_java_m_args (empty);
  for ( ; ; )
  {
    {
      if ((_v_args__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_java_m_args;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_args__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    if (_v_args__1.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_deref__args__1 (_v_args__1, 0);
    uintptr_t _v_len3 = _v_deref__args__1.get_len ();
    uintptr_t _v_len4 = 0;
    if ((_v_len3 < _v_len4))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__arg = (_v_len3 - _v_len4);
    Expr _ve_rest (_v_args__1, 1, _v_len__rest);
    Expr _ve_arg (_v_deref__args__1, 0, _v_len__arg);
    Expr _ve_comma;
    {
      {
        uintptr_t _v_len5 = _v_len__rest;
        uintptr_t _v_len6 = 0;
        if ((_v_len5 < (_v_len6 + 1)))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_474_m_19 = (_v_len5 - _v_len6);
        Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_474_m_19 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_474_m_19);
        _ve_comma = _c_64;
        goto _block2;
      }
    _block2__branch1: {}
      _ve_comma = empty;
    }
  _block2: {}
    Expr _v_Expr_m_Int_m_To_m_Java1;
    RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_arg), _v_Expr_m_Int_m_To_m_Java1);
    _v_args__1 = _ve_rest;
    _ve_java_m_args = (_ve_java_m_args + _v_Expr_m_Int_m_To_m_Java1 + _ve_comma);
  }
_exit__iter1: {}
RF_END

RF_FUNC (Var_m_Args_m_To_m_Java, (RF_ARG _ve_args;;), (RF_RES _v_res1;;))
  Expr _v_args__1 (_ve_args);
  Expr _ve_java_m_args (empty);
  for ( ; ; )
  {
    {
      if ((_v_args__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_java_m_args;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_args__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    Expr _vt_arg (_v_args__1, 0, 1);
    Expr _ve_rest (_v_args__1, 1, _v_len__rest);
    Expr _ve_comma;
    {
      {
        uintptr_t _v_len3 = _v_len__rest;
        uintptr_t _v_len4 = 0;
        if ((_v_len3 < (_v_len4 + 1)))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_486_m_19 = (_v_len3 - _v_len4);
        Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_486_m_19 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_486_m_19);
        _ve_comma = _c_64;
        goto _block2;
      }
    _block2__branch1: {}
      _ve_comma = empty;
    }
  _block2: {}
    Expr _v_Rfp2Java1;
    RF_CALL (JavaMangle::Rfp2Java, _vt_arg, _v_Rfp2Java1);
    _v_args__1 = _ve_rest;
    _ve_java_m_args = (_ve_java_m_args + _c_49 + _v_Rfp2Java1 + _ve_comma);
  }
_exit__iter1: {}
RF_END

RF_FUNC (Expr_m_Args_m_To_m_Java, (RF_ARG _ve_args;;), (RF_RES _v_res1, _v_res2;;))
  Expr _v_args__1 (_ve_args);
  Expr _ve_java_m_args (empty);
  Expr _ve_arrays (empty);
  for ( ; ; )
  {
    {
      if ((_v_args__1.get_len () != 0))
      {
        goto _iter1;
      }
      _v_res1 = _ve_arrays;
      _v_res2 = _ve_java_m_args;
      goto _exit__iter1;
    }
  _iter1: {}
    uintptr_t _v_len1 = _v_args__1.get_len ();
    uintptr_t _v_len2 = 1;
    if ((_v_len1 < _v_len2))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    if (_v_args__1.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_deref__args__1 (_v_args__1, 0);
    uintptr_t _v_len3 = _v_deref__args__1.get_len ();
    uintptr_t _v_len4 = 0;
    if ((_v_len3 < _v_len4))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    uintptr_t _v_len__arg = (_v_len3 - _v_len4);
    Expr _ve_rest (_v_args__1, 1, _v_len__rest);
    Expr _ve_arg (_v_deref__args__1, 0, _v_len__arg);
    Expr _ve_comma;
    {
      {
        uintptr_t _v_len5 = _v_len__rest;
        uintptr_t _v_len6 = 0;
        if ((_v_len5 < (_v_len6 + 1)))
        {
          goto _block2__branch1;
        }
        uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_498_m_19 = (_v_len5 - _v_len6);
        Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_498_m_19 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_498_m_19);
        _ve_comma = _c_64;
        goto _block2;
      }
    _block2__branch1: {}
      _ve_comma = empty;
    }
  _block2: {}
    Expr _ve_a;
    Expr _ve_j_m_arg;
    RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_arg, (_ve_a, _ve_j_m_arg));
    _v_args__1 = _ve_rest;
    _ve_java_m_args = (_ve_java_m_args + _ve_j_m_arg + _ve_comma);
    _ve_arrays = (_ve_arrays + _ve_a);
  }
_exit__iter1: {}
RF_END

RF_FUNC (Name_m_To_m_Java, (RF_ARG _vt_obj_m_name;;), (RF_RES _v_res1;;))
  Expr _ve_qualifiers;
  Expr _ve_name;
  RF_CALL (rfp__helper::RFP_m_Extract_m_Qualifiers, _vt_obj_m_name, (_ve_qualifiers, _ve_name));
  Expr _ve_namespace;
  RF_CALL (Box::_q_, Current_m_Namespace, _ve_namespace);
  {
    {
      uintptr_t _v_len1 = _ve_qualifiers.get_len ();
      uintptr_t _v_len2 = _ve_namespace.get_len ();
      if ((_v_len1 < _v_len2))
      {
        goto _block1__branch1;
      }
      uintptr_t _v_len__cont = (_v_len1 - _v_len2);
      if (!_ve_namespace.eq (_ve_qualifiers, 0))
      {
        goto _block1__branch1;
      }
      Expr _ve_cont (_ve_qualifiers, _ve_namespace.get_len (), _v_len__cont);
      RF_TAILCALL (JavaMangle::Rfp2Java, (_ve_cont + _ve_name), _v_res1);
      goto _block1;
    }
  _block1__branch1: {}
    RF_CALL (Table::Bind, (Inputs, _ve_qualifiers, empty), /*void*/);
    RF_TAILCALL (JavaMangle::Rfp2Java, (_ve_qualifiers + _ve_name) (), _v_res1);
  }
_block1: {}
RF_END

RF_FUNC (Access_m_Mode, (RF_ARG _vt_name;;), (RF_RES _v_res1;;))
  {
    {
      Expr _v__q_1;
      RF_CALL (Box::_q_, Exports, _v__q_1);
      if ((_v__q_1.get_len () < 1))
      {
        goto _block1__branch1;
      }
      RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_517_m_19, _v_lsplit___q_1);
      for ( ; ; RF_iter(_v__q_1)++)
      {
        {
          if (!RF_iter(_v__q_1))
          {
            goto _block1__branch1;
          }
          uintptr_t _v_len1 = _v_lsplit___q_1.get_len ();
          uintptr_t _v_len2 = 1;
          if ((_v_len1 < _v_len2))
          {
            goto _block1__branch1;
          }
          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_517_m_28 = (_v_len1 - _v_len2);
          if (!_vt_name.term_eq (_v_lsplit___q_1, 0))
          {
            goto _continue1;
          }
          Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_517_m_28 (_v_lsplit___q_1, 1, _v_len___e__e_tmp_m_rfp__asail__javarf_m_517_m_28);
          _v_res1 = _c_165;
          goto _exit1;
        }
    _continue1: {}
      }
    _exit1: {}
      goto _block1;
    }
  _block1__branch1: {}
    _v_res1 = _c_166;
  }
_block1: {}
RF_END

RF_FUNC (Free_m_Index, RF_VOID, (RF_RES _v_res1;;))
  Expr _v__q_1;
  RF_CALL (Box::_q_, Free_m_Idx, _v__q_1);
  Expr _vs_idx;
  {
    {
      if ((_v__q_1.get_len () != 0))
      {
        goto _block1__branch1;
      }
      _vs_idx = _c_167;
      goto _block1;
    }
  _block1__branch1: {}
    if ((_v__q_1.get_len () != 1))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    if (!_v__q_1.symbol_at (0))
    {
      RF_FUNC_ERROR (unexpected_fail);
    }
    Expr _v_idx__1 (_v__q_1, 0, 1);
    RF_CALL (Arithm::_p_, (_v_idx__1, _c_167), _vs_idx);
  }
_block1: {}
  RF_CALL (Box::Store, (Free_m_Idx, _vs_idx), /*void*/);
  _v_res1 = _vs_idx;
RF_END

RF_FUNC (Cond_m_To_m_Java__0, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  uintptr_t _v_len1 = _v_arg1.get_len ();
  uintptr_t _v_len2 = 1;
  if (((_v_len1 < (_v_len2 + (0 * 1)))))
  {
    RF_ERROR (_c_168);
  }
  if (((_v_len1 - _v_len2) % 1))
  {
    RF_ERROR (_c_168);
  }
  uintptr_t _v_len__stub1 = ((_v_len1 - _v_len2) / 1);
  if (!_v_arg1.symbol_at (0))
  {
    RF_ERROR (_c_168);
  }
  Expr _v_stub2 (_v_arg1, 0, 1);
  Expr _v_stub1 (_v_arg1, (0 + 1), _v_len__stub1);
  RF_TAILCALL (Cond_m_To_m_Java, (_v_stub2, _v_stub1), _v_res1);
RF_END

RF_FUNC (Term_m_Ref_m_To_m_Java__0, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  if ((_v_arg1.get_len () != (1 + 1)))
  {
    RF_ERROR (_c_168);
  }
  if (!_v_arg1.symbol_at (0))
  {
    RF_ERROR (_c_168);
  }
  Expr _v_stub1 (_v_arg1, 0, 1);
  Expr _v_stub2 (_v_arg1, (0 + 1), 1);
  RF_TAILCALL (Term_m_Ref_m_To_m_Java, (_v_stub1, _v_stub2), _v_res1);
RF_END

RF_FUNC (Expr_m_Int_m_To_m_Java__0, (RF_ARG _v_arg1;;), (RF_RES _v_res1;;))
  uintptr_t _v_len1 = _v_arg1.get_len ();
  uintptr_t _v_len2 = 1;
  if (((_v_len1 < (_v_len2 + (0 * 1)))))
  {
    RF_ERROR (_c_168);
  }
  if (((_v_len1 - _v_len2) % 1))
  {
    RF_ERROR (_c_168);
  }
  uintptr_t _v_len__stub1 = ((_v_len1 - _v_len2) / 1);
  if (!_v_arg1.symbol_at (0))
  {
    RF_ERROR (_c_168);
  }
  Expr _v_stub2 (_v_arg1, 0, 1);
  Expr _v_stub1 (_v_arg1, (0 + 1), _v_len__stub1);
  RF_TAILCALL (Expr_m_Int_m_To_m_Java, (_v_stub2, _v_stub1), _v_res1);
RF_END

}

namespace rfp__asail__java
{

static void init_ ()
{
  Int = Expr::create_sym< NamedObject<BoxContents> >(L"Int");
  Exports = Expr::create_sym< NamedObject<BoxContents> >(L"Exports");
  Inputs = new rftype::StaticObject<rftype::Table>(L"Inputs");
  Module_m_Name = Expr::create_sym< NamedObject<BoxContents> >(L"Module-Name");
  Entry = Expr::create_sym< NamedObject<BoxContents> >(L"Entry");
  Entry_m_Name = Expr::create_sym< NamedObject<BoxContents> >(L"Entry-Name");
  Current_m_Namespace = Expr::create_sym< NamedObject<BoxContents> >(L"Current-Namespace");
  Func_m_Name = Expr::create_sym< NamedObject<BoxContents> >(L"Func-Name");
  Ress = Expr::create_sym< NamedObject<BoxContents> >(L"Ress");
  Iter_m_Vars = new rftype::StaticObject<rftype::Table>(L"Iter-Vars");
  Free_m_Idx = Expr::create_sym< NamedObject<BoxContents> >(L"Free-Idx");
  _c_0 = Expr::create<Word>("INT");
  _c_1 = Expr::create<Word>("BigInteger");
  _c_2 = Expr::create<Word>("Main");
  _c_169 = Char::create_expr ("System.out.println (\"$error: \" + e);");
  _c_3 = Expr (_c_169, 6, 1);
  _c_4 = Char::create_expr (" (new Expr ());");
  _c_170 = Char::create_expr ("catch (RefalException e) {") + (_c_169) () + Char::create_expr ("}");
  _c_5 = Expr (_c_170, 27, 1);
  _c_6 = Char::create_expr ("try {");
  _c_7 = (_c_170) ();
  _c_8 = Char::create_expr ("public static void main (java.lang.String[] args) {");
  _c_9 = (empty) ();
  _c_10 = Char::create_expr ("\n{");
  _c_11 = Char::create_expr ("public class ");
  _c_12 = Expr::create<Word>("FUNC");
  _c_13 = Expr (_c_8, 14, 4);
  _c_14 = Expr::create<Word>("FUNC?");
  _c_148 = Char::create_expr ("public boolean eval (Expr arg, Expr res) throws RefalException {");
  _c_15 = Expr (_c_148, 7, 7);
  _c_171 = Char::create_expr ("return true;");
  _c_16 = (_c_171) ();
  _c_17 = Expr (_c_148, 39, 23);
  _c_18 = Expr (_c_4, 0, 2);
  _c_19 = Expr (_c_18, 0, 1);
  _c_20 = Expr (_c_8, 7, 7);
  _c_21 = Expr (_c_10, 1, 1);
  _c_22 = Expr::create<Word>("TRACE");
  _c_23 = Expr::create<Word>("IF");
  _c_24 = Expr (_c_17, 0, 1);
  _c_87 = Char::create_expr ("if (!");
  _c_25 = Expr (_c_87, 0, 4);
  _c_26 = Expr::create<Word>("FOR");
  _c_27 = Expr::create<Word>("LABEL");
  _c_28 = Expr (_c_169, 27, 2);
  _c_30 = Char::create_expr ("for ( ; ");
  _c_29 = Expr (_c_30, 6, 2);
  _c_31 = Char::create_expr (": {");
  _c_32 = Expr::create<Word>("TRY");
  _c_33 = (Expr (_c_6, 0, 3)) ();
  _c_34 = Expr::create<Word>("CATCH-ERROR");
  _c_172 = Char::create_expr ("Expr err = error.getExpr ();");
  _c_35 = Char::create_expr ("catch (RefalException error) {") + (_c_172) ();
  _c_36 = Expr::create<Word>("RETFAIL");
  _c_173 = Char::create_expr ("return false;");
  _c_86 = Char::create_expr (") {") + (_c_173) () + Char::create_expr ("}");
  _c_37 = Expr (_c_86, 3, 1);
  _c_38 = Expr::create<Word>("FATAL");
  _c_39 = Char::create_expr ("\", \"Unexpected fail\");");
  _c_40 = Expr (_c_39, 0, 4);
  _c_41 = Char::create_expr ("throw new RefalException (\"");
  _c_42 = Expr::create<Word>("LSPLIT");
  _c_43 = Char::create_expr ("_va_");
  _c_44 = Expr (_c_39, 20, 2);
  _c_45 = Char::create_expr (".leftSplit(");
  _c_46 = Expr (_c_172, 8, 3);
  _c_47 = Char::create_expr ("Expr.SplitIterator ");
  _c_48 = Char::create_expr (".getLeft();");
  _c_49 = Expr (_c_4, 6, 5);
  _c_50 = Char::create_expr (".getRight();");
  _c_51 = Expr::create<Word>("RSPLIT");
  _c_52 = Char::create_expr (".rightSplit(");
  _c_53 = Expr::create<Word>("ASSIGN");
  _c_54 = Char::create_expr (".assign (");
  _c_55 = Expr (_c_44, 1, 1);
  _c_56 = Expr::create<Word>("DECL");
  _c_57 = Char::create_expr (" = new Expr ();");
  _c_58 = Char::create_expr ("int ");
  _c_59 = Expr::create<Word>("EXPR");
  _c_60 = Expr::create<Word>("DEREF");
  _c_61 = Char::create_expr (".at (");
  _c_62 = Char::create_expr (" = (Expr) ");
  _c_63 = Expr::create<Word>("SUBEXPR");
  _c_64 = Expr (_c_40, 1, 2);
  _c_65 = Expr (_c_57, 0, 13);
  _c_66 = Expr::create<Word>("DROP");
  _c_67 = Char::create_expr (".drop ();");
  _c_68 = Expr::create<Word>("CONTINUE");
  _c_69 = Char::create_expr ("continue ");
  _c_70 = Expr::create<Word>("BREAK");
  _c_71 = Char::create_expr ("break ");
  _c_72 = Expr::create<Word>("ERROR");
  _c_73 = Expr (_c_41, 0, 26);
  _c_74 = Expr::create<Word>("CONSTEXPR");
  _c_75 = Expr::create<Word>("STATIC");
  _c_76 = Char::create_expr (" final Expr ");
  _c_77 = Expr::create<Word>("OBJ");
  _c_78 = Char::create_expr ("Named");
  _c_79 = Char::create_expr ("org.refal.plus.library.");
  _c_80 = Char::create_expr ("\"));");
  _c_81 = Expr (_c_41, 24, 3);
  _c_82 = Char::create_expr (" = new Expr (new ");
  _c_83 = Expr::create<Word>("DECL-OBJ");
  _c_84 = Expr::create<Word>("DECL-FUNC");
  _c_85 = Expr::create<Word>("TAILCALL?");
  _c_88 = Char::create_expr (" = new Expr(");
  _c_89 = Expr::create<Word>("PAREN");
  _c_90 = Expr::create<Word>("LENGTH");
  _c_91 = Expr::create<Word>("XXX");
  _c_92 = Expr::create<Word>("MAX");
  _c_93 = Expr::create<Word>("MIN");
  _c_94 = Expr::create<Word>("INFIX");
  _c_95 = Char::create_expr ("Expr.empty");
  _c_96 = Expr (_c_65, 3, 10);
  _c_97 = Expr::create_sym<Func> (Term_m_Ref_m_To_m_Java__0);
  _c_98 = Expr::create<Word>(",");
  _c_99 = Char::create_expr (" };");
  _c_100 = Char::create_expr (" = { ");
  _c_143 = Char::create_expr ("static private final Expr[] ");
  _c_101 = Expr (_c_143, 21, 7);
  _c_102 = Char::create_expr ("Expr.concat (");
  _c_103 = Expr (_c_88, 3, 9);
  _c_104 = Expr (_c_62, 3, 7);
  _c_105 = Expr::create<Word>("REF");
  _c_106 = Expr::create<Word>("ERROR-EXPR");
  _c_107 = Expr (_c_172, 5, 3);
  _c_108 = Expr::create<Word>("Illegal int-symbol: ");
  _c_109 = Char::create_expr (".getLen ()");
  _c_110 = Char::create_expr ("java.lang.Math.max (");
  _c_111 = Char::create_expr ("java.lang.Math.min (");
  _c_112 = Expr::create_sym<Func> (Expr_m_Int_m_To_m_Java__0);
  _c_113 = Expr (_c_18, 1, 1);
  _c_114 = Expr::create<Word>("+");
  _c_115 = Expr::create<Word>("CALL");
  _c_116 = Expr::create<Word>("SYMBOL?");
  _c_117 = Char::create_expr (".symbolAt (");
  _c_118 = Expr::create<Word>("CHECK-ITER");
  _c_119 = Char::create_expr (".isValid ()");
  _c_120 = Expr::create<Word>("EQ");
  _c_121 = Char::create_expr (".eq (");
  _c_122 = Expr::create<Word>("TERM-EQ");
  _c_123 = Expr::create<Word>("NOT");
  _c_124 = Expr (_c_87, 4, 1);
  _c_125 = Expr::create<Word>("-");
  _c_126 = Expr::create<Word>("%");
  _c_127 = Expr::create<Word>("*");
  _c_128 = Expr::create<Word>("/");
  _c_129 = Char::create_expr (" != 0");
  _c_130 = Expr::create_sym<Func> (Cond_m_To_m_Java__0);
  _c_131 = Expr::create<Word>("&&");
  _c_132 = Expr::create<Word>("||");
  _c_133 = Expr::create<Word>("<");
  _c_134 = Expr::create<Word>(">");
  _c_135 = Expr::create<Word>("<=");
  _c_136 = Expr::create<Word>(">=");
  _c_137 = Expr::create<Word>("==");
  _c_138 = Expr::create<Word>("!=");
  _c_139 = Expr::create<Word>("INC-ITER");
  _c_140 = Char::create_expr (".next ()");
  _c_141 = Expr::create<Word>("DEC-ITER");
  _c_142 = Char::create_expr (".prev ()");
  _c_144 = Expr (_c_80, 0, 2);
  _c_145 = Char::create_expr ("Expr.fromSequence (\"");
  _c_146 = Char::create_expr (" (arg, res);");
  _c_147 = Expr (_c_171, 0, 7);
  _c_149 = Char::create_expr ("})");
  _c_150 = Char::create_expr ("new Expr (new Func () {");
  _c_151 = Char::create_expr ("java.math.BigInteger");
  _c_152 = Expr (_c_80, 0, 3);
  _c_153 = Expr (_c_82, 3, 14);
  _c_154 = Char::create_expr ("new Expr (new Word (\"");
  _c_156 = Char::create_expr ("\\\\");
  _c_155 = Expr (_c_156, 0, 1);
  _c_157 = Expr (_c_10, 0, 1);
  _c_158 = Char::create_expr ("\\n");
  _c_159 = Char::create_expr ("\t");
  _c_160 = Char::create_expr ("\\t");
  _c_161 = Char::create_expr ("\r");
  _c_162 = Char::create_expr ("\\r");
  _c_163 = Expr (_c_144, 0, 1);
  _c_164 = Char::create_expr ("\\\"");
  _c_165 = Expr (_c_148, 0, 6);
  _c_166 = Expr (_c_143, 7, 7);
  _c_167 = Expr::create<Integer>("1");
  _c_168 = Expr::create<Word>("Apply") + Expr::create<Word>("Apply") + Expr::create<Word>("Unexpected fail");
}

static AtStart init_registrator_ (&init_);

}

}