Changeset 2367


Ignore:
Timestamp:
Feb 10, 2007, 5:29:11 AM (14 years ago)
Author:
orlov
Message:
  • Fresh-generated compiler sources in C++.
Location:
to-imperative/trunk/c++/compiler
Files:
11 edited

Legend:

Unmodified
Added
Removed
  • to-imperative/trunk/c++/compiler/rfp_asail2asail.cc

    r2364 r2367  
    26562656  _c_24 = Expr::create<rftype::Word>("RSPLIT");
    26572657  _c_25 = Expr::create<rftype::Word>("Split");
    2658   _c_26 = Char::create_expr (L"dd");
     2658  _c_26 = rftype::Char::create_expr (L"dd");
    26592659  _c_40 = Expr::create<rftype::Word>("INFIX") + Expr::create<rftype::Word>("+");
    26602660  _c_27 = Expr (_c_40, 0, 1);
  • to-imperative/trunk/c++/compiler/rfp_asail_cpp.cc

    r2364 r2367  
    52805280  _c_2 = Expr::create<rftype::Word>("ENTRIES");
    52815281  _c_3 = Expr::create<rftype::Word>("Main");
    5282   _c_177 = Char::create_expr (L"static AtStart init_registrator_ (&init_);");
    5283   _c_39 = Char::create_expr (L": {}");
     5282  _c_177 = rftype::Char::create_expr (L"static AtStart init_registrator_ (&init_);");
     5283  _c_39 = rftype::Char::create_expr (L": {}");
    52845284  _c_7 = Expr (_c_39, 3, 1);
    52855285  _c_9 = (_c_177) () + (_c_7) ();
    52865286  _c_4 = Expr (_c_9, 1, 1);
    52875287  _c_5 = Expr (_c_177, 40, 2);
    5288   _c_6 = Char::create_expr (L"rfrt::Entry rf_entry (");
    5289   _c_8 = Char::create_expr (L"static void init_ ()\n{");
     5288  _c_6 = rftype::Char::create_expr (L"rfrt::Entry rf_entry (");
     5289  _c_8 = rftype::Char::create_expr (L"static void init_ ()\n{");
    52905290  _c_10 = Expr (_c_177, 41, 1);
    5291   _c_11 = Char::create_expr (L" = ");
    5292   _c_178 = Char::create_expr (L"namespace refal\n{");
    5293   _c_12 = (_c_178) () + (Char::create_expr (L"using namespace rfrt;")) ();
     5291  _c_11 = rftype::Char::create_expr (L" = ");
     5292  _c_178 = rftype::Char::create_expr (L"namespace refal\n{");
     5293  _c_12 = (_c_178) () + (rftype::Char::create_expr (L"using namespace rfrt;")) ();
    52945294  _c_69 = Expr::create<rftype::Word>("CONSTEXPR") + Expr::create<rftype::Word>("IMPORT");
    52955295  _c_13 = Expr (_c_69, 1, 1);
     
    53015301  _c_18 = Expr (_c_71, 1, 1);
    53025302  _c_19 = Expr (_c_8, 7, 4);
    5303   _c_20 = Char::create_expr (L"boolean");
    5304   _c_21 = (Char::create_expr (L"return true;")) ();
     5303  _c_20 = rftype::Char::create_expr (L"boolean");
     5304  _c_21 = (rftype::Char::create_expr (L"return true;")) ();
    53055305  _c_22 = Expr::create<rftype::Word>("TRACEALL");
    5306   _c_64 = Char::create_expr (L".drop ();");
     5306  _c_64 = rftype::Char::create_expr (L".drop ();");
    53075307  _c_23 = Expr (_c_64, 0, 1);
    5308   _c_24 = Char::create_expr (L"RF_ARG ");
     5308  _c_24 = rftype::Char::create_expr (L"RF_ARG ");
    53095309  _c_157 = (empty) () + Expr::create<rftype::Word>("Vars");
    53105310  _c_25 = Expr (_c_157, 1, 1);
    5311   _c_26 = Char::create_expr (L"RF_RES ");
    5312   _c_27 = Char::create_expr (L"RF_END");
     5311  _c_26 = rftype::Char::create_expr (L"RF_RES ");
     5312  _c_27 = rftype::Char::create_expr (L"RF_END");
    53135313  _c_28 = Expr (_c_5, 0, 1);
    5314   _c_167 = Char::create_expr (L" <<<\\n\", rfrt::stack->get_depth());");
     5314  _c_167 = rftype::Char::create_expr (L" <<<\\n\", rfrt::stack->get_depth());");
    53155315  _c_29 = Expr (_c_167, 7, 2);
    5316   _c_30 = Char::create_expr (L"RF_FUNC (");
     5316  _c_30 = rftype::Char::create_expr (L"RF_FUNC (");
    53175317  _c_31 = Expr::create<rftype::Word>("TRACE");
    53185318  _c_32 = Expr::create<rftype::Word>("IF-INT-CMP");
    53195319  _c_33 = Expr (_c_29, 1, 1);
    5320   _c_89 = Char::create_expr (L"if (RF_CALL (");
     5320  _c_89 = rftype::Char::create_expr (L"if (RF_CALL (");
    53215321  _c_34 = Expr (_c_89, 0, 4);
    53225322  _c_35 = Expr (_c_178, 16, 1);
     
    53245324  _c_37 = Expr::create<rftype::Word>("FOR");
    53255325  _c_38 = Expr::create<rftype::Word>("LABEL");
    5326   _c_40 = Char::create_expr (L"for ( ; ; ");
     5326  _c_40 = rftype::Char::create_expr (L"for ( ; ; ");
    53275327  _c_41 = Expr::create<rftype::Word>("TRY");
    5328   _c_42 = (Char::create_expr (L"RF_TRAP")) ();
     5328  _c_42 = (rftype::Char::create_expr (L"RF_TRAP")) ();
    53295329  _c_43 = Expr::create<rftype::Word>("CATCH-ERROR");
    5330   _c_44 = (Char::create_expr (L"RF_CLEANUP;")) ();
    5331   _c_45 = (Char::create_expr (L"RF_WITH")) ();
     5330  _c_44 = (rftype::Char::create_expr (L"RF_CLEANUP;")) ();
     5331  _c_45 = (rftype::Char::create_expr (L"RF_WITH")) ();
    53325332  _c_46 = Expr::create<rftype::Word>("RETURN");
    53335333  _c_47 = Expr::create<rftype::Word>("RETFAIL");
    5334   _c_179 = Char::create_expr (L"else RF_RETFAIL;");
     5334  _c_179 = rftype::Char::create_expr (L"else RF_RETFAIL;");
    53355335  _c_48 = (Expr (_c_179, 5, 11)) ();
    53365336  _c_49 = Expr::create<rftype::Word>("FATAL");
    5337   _c_50 = (Char::create_expr (L"RF_FUNC_ERROR (unexpected_fail);")) ();
     5337  _c_50 = (rftype::Char::create_expr (L"RF_FUNC_ERROR (unexpected_fail);")) ();
    53385338  _c_51 = Expr::create<rftype::Word>("LSPLIT");
    5339   _c_52 = Char::create_expr (L"RF_lsplit (");
     5339  _c_52 = rftype::Char::create_expr (L"RF_lsplit (");
    53405340  _c_53 = Expr::create<rftype::Word>("RSPLIT");
    5341   _c_54 = Char::create_expr (L"RF_rsplit (");
     5341  _c_54 = rftype::Char::create_expr (L"RF_rsplit (");
    53425342  _c_55 = Expr::create<rftype::Word>("ASSIGN");
    53435343  _c_56 = Expr::create<rftype::Word>("DECL");
    5344   _c_82 = Char::create_expr (L"extern Expr ");
     5344  _c_82 = rftype::Char::create_expr (L"extern Expr ");
    53455345  _c_57 = Expr (_c_82, 7, 5);
    5346   _c_58 = Char::create_expr (L"uintptr_t ");
     5346  _c_58 = rftype::Char::create_expr (L"uintptr_t ");
    53475347  _c_59 = Expr::create<rftype::Word>("EXPR");
    53485348  _c_60 = Expr (_c_34, 2, 2);
     
    53515351  _c_63 = Expr::create<rftype::Word>("DROP");
    53525352  _c_65 = Expr::create<rftype::Word>("CONTINUE");
    5353   _c_66 = Char::create_expr (L"goto ");
     5353  _c_66 = rftype::Char::create_expr (L"goto ");
    53545354  _c_67 = Expr::create<rftype::Word>("BREAK");
    5355   _c_68 = Char::create_expr (L"RF_ERROR (");
     5355  _c_68 = rftype::Char::create_expr (L"RF_ERROR (");
    53565356  _c_70 = Expr (_c_157, 0, 1);
    53575357  _c_72 = Expr (_c_71, 0, 1);
     
    53605360  _c_75 = Expr::create<rftype::Word>("OBJ");
    53615361  _c_76 = Expr::create<rftype::Word>("BOX");
    5362   _c_170 = Char::create_expr (L"printf(\"  : \");");
     5362  _c_170 = rftype::Char::create_expr (L"printf(\"  : \");");
    53635363  _c_77 = Expr (_c_170, 12, 2);
    5364   _c_78 = Char::create_expr (L"Expr::create_sym< rftype::NamedObject<rftype::BoxContents> >(L\"");
     5364  _c_78 = rftype::Char::create_expr (L"Expr::create_sym< rftype::NamedObject<rftype::BoxContents> >(L\"");
    53655365  _c_79 = Expr (_c_78, 59, 4);
    5366   _c_80 = Char::create_expr (L"new rftype::StaticObject<rftype::");
     5366  _c_80 = rftype::Char::create_expr (L"new rftype::StaticObject<rftype::");
    53675367  _c_81 = Expr::create<rftype::Word>("DECL-OBJ");
    53685368  _c_83 = Expr::create<rftype::Word>("DECL-FUNC");
    5369   _c_84 = Char::create_expr (L"RF_DECL (");
     5369  _c_84 = rftype::Char::create_expr (L"RF_DECL (");
    53705370  _c_85 = Expr::create<rftype::Word>("EXTERN");
    53715371  _c_86 = Expr::create<rftype::Word>("CALL");
     
    53815381  _c_97 = Expr::create<rftype::Word>("MIN");
    53825382  _c_98 = Expr::create<rftype::Word>("INFIX");
    5383   _c_99 = Char::create_expr (L"empty");
     5383  _c_99 = rftype::Char::create_expr (L"empty");
    53845384  _c_100 = Expr::create_sym<rftype::Func> (Term_m_Ref_m_To_m_CPP);
    53855385  _c_101 = Expr::create<rftype::Word>("+");
    53865386  _c_102 = Expr (_c_60, 1, 1);
    53875387  _c_103 = Expr (_c_64, 5, 3);
    5388   _c_104 = Char::create_expr (L"Expr (");
     5388  _c_104 = rftype::Char::create_expr (L"Expr (");
    53895389  _c_105 = Expr::create<rftype::Word>("REF");
    53905390  _c_106 = Expr::create<rftype::Word>("ERROR-EXPR");
    5391   _c_107 = Char::create_expr (L"err");
     5391  _c_107 = rftype::Char::create_expr (L"err");
    53925392  _c_108 = Expr (_c_6, 4, 2);
    5393   _c_145 = Char::create_expr (L" + Expr::create<rftype::Word>(\"");
     5393  _c_145 = rftype::Char::create_expr (L" + Expr::create<rftype::Word>(\"");
    53945394  _c_111 = Expr (_c_145, 3, 28);
    53955395  _c_109 = Expr (_c_111, 25, 3);
    53965396  _c_110 = Expr (_c_111, 0, 13);
    53975397  _c_112 = Expr::create<rftype::Word>("Illegal type int-symbol: ");
    5398   _c_113 = Char::create_expr (L".get_len ()");
     5398  _c_113 = rftype::Char::create_expr (L".get_len ()");
    53995399  _c_114 = Expr::create<rftype::Word>("Ints");
    5400   _c_115 = Char::create_expr (L"pxx_max (");
    5401   _c_116 = Char::create_expr (L"pxx_min (");
     5400  _c_115 = rftype::Char::create_expr (L"pxx_max (");
     5401  _c_116 = rftype::Char::create_expr (L"pxx_min (");
    54025402  _c_117 = Expr::create_sym<rftype::Func> (Expr_m_Int_m_To_m_CPP);
    54035403  _c_118 = Expr::create<rftype::Word>("CALL-FAILS");
    5404   _c_119 = Char::create_expr (L"!RF_CALL (");
     5404  _c_119 = rftype::Char::create_expr (L"!RF_CALL (");
    54055405  _c_120 = Expr::create<rftype::Word>("SYMBOL?");
    5406   _c_121 = Char::create_expr (L".symbol_at (");
     5406  _c_121 = rftype::Char::create_expr (L".symbol_at (");
    54075407  _c_122 = Expr::create<rftype::Word>("FLAT-SUBEXPR?");
    5408   _c_123 = Char::create_expr (L".flat_at (");
     5408  _c_123 = rftype::Char::create_expr (L".flat_at (");
    54095409  _c_124 = Expr::create<rftype::Word>("ITER-FAILS");
    5410   _c_125 = Char::create_expr (L"!RF_iter(");
     5410  _c_125 = rftype::Char::create_expr (L"!RF_iter(");
    54115411  _c_126 = Expr::create<rftype::Word>("EQ");
    5412   _c_127 = Char::create_expr (L".eq (");
     5412  _c_127 = rftype::Char::create_expr (L".eq (");
    54135413  _c_128 = Expr::create<rftype::Word>("TERM-EQ");
    5414   _c_129 = Char::create_expr (L".term_eq (");
     5414  _c_129 = rftype::Char::create_expr (L".term_eq (");
    54155415  _c_130 = Expr::create<rftype::Word>("NOT");
    54165416  _c_131 = Expr (_c_125, 0, 1);
    54175417  _c_132 = Expr::create<rftype::Word>("INC-ITER");
    5418   _c_133 = Char::create_expr (L")++");
     5418  _c_133 = rftype::Char::create_expr (L")++");
    54195419  _c_134 = Expr (_c_125, 1, 8);
    54205420  _c_135 = Expr::create<rftype::Word>("DEC-ITER");
    5421   _c_136 = Char::create_expr (L")--");
    5422   _c_139 = Char::create_expr (L" + Char::create_expr (\"");
     5421  _c_136 = rftype::Char::create_expr (L")--");
     5422  _c_139 = rftype::Char::create_expr (L" + rftype::Char::create_expr (\"");
    54235423  _c_137 = Expr (_c_139, 0, 3);
    54245424  _c_138 = Expr::create<rftype::Integer>("127");
    5425   _c_140 = Char::create_expr (L" + Char::create_expr (L\"");
    5426   _c_141 = Char::create_expr (L") ()");
    5427   _c_142 = Char::create_expr (L" + (");
    5428   _c_143 = Char::create_expr (L" + Expr::create_sym<rftype::Func> (");
     5425  _c_140 = rftype::Char::create_expr (L" + rftype::Char::create_expr (L\"");
     5426  _c_141 = rftype::Char::create_expr (L") ()");
     5427  _c_142 = rftype::Char::create_expr (L" + (");
     5428  _c_143 = rftype::Char::create_expr (L" + Expr::create_sym<rftype::Func> (");
    54295429  _c_144 = Expr (_c_145, 0, 16);
    5430   _c_147 = Char::create_expr (L"\\\\");
     5430  _c_147 = rftype::Char::create_expr (L"\\\\");
    54315431  _c_146 = Expr (_c_147, 0, 1);
    54325432  _c_148 = Expr (_c_178, 15, 1);
    54335433  _c_149 = Expr (_c_167, 4, 2);
    5434   _c_150 = Char::create_expr (L"\t");
    5435   _c_151 = Char::create_expr (L"\\t");
    5436   _c_152 = Char::create_expr (L"\r");
    5437   _c_153 = Char::create_expr (L"\\r");
     5434  _c_150 = rftype::Char::create_expr (L"\t");
     5435  _c_151 = rftype::Char::create_expr (L"\\t");
     5436  _c_152 = rftype::Char::create_expr (L"\r");
     5437  _c_153 = rftype::Char::create_expr (L"\\r");
    54385438  _c_154 = Expr (_c_77, 0, 1);
    5439   _c_155 = Char::create_expr (L"\\\"");
    5440   _c_156 = Char::create_expr (L"RF_VOID");
    5441   _c_158 = Char::create_expr (L"/*void*/");
    5442   _c_159 = Char::create_expr (L";;)");
    5443   _c_160 = Char::create_expr (L"wrappers");
    5444   _c_161 = Char::create_expr (L"plus");
     5439  _c_155 = rftype::Char::create_expr (L"\\\"");
     5440  _c_156 = rftype::Char::create_expr (L"RF_VOID");
     5441  _c_158 = rftype::Char::create_expr (L"/*void*/");
     5442  _c_159 = rftype::Char::create_expr (L";;)");
     5443  _c_160 = rftype::Char::create_expr (L"wrappers");
     5444  _c_161 = rftype::Char::create_expr (L"plus");
    54455445  _c_162 = Expr (_c_178, 10, 5);
    5446   _c_163 = Char::create_expr (L"org");
     5446  _c_163 = rftype::Char::create_expr (L"org");
    54475447  _c_164 = Expr (_c_178, 15, 2);
    54485448  _c_165 = Expr (_c_178, 0, 10);
    54495449  _c_166 = Expr::create<rftype::Integer>("1");
    5450   _c_168 = Char::create_expr (L"printf (\"+ %5u: enter >>> ");
    5451   _c_169 = Char::create_expr (L"printf(\"%2d: \", ");
    5452   _c_174 = Char::create_expr (L").to_Expr().writeln(stdout);");
     5450  _c_168 = rftype::Char::create_expr (L"printf (\"+ %5u: enter >>> ");
     5451  _c_169 = rftype::Char::create_expr (L"printf(\"%2d: \", ");
     5452  _c_174 = rftype::Char::create_expr (L").to_Expr().writeln(stdout);");
    54535453  _c_171 = Expr (_c_174, 10, 18);
    5454   _c_172 = Char::create_expr (L"printf (\"           argument \"); ");
    5455   _c_173 = Char::create_expr (L"printf (\"- %5u: exit  >>> ");
    5456   _c_175 = Char::create_expr (L"printf (\"           result   \"); ");
    5457   _c_176 = Char::create_expr (L"printf (\"- %5u: fail  >>> ");
     5454  _c_172 = rftype::Char::create_expr (L"printf (\"           argument \"); ");
     5455  _c_173 = rftype::Char::create_expr (L"printf (\"- %5u: exit  >>> ");
     5456  _c_175 = rftype::Char::create_expr (L"printf (\"           result   \"); ");
     5457  _c_176 = rftype::Char::create_expr (L"printf (\"- %5u: fail  >>> ");
    54585458}
    54595459
  • to-imperative/trunk/c++/compiler/rfp_asail_java.cc

    r2364 r2367  
    6666RF_DECL (Infix_m_To_m_Java);
    6767
    68 RF_DECL (Op_m_Arg_m_To_m_Java);
    69 
    7068RF_DECL (Step_m_To_m_Java);
    7169
     
    9088RF_DECL (Free_m_Index);
    9189
    92 RF_DECL (Cond_m_To_m_Java__0);
     90RF_DECL (Expr_m_Int_m_To_m_Java__0);
    9391
    9492RF_DECL (Term_m_Ref_m_To_m_Java__0);
    9593
    96 RF_DECL (Expr_m_Int_m_To_m_Java__0);
    97 
    9894static Expr _c_0;
    9995
     
    112108static Expr _c_7;
    113109
    114 static Expr _c_182;
    115 
    116 static Expr _c_183;
     110static Expr _c_170;
     111
     112static Expr _c_171;
    117113
    118114static Expr _c_8;
     
    136132static Expr _c_17;
    137133
     134static Expr _c_18;
     135
     136static Expr _c_148;
     137
     138static Expr _c_19;
     139
     140static Expr _c_20;
     141
     142static Expr _c_21;
     143
     144static Expr _c_22;
     145
     146static Expr _c_23;
     147
     148static Expr _c_24;
     149
     150static Expr _c_25;
     151
     152static Expr _c_26;
     153
     154static Expr _c_27;
     155
     156static Expr _c_28;
     157
     158static Expr _c_29;
     159
     160static Expr _c_30;
     161
     162static Expr _c_49;
     163
     164static Expr _c_31;
     165
     166static Expr _c_32;
     167
     168static Expr _c_33;
     169
     170static Expr _c_34;
     171
     172static Expr _c_35;
     173
     174static Expr _c_36;
     175
     176static Expr _c_37;
     177
     178static Expr _c_38;
     179
     180static Expr _c_39;
     181
     182static Expr _c_172;
     183
     184static Expr _c_40;
     185
     186static Expr _c_41;
     187
     188static Expr _c_42;
     189
     190static Expr _c_43;
     191
     192static Expr _c_44;
     193
     194static Expr _c_45;
     195
     196static Expr _c_46;
     197
     198static Expr _c_47;
     199
     200static Expr _c_48;
     201
     202static Expr _c_50;
     203
     204static Expr _c_51;
     205
     206static Expr _c_52;
     207
     208static Expr _c_53;
     209
     210static Expr _c_54;
     211
     212static Expr _c_173;
     213
     214static Expr _c_100;
     215
     216static Expr _c_55;
     217
     218static Expr _c_56;
     219
     220static Expr _c_57;
     221
     222static Expr _c_58;
     223
     224static Expr _c_59;
     225
     226static Expr _c_60;
     227
     228static Expr _c_61;
     229
     230static Expr _c_62;
     231
     232static Expr _c_63;
     233
     234static Expr _c_64;
     235
     236static Expr _c_65;
     237
     238static Expr _c_66;
     239
     240static Expr _c_67;
     241
     242static Expr _c_68;
     243
     244static Expr _c_69;
     245
     246static Expr _c_70;
     247
     248static Expr _c_71;
     249
     250static Expr _c_72;
     251
     252static Expr _c_73;
     253
     254static Expr _c_74;
     255
     256static Expr _c_75;
     257
     258static Expr _c_76;
     259
     260static Expr _c_77;
     261
     262static Expr _c_78;
     263
     264static Expr _c_96;
     265
     266static Expr _c_79;
     267
     268static Expr _c_80;
     269
     270static Expr _c_81;
     271
     272static Expr _c_82;
     273
     274static Expr _c_83;
     275
     276static Expr _c_84;
     277
     278static Expr _c_85;
     279
     280static Expr _c_86;
     281
     282static Expr _c_87;
     283
     284static Expr _c_88;
     285
     286static Expr _c_89;
     287
     288static Expr _c_90;
     289
     290static Expr _c_91;
     291
     292static Expr _c_92;
     293
     294static Expr _c_93;
     295
     296static Expr _c_94;
     297
     298static Expr _c_95;
     299
     300static Expr _c_97;
     301
     302static Expr _c_98;
     303
     304static Expr _c_99;
     305
     306static Expr _c_101;
     307
     308static Expr _c_102;
     309
     310static Expr _c_103;
     311
     312static Expr _c_104;
     313
     314static Expr _c_105;
     315
     316static Expr _c_106;
     317
     318static Expr _c_107;
     319
     320static Expr _c_108;
     321
     322static Expr _c_109;
     323
     324static Expr _c_110;
     325
     326static Expr _c_111;
     327
     328static Expr _c_112;
     329
     330static Expr _c_113;
     331
     332static Expr _c_114;
     333
     334static Expr _c_143;
     335
     336static Expr _c_115;
     337
     338static Expr _c_116;
     339
     340static Expr _c_117;
     341
     342static Expr _c_118;
     343
     344static Expr _c_119;
     345
     346static Expr _c_120;
     347
     348static Expr _c_121;
     349
     350static Expr _c_122;
     351
     352static Expr _c_123;
     353
     354static Expr _c_124;
     355
     356static Expr _c_125;
     357
     358static Expr _c_126;
     359
     360static Expr _c_127;
     361
     362static Expr _c_128;
     363
     364static Expr _c_129;
     365
     366static Expr _c_130;
     367
     368static Expr _c_131;
     369
     370static Expr _c_132;
     371
     372static Expr _c_133;
     373
     374static Expr _c_134;
     375
     376static Expr _c_135;
     377
     378static Expr _c_136;
     379
     380static Expr _c_137;
     381
     382static Expr _c_138;
     383
     384static Expr _c_139;
     385
     386static Expr _c_140;
     387
     388static Expr _c_141;
     389
     390static Expr _c_142;
     391
     392static Expr _c_144;
     393
     394static Expr _c_145;
     395
     396static Expr _c_146;
     397
     398static Expr _c_147;
     399
     400static Expr _c_149;
     401
     402static Expr _c_150;
     403
     404static Expr _c_151;
     405
     406static Expr _c_152;
     407
     408static Expr _c_153;
     409
     410static Expr _c_154;
     411
     412static Expr _c_156;
     413
     414static Expr _c_155;
     415
     416static Expr _c_157;
     417
     418static Expr _c_158;
     419
     420static Expr _c_159;
     421
    138422static Expr _c_160;
    139423
    140 static Expr _c_18;
    141 
    142 static Expr _c_19;
    143 
    144 static Expr _c_20;
    145 
    146 static Expr _c_21;
    147 
    148 static Expr _c_22;
    149 
    150 static Expr _c_23;
    151 
    152 static Expr _c_24;
    153 
    154 static Expr _c_25;
    155 
    156 static Expr _c_26;
    157 
    158 static Expr _c_27;
    159 
    160 static Expr _c_28;
    161 
    162 static Expr _c_29;
    163 
    164 static Expr _c_30;
    165 
    166 static Expr _c_31;
    167 
    168 static Expr _c_49;
    169 
    170 static Expr _c_32;
    171 
    172 static Expr _c_33;
    173 
    174 static Expr _c_34;
    175 
    176 static Expr _c_35;
    177 
    178 static Expr _c_36;
    179 
    180 static Expr _c_37;
    181 
    182 static Expr _c_38;
    183 
    184 static Expr _c_184;
    185 
    186 static Expr _c_39;
    187 
    188 static Expr _c_40;
    189 
    190 static Expr _c_41;
    191 
    192 static Expr _c_43;
    193 
    194 static Expr _c_42;
    195 
    196 static Expr _c_44;
    197 
    198 static Expr _c_45;
    199 
    200 static Expr _c_46;
    201 
    202 static Expr _c_47;
    203 
    204 static Expr _c_48;
    205 
    206 static Expr _c_50;
    207 
    208 static Expr _c_51;
    209 
    210 static Expr _c_52;
    211 
    212 static Expr _c_53;
    213 
    214 static Expr _c_54;
    215 
    216 static Expr _c_185;
    217 
    218 static Expr _c_100;
    219 
    220 static Expr _c_55;
    221 
    222 static Expr _c_56;
    223 
    224 static Expr _c_57;
    225 
    226 static Expr _c_58;
    227 
    228 static Expr _c_59;
    229 
    230 static Expr _c_60;
    231 
    232 static Expr _c_61;
    233 
    234 static Expr _c_62;
    235 
    236 static Expr _c_63;
    237 
    238 static Expr _c_64;
    239 
    240 static Expr _c_65;
    241 
    242 static Expr _c_66;
    243 
    244 static Expr _c_67;
    245 
    246 static Expr _c_68;
    247 
    248 static Expr _c_69;
    249 
    250 static Expr _c_70;
    251 
    252 static Expr _c_71;
    253 
    254 static Expr _c_72;
    255 
    256 static Expr _c_73;
    257 
    258 static Expr _c_74;
    259 
    260 static Expr _c_75;
    261 
    262 static Expr _c_76;
    263 
    264 static Expr _c_77;
    265 
    266 static Expr _c_78;
    267 
    268 static Expr _c_96;
    269 
    270 static Expr _c_79;
    271 
    272 static Expr _c_80;
    273 
    274 static Expr _c_81;
    275 
    276 static Expr _c_82;
    277 
    278 static Expr _c_83;
    279 
    280 static Expr _c_84;
    281 
    282 static Expr _c_85;
    283 
    284 static Expr _c_86;
    285 
    286 static Expr _c_87;
    287 
    288 static Expr _c_88;
    289 
    290 static Expr _c_89;
    291 
    292 static Expr _c_90;
    293 
    294 static Expr _c_91;
    295 
    296 static Expr _c_92;
    297 
    298 static Expr _c_93;
    299 
    300 static Expr _c_94;
    301 
    302 static Expr _c_95;
    303 
    304 static Expr _c_97;
    305 
    306 static Expr _c_98;
    307 
    308 static Expr _c_99;
    309 
    310 static Expr _c_101;
    311 
    312 static Expr _c_102;
    313 
    314 static Expr _c_103;
    315 
    316 static Expr _c_104;
    317 
    318 static Expr _c_105;
    319 
    320 static Expr _c_106;
    321 
    322 static Expr _c_107;
    323 
    324 static Expr _c_108;
    325 
    326 static Expr _c_109;
    327 
    328 static Expr _c_110;
    329 
    330 static Expr _c_111;
    331 
    332 static Expr _c_112;
    333 
    334 static Expr _c_113;
    335 
    336 static Expr _c_114;
    337 
    338 static Expr _c_155;
    339 
    340 static Expr _c_115;
    341 
    342 static Expr _c_116;
    343 
    344 static Expr _c_117;
    345 
    346 static Expr _c_118;
    347 
    348 static Expr _c_119;
    349 
    350 static Expr _c_120;
    351 
    352 static Expr _c_121;
    353 
    354 static Expr _c_122;
    355 
    356 static Expr _c_123;
    357 
    358 static Expr _c_124;
    359 
    360 static Expr _c_125;
    361 
    362 static Expr _c_126;
    363 
    364 static Expr _c_127;
    365 
    366 static Expr _c_128;
    367 
    368 static Expr _c_129;
    369 
    370 static Expr _c_130;
    371 
    372 static Expr _c_131;
    373 
    374 static Expr _c_132;
    375 
    376 static Expr _c_133;
    377 
    378 static Expr _c_134;
    379 
    380 static Expr _c_135;
    381 
    382 static Expr _c_136;
    383 
    384 static Expr _c_137;
    385 
    386 static Expr _c_138;
    387 
    388 static Expr _c_139;
    389 
    390 static Expr _c_140;
    391 
    392 static Expr _c_141;
    393 
    394 static Expr _c_142;
    395 
    396 static Expr _c_143;
    397 
    398 static Expr _c_144;
    399 
    400 static Expr _c_145;
    401 
    402 static Expr _c_146;
    403 
    404 static Expr _c_147;
    405 
    406 static Expr _c_148;
    407 
    408 static Expr _c_149;
    409 
    410 static Expr _c_150;
    411 
    412 static Expr _c_151;
    413 
    414 static Expr _c_152;
    415 
    416 static Expr _c_153;
    417 
    418 static Expr _c_154;
    419 
    420 static Expr _c_156;
    421 
    422 static Expr _c_157;
    423 
    424 static Expr _c_158;
    425 
    426 static Expr _c_159;
    427 
    428424static Expr _c_161;
    429425
     
    438434static Expr _c_166;
    439435
     436static Expr _c_167;
     437
    440438static Expr _c_168;
    441439
    442 static Expr _c_167;
    443 
    444440static Expr _c_169;
    445 
    446 static Expr _c_170;
    447 
    448 static Expr _c_171;
    449 
    450 static Expr _c_172;
    451 
    452 static Expr _c_173;
    453 
    454 static Expr _c_174;
    455 
    456 static Expr _c_175;
    457 
    458 static Expr _c_176;
    459 
    460 static Expr _c_177;
    461 
    462 static Expr _c_178;
    463 
    464 static Expr _c_179;
    465 
    466 static Expr _c_180;
    467 
    468 static Expr _c_181;
    469441
    470442RF_FUNC (RFP_m_ASAIL_m_To_m_Java, (RF_ARG _gt_arg1, _ge_arg2, _ge_arg3;;), (RF_RES _v_res1, _v_res2, _v_res3;;))
     
    639611          Expr _v_deref__item (_vt_item, 0);
    640612          uintptr_t _v_len3 = _v_deref__item.get_len ();
    641           uintptr_t _v_len4 = 4;
     613          uintptr_t _v_len4 = 2;
    642614          if (_v_len3 < _v_len4)
    643615          {
     
    648620            goto _block2__branch1;
    649621          }
    650           uintptr_t _v_len__body = (_v_len3 - _v_len4);
    651           if (_v_deref__item.symbol_at ((0 + 1 + 1)))
     622          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_106_m_20 = (_v_len3 - _v_len4);
     623          if (!_v_deref__item.symbol_at (0))
    652624          {
    653625            goto _block2__branch1;
    654626          }
    655           if (_v_deref__item.symbol_at ((0 + 1 + 1 + 1)))
     627          if (!_c_15.term_eq (_v_deref__item, (0 + 1)))
    656628          {
    657629            goto _block2__branch1;
    658630          }
    659           Expr _v_deref__deref__item (_v_deref__item, (0 + 1 + 1));
    660           Expr _v_deref__deref__item2 (_v_deref__item, (0 + 1 + 1 + 1));
    661           uintptr_t _v_len5 = _v_deref__deref__item2.get_len ();
    662           uintptr_t _v_len6 = 0;
     631          Expr _vs_tag (_v_deref__item, 0, 1);
     632          Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_106_m_20 (_v_deref__item, (0 + 1 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_106_m_20);
     633          _ve_java_m_item = empty;
     634          goto _block2;
     635        }
     636      _block2__branch1: {}
     637        {
     638          if (1 != 1)
     639          {
     640            goto _block2__branch2;
     641          }
     642          if (_vt_item.symbol_at (0))
     643          {
     644            goto _block2__branch2;
     645          }
     646          Expr _v_deref__item2 (_vt_item, 0);
     647          uintptr_t _v_len5 = _v_deref__item2.get_len ();
     648          uintptr_t _v_len6 = 5;
    663649          if (_v_len5 < _v_len6)
    664650          {
    665             goto _block2__branch1;
     651            goto _block2__branch2;
    666652          }
    667653          if (0 != 0)
    668654          {
    669             goto _block2__branch1;
    670           }
    671           uintptr_t _v_len__ress = (_v_len5 - _v_len6);
    672           uintptr_t _v_len7 = _v_deref__deref__item.get_len ();
     655            goto _block2__branch2;
     656          }
     657          uintptr_t _v_len__body = (_v_len5 - _v_len6);
     658          if (_v_deref__item2.symbol_at ((0 + 1 + 1 + 1)))
     659          {
     660            goto _block2__branch2;
     661          }
     662          if (_v_deref__item2.symbol_at ((0 + 1 + 1 + 1 + 1)))
     663          {
     664            goto _block2__branch2;
     665          }
     666          Expr _v_deref__deref__item2 (_v_deref__item2, (0 + 1 + 1 + 1));
     667          Expr _v_deref__deref__item22 (_v_deref__item2, (0 + 1 + 1 + 1 + 1));
     668          uintptr_t _v_len7 = _v_deref__deref__item22.get_len ();
    673669          uintptr_t _v_len8 = 0;
    674670          if (_v_len7 < _v_len8)
    675671          {
    676             goto _block2__branch1;
     672            goto _block2__branch2;
    677673          }
    678674          if (0 != 0)
    679675          {
    680             goto _block2__branch1;
    681           }
    682           uintptr_t _v_len__args = (_v_len7 - _v_len8);
    683           if (!_v_deref__item.symbol_at (0))
    684           {
    685             goto _block2__branch1;
    686           }
    687           Expr _vs_tag (_v_deref__item, 0, 1);
    688           Expr _vt_name (_v_deref__item, (0 + 1), 1);
    689           Expr _ve_body (_v_deref__item, (0 + 1 + 1 + 1 + 1), _v_len__body);
    690           Expr _ve_args (_v_deref__deref__item, 0, _v_len__args);
    691           Expr _ve_ress (_v_deref__deref__item2, 0, _v_len__ress);
     676            goto _block2__branch2;
     677          }
     678          uintptr_t _v_len__ress = (_v_len7 - _v_len8);
     679          uintptr_t _v_len9 = _v_deref__deref__item2.get_len ();
     680          uintptr_t _v_len10 = 0;
     681          if (_v_len9 < _v_len10)
     682          {
     683            goto _block2__branch2;
     684          }
     685          if (0 != 0)
     686          {
     687            goto _block2__branch2;
     688          }
     689          uintptr_t _v_len__args = (_v_len9 - _v_len10);
     690          if (!_v_deref__item2.symbol_at (0))
     691          {
     692            goto _block2__branch2;
     693          }
     694          if (!_v_deref__item2.symbol_at ((0 + 1)))
     695          {
     696            goto _block2__branch2;
     697          }
     698          Expr _vs_tag (_v_deref__item2, 0, 1);
     699          Expr _vs_linkage (_v_deref__item2, (0 + 1), 1);
     700          Expr _vt_name (_v_deref__item2, (0 + 1 + 1), 1);
     701          Expr _ve_body (_v_deref__item2, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body);
     702          Expr _ve_args (_v_deref__deref__item2, 0, _v_len__args);
     703          Expr _ve_ress (_v_deref__deref__item22, 0, _v_len__ress);
    692704          Expr _ve_return_m_type;
    693705          Expr _ve_return;
     
    698710                goto _block3__branch1;
    699711              }
    700               if (!_vs_tag.term_eq (_c_15, 0))
     712              if (!_vs_tag.term_eq (_c_16, 0))
    701713              {
    702714                goto _block3__branch1;
    703715              }
    704               _ve_return_m_type = _c_16;
     716              _ve_return_m_type = _c_17;
    705717              _ve_return = empty;
    706718              goto _block3;
     
    709721            if (1 != 1)
    710722            {
    711               goto _block2__branch1;
     723              goto _block2__branch2;
    712724            }
    713             if (!_vs_tag.term_eq (_c_17, 0))
     725            if (!_vs_tag.term_eq (_c_18, 0))
    714726            {
    715               goto _block2__branch1;
     727              goto _block2__branch2;
    716728            }
    717             _ve_return_m_type = _c_18;
    718             _ve_return = _c_19;
     729            _ve_return_m_type = _c_19;
     730            _ve_return = _c_20;
    719731          }
    720732        _block3: {}
     
    729741                goto _block4__branch1;
    730742              }
    731               RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_115_m_23, _v_lsplit___q_1);
     743              RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_114_m_23, _v_lsplit___q_1);
    732744              for ( ; ; RF_iter(_v__q_1)++)
    733745              {
     
    737749                    goto _block4__branch1;
    738750                  }
    739                   uintptr_t _v_len9 = _v_lsplit___q_1.get_len ();
    740                   uintptr_t _v_len10 = 1;
    741                   if (_v_len9 < _v_len10)
     751                  uintptr_t _v_len11 = _v_lsplit___q_1.get_len ();
     752                  uintptr_t _v_len12 = 1;
     753                  if (_v_len11 < _v_len12)
    742754                  {
    743755                    goto _block4__branch1;
     
    747759                    goto _continue1;
    748760                  }
    749                   uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_115_m_32 = (_v_len9 - _v_len10);
     761                  uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_114_m_32 = (_v_len11 - _v_len12);
    750762                  if (!_vt_name.term_eq (_v_lsplit___q_1, 0))
    751763                  {
    752764                    goto _continue1;
    753765                  }
    754                   Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_115_m_32 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_115_m_32);
     766                  Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_114_m_32 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_114_m_32);
    755767                  Expr _ge_auxcall1;
    756768                  RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ge_auxcall1);
     
    774786          RF_CALL (Box::_q_, Func_m_Name, _ge_auxcall4);
    775787          Expr _ge_auxcall5;
    776           RF_CALL (Var_m_Args_m_To_m_Java, (_c_21 + _ve_args + _c_20 + _ve_ress), _ge_auxcall5);
     788          RF_CALL (Var_m_Args_m_To_m_Java, (_c_22 + _ve_args + _c_21 + _ve_ress), _ge_auxcall5);
    777789          Expr _ge_auxcall6;
    778790          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall6);
    779           _ve_java_m_item = (_c_12 + (_c_25 + _ge_auxcall3 + _c_24 + _ve_return_m_type + _c_24 + _ge_auxcall4 + _c_23 + _ge_auxcall5 + _c_22) () + (_c_26 + (_ge_auxcall6 + _ve_return) () + _c_8) ());
     791          _ve_java_m_item = (_c_12 + (_c_26 + _ge_auxcall3 + _c_25 + _ve_return_m_type + _c_25 + _ge_auxcall4 + _c_24 + _ge_auxcall5 + _c_23) () + (_c_27 + (_ge_auxcall6 + _ve_return) () + _c_8) ());
    780792          goto _block2;
    781793        }
    782       _block2__branch1: {}
     794      _block2__branch2: {}
    783795        {
    784796          if (1 != 1)
    785797          {
    786             goto _block2__branch2;
     798            goto _block2__branch3;
    787799          }
    788800          if (_vt_item.symbol_at (0))
    789801          {
    790             goto _block2__branch2;
    791           }
    792           Expr _v_deref__item2 (_vt_item, 0);
    793           if (_v_deref__item2.get_len () != 2)
    794           {
    795             goto _block2__branch2;
    796           }
    797           if (!_c_27.term_eq (_v_deref__item2, 0))
    798           {
    799             goto _block2__branch2;
    800           }
    801           Expr _vt_name (_v_deref__item2, (0 + 1), 1);
     802            goto _block2__branch3;
     803          }
     804          Expr _v_deref__item3 (_vt_item, 0);
     805          if (_v_deref__item3.get_len () != 2)
     806          {
     807            goto _block2__branch3;
     808          }
     809          if (!_c_28.term_eq (_v_deref__item3, 0))
     810          {
     811            goto _block2__branch3;
     812          }
     813          Expr _vt_name (_v_deref__item3, (0 + 1), 1);
    802814          RF_CALL (Table::Bind, (rfpc::RFP_m_Trace, _vt_name, empty), /*void*/);
    803815          _ve_java_m_item = empty;
    804816          goto _block2;
    805817        }
    806       _block2__branch2: {}
     818      _block2__branch3: {}
    807819        {
    808820          if (1 != 1)
    809821          {
    810             goto _block2__branch3;
     822            goto _block2__branch4;
    811823          }
    812824          if (_vt_item.symbol_at (0))
    813825          {
    814             goto _block2__branch3;
    815           }
    816           Expr _v_deref__item3 (_vt_item, 0);
    817           uintptr_t _v_len11 = _v_deref__item3.get_len ();
    818           uintptr_t _v_len12 = 2;
    819           if (_v_len11 < _v_len12)
    820           {
    821             goto _block2__branch3;
     826            goto _block2__branch4;
     827          }
     828          Expr _v_deref__item4 (_vt_item, 0);
     829          uintptr_t _v_len13 = _v_deref__item4.get_len ();
     830          uintptr_t _v_len14 = 4;
     831          if (_v_len13 < _v_len14)
     832          {
     833            goto _block2__branch4;
    822834          }
    823835          if (0 != 0)
    824836          {
    825             goto _block2__branch3;
    826           }
    827           uintptr_t _v_len__body2 = (_v_len11 - _v_len12);
    828           if (_v_deref__item3.symbol_at ((0 + 1)))
    829           {
    830             goto _block2__branch3;
    831           }
    832           Expr _v_deref__deref__item3 (_v_deref__item3, (0 + 1));
    833           uintptr_t _v_len13 = _v_deref__deref__item3.get_len ();
    834           uintptr_t _v_len14 = 0;
    835           if (_v_len13 < _v_len14)
    836           {
    837             goto _block2__branch3;
     837            goto _block2__branch4;
     838          }
     839          uintptr_t _v_len__body2 = (_v_len13 - _v_len14);
     840          if (_v_deref__item4.symbol_at ((0 + 1 + 1)))
     841          {
     842            goto _block2__branch4;
     843          }
     844          if (_v_deref__item4.symbol_at ((0 + 1 + 1 + 1)))
     845          {
     846            goto _block2__branch4;
     847          }
     848          Expr _v_deref__deref__item4 (_v_deref__item4, (0 + 1 + 1));
     849          Expr _v_deref__deref__item42 (_v_deref__item4, (0 + 1 + 1 + 1));
     850          uintptr_t _v_len15 = _v_deref__deref__item42.get_len ();
     851          uintptr_t _v_len16 = 0;
     852          if (_v_len15 < _v_len16)
     853          {
     854            goto _block2__branch4;
    838855          }
    839856          if (0 != 0)
    840857          {
    841             goto _block2__branch3;
    842           }
    843           uintptr_t _v_len__cond = (_v_len13 - _v_len14);
    844           if (!_c_28.term_eq (_v_deref__item3, 0))
    845           {
    846             goto _block2__branch3;
    847           }
    848           Expr _ve_body (_v_deref__item3, (0 + 1 + 1), _v_len__body2);
    849           Expr _ve_cond (_v_deref__deref__item3, 0, _v_len__cond);
     858            goto _block2__branch4;
     859          }
     860          uintptr_t _v_len__arg2 = (_v_len15 - _v_len16);
     861          uintptr_t _v_len17 = _v_deref__deref__item4.get_len ();
     862          uintptr_t _v_len18 = 0;
     863          if (_v_len17 < _v_len18)
     864          {
     865            goto _block2__branch4;
     866          }
     867          if (0 != 0)
     868          {
     869            goto _block2__branch4;
     870          }
     871          uintptr_t _v_len__arg1 = (_v_len17 - _v_len18);
     872          if (!_c_29.term_eq (_v_deref__item4, 0))
     873          {
     874            goto _block2__branch4;
     875          }
     876          if (!_v_deref__item4.symbol_at ((0 + 1)))
     877          {
     878            goto _block2__branch4;
     879          }
     880          Expr _vs_op (_v_deref__item4, (0 + 1), 1);
     881          Expr _ve_body (_v_deref__item4, (0 + 1 + 1 + 1 + 1), _v_len__body2);
     882          Expr _ve_arg1 (_v_deref__deref__item4, 0, _v_len__arg1);
     883          Expr _ve_arg2 (_v_deref__deref__item42, 0, _v_len__arg2);
     884          Expr _vs_acc;
     885          RF_CALL (Box::Box, empty, _vs_acc);
     886          Expr _ge_auxcall7;
     887          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_arg1), _ge_auxcall7);
     888          Expr _v_Expr_m_Int_m_To_m_Java1;
     889          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_arg2), _v_Expr_m_Int_m_To_m_Java1);
     890          Expr _ve_cond ((_ge_auxcall7 + _c_25 + _vs_op + _c_25 + _v_Expr_m_Int_m_To_m_Java1));
     891          Expr _ge_auxcall8;
     892          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall8);
     893          Expr _ge_auxcall9;
     894          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall9);
     895          _ve_java_m_item = (_ge_auxcall8 + (_c_31 + _ve_cond + _c_30) () + (_c_27 + _ge_auxcall9 () + _c_8) ());
     896          goto _block2;
     897        }
     898      _block2__branch4: {}
     899        {
     900          if (1 != 1)
     901          {
     902            goto _block2__branch5;
     903          }
     904          if (_vt_item.symbol_at (0))
     905          {
     906            goto _block2__branch5;
     907          }
     908          Expr _v_deref__item5 (_vt_item, 0);
     909          uintptr_t _v_len19 = _v_deref__item5.get_len ();
     910          uintptr_t _v_len20 = 2;
     911          if (_v_len19 < _v_len20)
     912          {
     913            goto _block2__branch5;
     914          }
     915          if (0 != 0)
     916          {
     917            goto _block2__branch5;
     918          }
     919          uintptr_t _v_len__body3 = (_v_len19 - _v_len20);
     920          if (!_c_32.term_eq (_v_deref__item5, 0))
     921          {
     922            goto _block2__branch5;
     923          }
     924          Expr _vt_cond (_v_deref__item5, (0 + 1), 1);
     925          Expr _ve_body (_v_deref__item5, (0 + 1 + 1), _v_len__body3);
    850926          Expr _vs_acc;
    851927          RF_CALL (Box::Box, empty, _vs_acc);
    852928          Expr _ve_j_m_cond;
    853           RF_CALL (Cond_m_To_m_Java, (_vs_acc, _ve_cond), _ve_j_m_cond);
     929          RF_CALL (Cond_m_To_m_Java, (_vs_acc, _vt_cond), _ve_j_m_cond);
    854930          Expr _ve_if_m_yes_m_assigns;
    855931          Expr _ve_if_m_not_m_assigns;
    856932          {
    857933            {
    858               if (_v_len__cond != 1)
     934              if (1 != 1)
    859935              {
    860936                goto _block5__branch1;
    861937              }
    862               if (_ve_cond.symbol_at (0))
     938              if (_vt_cond.symbol_at (0))
    863939              {
    864940                goto _block5__branch1;
    865941              }
    866               Expr _v_deref__cond (_ve_cond, 0);
    867               if (_v_deref__cond.get_len () != 2)
    868               {
    869                 goto _block5__branch1;
    870               }
    871               if (_v_deref__cond.symbol_at ((0 + 1)))
    872               {
    873                 goto _block5__branch1;
    874               }
    875               Expr _v_deref__deref__cond (_v_deref__cond, (0 + 1));
    876               uintptr_t _v_len15 = _v_deref__deref__cond.get_len ();
    877               uintptr_t _v_len16 = 1;
    878               if (_v_len15 < _v_len16)
     942              Expr _v_deref__cond (_vt_cond, 0);
     943              uintptr_t _v_len21 = _v_deref__cond.get_len ();
     944              uintptr_t _v_len22 = 1;
     945              if (_v_len21 < _v_len22)
    879946              {
    880947                goto _block5__branch1;
     
    884951                goto _block5__branch1;
    885952              }
    886               uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_128_m_30 = (_v_len15 - _v_len16);
    887               if (!_c_30.term_eq (_v_deref__cond, 0))
     953              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_133_m_31 = (_v_len21 - _v_len22);
     954              if (!_c_33.term_eq (_v_deref__cond, 0))
    888955              {
    889956                goto _block5__branch1;
    890957              }
    891               if (!_c_29.term_eq (_v_deref__deref__cond, 0))
    892               {
    893                 goto _block5__branch1;
    894               }
    895               Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_128_m_30 (_v_deref__deref__cond, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_128_m_30);
    896               Expr _ge_auxcall7;
    897               RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall7);
     958              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_133_m_31 (_v_deref__cond, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_133_m_31);
     959              Expr _ge_auxcall10;
     960              RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall10);
    898961              RF_CALL (Box::Store, (Res_m_Assigns, empty), /*void*/);
    899962              _ve_if_m_yes_m_assigns = empty;
    900               _ve_if_m_not_m_assigns = _ge_auxcall7;
     963              _ve_if_m_not_m_assigns = _ge_auxcall10;
    901964              goto _block5;
    902965            }
    903966          _block5__branch1: {}
    904             Expr _ge_auxcall8;
    905             RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall8);
     967            Expr _ge_auxcall11;
     968            RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall11);
    906969            RF_CALL (Box::Store, (Res_m_Assigns, empty), /*void*/);
    907             _ve_if_m_yes_m_assigns = _ge_auxcall8;
     970            _ve_if_m_yes_m_assigns = _ge_auxcall11;
    908971            _ve_if_m_not_m_assigns = empty;
    909972          }
    910973        _block5: {}
    911           Expr _ge_auxcall9;
    912           RF_CALL (Box::_q_, _vs_acc, _ge_auxcall9);
    913           Expr _ge_auxcall10;
    914           RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall10);
    915           _ve_java_m_item = (_ge_auxcall9 + (_c_32 + _ve_j_m_cond + _c_31) () + (_c_26 + (_ve_if_m_yes_m_assigns + _ge_auxcall10) () + _c_8) () + _ve_if_m_not_m_assigns);
     974          Expr _ge_auxcall12;
     975          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall12);
     976          Expr _ge_auxcall13;
     977          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall13);
     978          _ve_java_m_item = (_ge_auxcall12 + (_c_31 + _ve_j_m_cond + _c_30) () + (_c_27 + (_ve_if_m_yes_m_assigns + _ge_auxcall13) () + _c_8) () + _ve_if_m_not_m_assigns);
    916979          goto _block2;
    917980        }
    918       _block2__branch3: {}
     981      _block2__branch5: {}
    919982        {
    920983          if (1 != 1)
    921984          {
    922             goto _block2__branch4;
     985            goto _block2__branch6;
    923986          }
    924987          if (_vt_item.symbol_at (0))
    925988          {
    926             goto _block2__branch4;
    927           }
    928           Expr _v_deref__item4 (_vt_item, 0);
    929           uintptr_t _v_len17 = _v_deref__item4.get_len ();
    930           uintptr_t _v_len18 = 5;
    931           if (_v_len17 < _v_len18)
    932           {
    933             goto _block2__branch4;
     989            goto _block2__branch6;
     990          }
     991          Expr _v_deref__item6 (_vt_item, 0);
     992          uintptr_t _v_len23 = _v_deref__item6.get_len ();
     993          uintptr_t _v_len24 = 5;
     994          if (_v_len23 < _v_len24)
     995          {
     996            goto _block2__branch6;
    934997          }
    935998          if (0 != 0)
    936999          {
    937             goto _block2__branch4;
    938           }
    939           uintptr_t _v_len__body3 = (_v_len17 - _v_len18);
    940           if (_v_deref__item4.symbol_at ((0 + 1)))
    941           {
    942             goto _block2__branch4;
    943           }
    944           if (_v_deref__item4.symbol_at ((0 + 1 + 1)))
    945           {
    946             goto _block2__branch4;
    947           }
    948           if (_v_deref__item4.symbol_at ((0 + 1 + 1 + 1)))
    949           {
    950             goto _block2__branch4;
    951           }
    952           if (_v_deref__item4.symbol_at ((0 + 1 + 1 + 1 + 1)))
    953           {
    954             goto _block2__branch4;
    955           }
    956           Expr _v_deref__deref__item4 (_v_deref__item4, (0 + 1));
    957           Expr _v_deref__deref__item42 (_v_deref__item4, (0 + 1 + 1));
    958           Expr _v_deref__deref__item43 (_v_deref__item4, (0 + 1 + 1 + 1));
    959           Expr _v_deref__deref__item44 (_v_deref__item4, (0 + 1 + 1 + 1 + 1));
    960           uintptr_t _v_len19 = _v_deref__deref__item4.get_len ();
    961           uintptr_t _v_len20 = 0;
    962           if (_v_len19 < _v_len20)
    963           {
    964             goto _block2__branch4;
    965           }
    966           if (0 != 0)
    967           {
    968             goto _block2__branch4;
    969           }
    970           uintptr_t _v_len__cont_m_label = (_v_len19 - _v_len20);
    971           uintptr_t _v_len21 = _v_deref__deref__item42.get_len ();
    972           uintptr_t _v_len22 = 0;
    973           if (_v_len21 < _v_len22)
    974           {
    975             goto _block2__branch4;
    976           }
    977           if (0 != 0)
    978           {
    979             goto _block2__branch4;
    980           }
    981           uintptr_t _v_len__break_m_label = (_v_len21 - _v_len22);
    982           uintptr_t _v_len23 = _v_deref__deref__item44.get_len ();
    983           uintptr_t _v_len24 = 0;
    984           if (_v_len23 < _v_len24)
    985           {
    986             goto _block2__branch4;
    987           }
    988           if (0 != 0)
    989           {
    990             goto _block2__branch4;
    991           }
    992           uintptr_t _v_len__step = (_v_len23 - _v_len24);
    993           uintptr_t _v_len25 = _v_deref__deref__item43.get_len ();
     1000            goto _block2__branch6;
     1001          }
     1002          uintptr_t _v_len__body4 = (_v_len23 - _v_len24);
     1003          if (_v_deref__item6.symbol_at ((0 + 1)))
     1004          {
     1005            goto _block2__branch6;
     1006          }
     1007          if (_v_deref__item6.symbol_at ((0 + 1 + 1)))
     1008          {
     1009            goto _block2__branch6;
     1010          }
     1011          if (_v_deref__item6.symbol_at ((0 + 1 + 1 + 1 + 1)))
     1012          {
     1013            goto _block2__branch6;
     1014          }
     1015          Expr _v_deref__deref__item6 (_v_deref__item6, (0 + 1));
     1016          Expr _v_deref__deref__item62 (_v_deref__item6, (0 + 1 + 1));
     1017          Expr _v_deref__deref__item63 (_v_deref__item6, (0 + 1 + 1 + 1 + 1));
     1018          uintptr_t _v_len25 = _v_deref__deref__item6.get_len ();
    9941019          uintptr_t _v_len26 = 0;
    9951020          if (_v_len25 < _v_len26)
    9961021          {
    997             goto _block2__branch4;
     1022            goto _block2__branch6;
    9981023          }
    9991024          if (0 != 0)
    10001025          {
    1001             goto _block2__branch4;
    1002           }
    1003           uintptr_t _v_len__cond2 = (_v_len25 - _v_len26);
    1004           if (!_c_33.term_eq (_v_deref__item4, 0))
    1005           {
    1006             goto _block2__branch4;
    1007           }
    1008           Expr _ve_body (_v_deref__item4, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body3);
    1009           Expr _ve_cont_m_label (_v_deref__deref__item4, 0, _v_len__cont_m_label);
    1010           Expr _ve_break_m_label (_v_deref__deref__item42, 0, _v_len__break_m_label);
    1011           Expr _ve_cond (_v_deref__deref__item43, 0, _v_len__cond2);
    1012           Expr _ve_step (_v_deref__deref__item44, 0, _v_len__step);
     1026            goto _block2__branch6;
     1027          }
     1028          uintptr_t _v_len__cont_m_label = (_v_len25 - _v_len26);
     1029          uintptr_t _v_len27 = _v_deref__deref__item63.get_len ();
     1030          uintptr_t _v_len28 = 0;
     1031          if (_v_len27 < _v_len28)
     1032          {
     1033            goto _block2__branch6;
     1034          }
     1035          if (0 != 0)
     1036          {
     1037            goto _block2__branch6;
     1038          }
     1039          uintptr_t _v_len__step = (_v_len27 - _v_len28);
     1040          uintptr_t _v_len29 = _v_deref__deref__item62.get_len ();
     1041          uintptr_t _v_len30 = 0;
     1042          if (_v_len29 < _v_len30)
     1043          {
     1044            goto _block2__branch6;
     1045          }
     1046          if (0 != 0)
     1047          {
     1048            goto _block2__branch6;
     1049          }
     1050          uintptr_t _v_len__break_m_label = (_v_len29 - _v_len30);
     1051          if (!_c_34.term_eq (_v_deref__item6, 0))
     1052          {
     1053            goto _block2__branch6;
     1054          }
     1055          if (!_c_12.term_eq (_v_deref__item6, (0 + 1 + 1 + 1)))
     1056          {
     1057            goto _block2__branch6;
     1058          }
     1059          Expr _ve_body (_v_deref__item6, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body4);
     1060          Expr _ve_cont_m_label (_v_deref__deref__item6, 0, _v_len__cont_m_label);
     1061          Expr _ve_break_m_label (_v_deref__deref__item62, 0, _v_len__break_m_label);
     1062          Expr _ve_step (_v_deref__deref__item63, 0, _v_len__step);
    10131063          Expr _ve_cont;
    10141064          {
     
    10181068                goto _block6__branch1;
    10191069              }
    1020               Expr _vt__e__e_tmp_m_rfp__asail__javarf_m_141_m_25 (_ve_cont_m_label, 0, 1);
    1021               Expr _ge_auxcall11;
    1022               RF_CALL (JavaMangle::Rfp2Java, (_c_34 + _ve_cont_m_label) (), _ge_auxcall11);
    1023               _ve_cont = (_ge_auxcall11 + _c_35);
     1070              Expr _vt__e__e_tmp_m_rfp__asail__javarf_m_146_m_25 (_ve_cont_m_label, 0, 1);
     1071              Expr _ge_auxcall14;
     1072              RF_CALL (JavaMangle::Rfp2Java, (_c_35 + _ve_cont_m_label) (), _ge_auxcall14);
     1073              _ve_cont = (_ge_auxcall14 + _c_36);
    10241074              goto _block6;
    10251075            }
     
    10351085                goto _block7__branch1;
    10361086              }
    1037               Expr _vt__e__e_tmp_m_rfp__asail__javarf_m_144_m_26 (_ve_break_m_label, 0, 1);
    1038               Expr _ge_auxcall12;
    1039               RF_CALL (JavaMangle::Rfp2Java, (_c_34 + _ve_break_m_label) (), _ge_auxcall12);
    1040               _ve_break = (_ge_auxcall12 + _c_35);
     1087              Expr _vt__e__e_tmp_m_rfp__asail__javarf_m_149_m_26 (_ve_break_m_label, 0, 1);
     1088              Expr _ge_auxcall15;
     1089              RF_CALL (JavaMangle::Rfp2Java, (_c_35 + _ve_break_m_label) (), _ge_auxcall15);
     1090              _ve_break = (_ge_auxcall15 + _c_36);
    10411091              goto _block7;
    10421092            }
     
    10451095          }
    10461096        _block7: {}
    1047           Expr _vs_acc;
    1048           RF_CALL (Box::Box, empty, _vs_acc);
    1049           Expr _ge_cond__6;
    1050           RF_CALL (Cond_m_To_m_Java, (_vs_acc, _ve_cond), _ge_cond__6);
    10511097          Expr _ve_split_m_vars;
    10521098          {
     
    10611107              }
    10621108              Expr _v_deref__step (_ve_step, 0);
    1063               uintptr_t _v_len27 = _v_deref__step.get_len ();
    1064               uintptr_t _v_len28 = 1;
    1065               if (_v_len27 < _v_len28)
     1109              uintptr_t _v_len31 = _v_deref__step.get_len ();
     1110              uintptr_t _v_len32 = 1;
     1111              if (_v_len31 < _v_len32)
    10661112              {
    10671113                goto _block8__branch1;
     
    10711117                goto _block8__branch1;
    10721118              }
    1073               uintptr_t _v_len__var = (_v_len27 - _v_len28);
     1119              uintptr_t _v_len__var = (_v_len31 - _v_len32);
    10741120              if (!_v_deref__step.symbol_at (0))
    10751121              {
     
    10841130                    goto _block9__branch1;
    10851131                  }
    1086                   if (!_vs_d.term_eq (_c_36, 0))
     1132                  if (!_vs_d.term_eq (_c_37, 0))
    10871133                  {
    10881134                    goto _block9__branch1;
     
    10951141                  goto _block8__branch1;
    10961142                }
    1097                 if (!_vs_d.term_eq (_c_37, 0))
     1143                if (!_vs_d.term_eq (_c_38, 0))
    10981144                {
    10991145                  goto _block8__branch1;
     
    11061152                goto _block1__branch1;
    11071153              }
    1108               uintptr_t _v_len29 = _v_Lookup1.get_len ();
    1109               uintptr_t _v_len30 = 2;
    1110               if (_v_len29 < _v_len30)
     1154              uintptr_t _v_len33 = _v_Lookup1.get_len ();
     1155              uintptr_t _v_len34 = 2;
     1156              if (_v_len33 < _v_len34)
    11111157              {
    11121158                goto _block1__branch1;
     
    11161162                goto _block1__branch1;
    11171163              }
    1118               uintptr_t _v_len__new_m_var = (_v_len29 - _v_len30);
     1164              uintptr_t _v_len__new_m_var = (_v_len33 - _v_len34);
    11191165              Expr _ve_new_m_var (_v_Lookup1, 0, _v_len__new_m_var);
    11201166              Expr _vt_var1 (_v_Lookup1, (0 + _v_len__new_m_var), 1);
    11211167              Expr _vt_var2 (_v_Lookup1, (0 + _v_len__new_m_var + 1), 1);
    1122               Expr _ge_auxcall13;
    1123               RF_CALL (JavaMangle::Rfp2Java, _vt_var1, _ge_auxcall13);
    1124               Expr _ge_auxcall14;
    1125               RF_CALL (JavaMangle::Rfp2Java, _vt_var2, _ge_auxcall14);
    1126               _ve_split_m_vars = ((_c_40 + _ge_auxcall13 + _c_39 + _ve_new_m_var + _c_38) () + (_c_40 + _ge_auxcall14 + _c_39 + _ve_new_m_var + _c_41) ());
     1168              Expr _ge_auxcall16;
     1169              RF_CALL (JavaMangle::Rfp2Java, _vt_var1, _ge_auxcall16);
     1170              Expr _ge_auxcall17;
     1171              RF_CALL (JavaMangle::Rfp2Java, _vt_var2, _ge_auxcall17);
     1172              _ve_split_m_vars = ((_c_41 + _ge_auxcall16 + _c_40 + _ve_new_m_var + _c_39) () + (_c_41 + _ge_auxcall17 + _c_40 + _ve_new_m_var + _c_42) ());
    11271173              goto _block8;
    11281174            }
     
    11311177          }
    11321178        _block8: {}
    1133           Expr _ge_auxcall15;
    1134           RF_CALL (Box::_q_, _vs_acc, _ge_auxcall15);
    1135           Expr _ge_auxcall16;
    1136           RF_CALL (Step_m_To_m_Java, _ve_step, _ge_auxcall16);
    1137           Expr _ge_auxcall17;
    1138           RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall17);
     1179          Expr _ge_auxcall18;
     1180          RF_CALL (Step_m_To_m_Java, _ve_step, _ge_auxcall18);
     1181          Expr _ge_auxcall19;
     1182          RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall19);
    11391183          RF_CALL (Box::Store, (Res_m_Assigns, empty), /*void*/);
    1140           Expr _ge_auxcall18;
    1141           RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall18);
    1142           _ve_java_m_item = (_ge_auxcall15 + (_ve_break + _ve_cont + _c_43 + _ge_cond__6 + _c_42 + _ge_auxcall16 + _c_31) () + (_c_26 + (_ve_split_m_vars + _ge_auxcall17 + _ge_auxcall18) () + _c_8) ());
    1143           goto _block2;
    1144         }
    1145       _block2__branch4: {}
    1146         {
    1147           if (1 != 1)
    1148           {
    1149             goto _block2__branch5;
    1150           }
    1151           if (_vt_item.symbol_at (0))
    1152           {
    1153             goto _block2__branch5;
    1154           }
    1155           Expr _v_deref__item5 (_vt_item, 0);
    1156           uintptr_t _v_len31 = _v_deref__item5.get_len ();
    1157           uintptr_t _v_len32 = 2;
    1158           if (_v_len31 < _v_len32)
    1159           {
    1160             goto _block2__branch5;
    1161           }
    1162           if (0 != 0)
    1163           {
    1164             goto _block2__branch5;
    1165           }
    1166           uintptr_t _v_len__body4 = (_v_len31 - _v_len32);
    1167           if (_v_deref__item5.symbol_at ((0 + 1)))
    1168           {
    1169             goto _block2__branch5;
    1170           }
    1171           Expr _v_deref__deref__item5 (_v_deref__item5, (0 + 1));
    1172           uintptr_t _v_len33 = _v_deref__deref__item5.get_len ();
    1173           uintptr_t _v_len34 = 0;
    1174           if (_v_len33 < _v_len34)
    1175           {
    1176             goto _block2__branch5;
    1177           }
    1178           if (0 != 0)
    1179           {
    1180             goto _block2__branch5;
    1181           }
    1182           uintptr_t _v_len__label = (_v_len33 - _v_len34);
    1183           if (!_c_34.term_eq (_v_deref__item5, 0))
    1184           {
    1185             goto _block2__branch5;
    1186           }
    1187           Expr _ve_body (_v_deref__item5, (0 + 1 + 1), _v_len__body4);
    1188           Expr _ve_label (_v_deref__deref__item5, 0, _v_len__label);
    1189           Expr _ge_auxcall19;
    1190           RF_CALL (JavaMangle::Rfp2Java, (_c_34 + _ve_label) (), _ge_auxcall19);
    11911184          Expr _ge_auxcall20;
    11921185          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall20);
    1193           _ve_java_m_item = (_ge_auxcall19 + _c_44 + _ge_auxcall20 () + _c_8) ();
     1186          _ve_java_m_item = ((_ve_break + _ve_cont + _c_43 + _ge_auxcall18 + _c_30) () + (_c_27 + (_ve_split_m_vars + _ge_auxcall19 + _ge_auxcall20) () + _c_8) ());
    11941187          goto _block2;
    11951188        }
    1196       _block2__branch5: {}
     1189      _block2__branch6: {}
    11971190        {
    11981191          if (1 != 1)
    11991192          {
    1200             goto _block2__branch6;
     1193            goto _block2__branch7;
    12011194          }
    12021195          if (_vt_item.symbol_at (0))
    12031196          {
    1204             goto _block2__branch6;
    1205           }
    1206           Expr _v_deref__item6 (_vt_item, 0);
    1207           uintptr_t _v_len35 = _v_deref__item6.get_len ();
    1208           uintptr_t _v_len36 = 1;
     1197            goto _block2__branch7;
     1198          }
     1199          Expr _v_deref__item7 (_vt_item, 0);
     1200          uintptr_t _v_len35 = _v_deref__item7.get_len ();
     1201          uintptr_t _v_len36 = 2;
    12091202          if (_v_len35 < _v_len36)
    12101203          {
    1211             goto _block2__branch6;
     1204            goto _block2__branch7;
    12121205          }
    12131206          if (0 != 0)
    12141207          {
    1215             goto _block2__branch6;
     1208            goto _block2__branch7;
    12161209          }
    12171210          uintptr_t _v_len__body5 = (_v_len35 - _v_len36);
    1218           if (!_c_45.term_eq (_v_deref__item6, 0))
    1219           {
    1220             goto _block2__branch6;
    1221           }
    1222           Expr _ve_body (_v_deref__item6, (0 + 1), _v_len__body5);
     1211          if (_v_deref__item7.symbol_at ((0 + 1)))
     1212          {
     1213            goto _block2__branch7;
     1214          }
     1215          Expr _v_deref__deref__item7 (_v_deref__item7, (0 + 1));
     1216          uintptr_t _v_len37 = _v_deref__deref__item7.get_len ();
     1217          uintptr_t _v_len38 = 0;
     1218          if (_v_len37 < _v_len38)
     1219          {
     1220            goto _block2__branch7;
     1221          }
     1222          if (0 != 0)
     1223          {
     1224            goto _block2__branch7;
     1225          }
     1226          uintptr_t _v_len__label = (_v_len37 - _v_len38);
     1227          if (!_c_35.term_eq (_v_deref__item7, 0))
     1228          {
     1229            goto _block2__branch7;
     1230          }
     1231          Expr _ve_body (_v_deref__item7, (0 + 1 + 1), _v_len__body5);
     1232          Expr _ve_label (_v_deref__deref__item7, 0, _v_len__label);
    12231233          Expr _ge_auxcall21;
    1224           RF_CALL (Box::_q_, Module_m_Name, _ge_auxcall21);
     1234          RF_CALL (JavaMangle::Rfp2Java, (_c_35 + _ve_label) (), _ge_auxcall21);
    12251235          Expr _ge_auxcall22;
    1226           RF_CALL (Box::_q_, Func_m_Name, _ge_auxcall22);
     1236          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall22);
     1237          _ve_java_m_item = (_ge_auxcall21 + _c_44 + _ge_auxcall22 () + _c_8) ();
     1238          goto _block2;
     1239        }
     1240      _block2__branch7: {}
     1241        {
     1242          if (1 != 1)
     1243          {
     1244            goto _block2__branch8;
     1245          }
     1246          if (_vt_item.symbol_at (0))
     1247          {
     1248            goto _block2__branch8;
     1249          }
     1250          Expr _v_deref__item8 (_vt_item, 0);
     1251          uintptr_t _v_len39 = _v_deref__item8.get_len ();
     1252          uintptr_t _v_len40 = 1;
     1253          if (_v_len39 < _v_len40)
     1254          {
     1255            goto _block2__branch8;
     1256          }
     1257          if (0 != 0)
     1258          {
     1259            goto _block2__branch8;
     1260          }
     1261          uintptr_t _v_len__body6 = (_v_len39 - _v_len40);
     1262          if (!_c_45.term_eq (_v_deref__item8, 0))
     1263          {
     1264            goto _block2__branch8;
     1265          }
     1266          Expr _ve_body (_v_deref__item8, (0 + 1), _v_len__body6);
    12271267          Expr _ge_auxcall23;
    1228           RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall23);
    1229           _ve_java_m_item = (_c_50 + (_c_26 + ((_c_49 + (_c_48 + _ge_auxcall21 + _c_47 + _ge_auxcall22 + _c_46) ()) () + _ge_auxcall23) () + _c_8) ());
     1268          RF_CALL (Box::_q_, Module_m_Name, _ge_auxcall23);
     1269          Expr _ge_auxcall24;
     1270          RF_CALL (Box::_q_, Func_m_Name, _ge_auxcall24);
     1271          Expr _ge_auxcall25;
     1272          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall25);
     1273          _ve_java_m_item = (_c_50 + (_c_27 + ((_c_49 + (_c_48 + _ge_auxcall23 + _c_47 + _ge_auxcall24 + _c_46) ()) () + _ge_auxcall25) () + _c_8) ());
    12301274          goto _block2;
    12311275        }
    1232       _block2__branch6: {}
     1276      _block2__branch8: {}
    12331277        {
    12341278          if (1 != 1)
    12351279          {
    1236             goto _block2__branch7;
     1280            goto _block2__branch9;
    12371281          }
    12381282          if (_vt_item.symbol_at (0))
    12391283          {
    1240             goto _block2__branch7;
    1241           }
    1242           Expr _v_deref__item7 (_vt_item, 0);
    1243           uintptr_t _v_len37 = _v_deref__item7.get_len ();
    1244           uintptr_t _v_len38 = 1;
    1245           if (_v_len37 < _v_len38)
    1246           {
    1247             goto _block2__branch7;
     1284            goto _block2__branch9;
     1285          }
     1286          Expr _v_deref__item9 (_vt_item, 0);
     1287          uintptr_t _v_len41 = _v_deref__item9.get_len ();
     1288          uintptr_t _v_len42 = 1;
     1289          if (_v_len41 < _v_len42)
     1290          {
     1291            goto _block2__branch9;
    12481292          }
    12491293          if (0 != 0)
    12501294          {
    1251             goto _block2__branch7;
    1252           }
    1253           uintptr_t _v_len__body6 = (_v_len37 - _v_len38);
    1254           if (!_c_51.term_eq (_v_deref__item7, 0))
    1255           {
    1256             goto _block2__branch7;
    1257           }
    1258           Expr _ve_body (_v_deref__item7, (0 + 1), _v_len__body6);
    1259           Expr _ge_auxcall24;
    1260           RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall24);
    1261           _ve_java_m_item = (_c_53 + (_c_52 + _ge_auxcall24 ()) () + _c_8) ();
     1295            goto _block2__branch9;
     1296          }
     1297          uintptr_t _v_len__body7 = (_v_len41 - _v_len42);
     1298          if (!_c_51.term_eq (_v_deref__item9, 0))
     1299          {
     1300            goto _block2__branch9;
     1301          }
     1302          Expr _ve_body (_v_deref__item9, (0 + 1), _v_len__body7);
     1303          Expr _ge_auxcall26;
     1304          RF_CALL (ASAIL_m_To_m_Java, _ve_body, _ge_auxcall26);
     1305          _ve_java_m_item = (_c_53 + (_c_52 + _ge_auxcall26 ()) () + _c_8) ();
    12621306          goto _block2;
    12631307        }
    1264       _block2__branch7: {}
     1308      _block2__branch9: {}
    12651309        {
    12661310          if (1 != 1)
    12671311          {
    1268             goto _block2__branch8;
     1312            goto _block2__branch10;
    12691313          }
    12701314          if (!_vt_item.term_eq (_c_54, 0))
    12711315          {
    1272             goto _block2__branch8;
     1316            goto _block2__branch10;
    12731317          }
    12741318          _ve_java_m_item = _c_55;
    12751319          goto _block2;
    12761320        }
    1277       _block2__branch8: {}
     1321      _block2__branch10: {}
    12781322        {
    12791323          if (1 != 1)
    12801324          {
    1281             goto _block2__branch9;
     1325            goto _block2__branch11;
    12821326          }
    12831327          if (!_vt_item.term_eq (_c_56, 0))
    12841328          {
    1285             goto _block2__branch9;
    1286           }
    1287           Expr _ge_auxcall25;
    1288           RF_CALL (Box::_q_, Module_m_Name, _ge_auxcall25);
    1289           Expr _ge_auxcall26;
    1290           RF_CALL (Box::_q_, Func_m_Name, _ge_auxcall26);
    1291           _ve_java_m_item = (_c_48 + _ge_auxcall25 + _c_47 + _ge_auxcall26 + _c_57) ();
     1329            goto _block2__branch11;
     1330          }
     1331          Expr _ge_auxcall27;
     1332          RF_CALL (Box::_q_, Module_m_Name, _ge_auxcall27);
     1333          Expr _ge_auxcall28;
     1334          RF_CALL (Box::_q_, Func_m_Name, _ge_auxcall28);
     1335          _ve_java_m_item = (_c_48 + _ge_auxcall27 + _c_47 + _ge_auxcall28 + _c_57) ();
    12921336          goto _block2;
    12931337        }
    1294       _block2__branch9: {}
     1338      _block2__branch11: {}
    12951339        {
    12961340          if (1 != 1)
    12971341          {
    1298             goto _block2__branch10;
     1342            goto _block2__branch12;
    12991343          }
    13001344          if (_vt_item.symbol_at (0))
    13011345          {
    1302             goto _block2__branch10;
    1303           }
    1304           Expr _v_deref__item8 (_vt_item, 0);
    1305           if (_v_deref__item8.get_len () != 5)
    1306           {
    1307             goto _block2__branch10;
    1308           }
    1309           if (_v_deref__item8.symbol_at ((0 + 1 + 1)))
    1310           {
    1311             goto _block2__branch10;
    1312           }
    1313           Expr _v_deref__deref__item8 (_v_deref__item8, (0 + 1 + 1));
    1314           uintptr_t _v_len39 = _v_deref__deref__item8.get_len ();
    1315           uintptr_t _v_len40 = 0;
    1316           if (_v_len39 < _v_len40)
    1317           {
    1318             goto _block2__branch10;
     1346            goto _block2__branch12;
     1347          }
     1348          Expr _v_deref__item10 (_vt_item, 0);
     1349          if (_v_deref__item10.get_len () != 5)
     1350          {
     1351            goto _block2__branch12;
     1352          }
     1353          if (_v_deref__item10.symbol_at ((0 + 1 + 1)))
     1354          {
     1355            goto _block2__branch12;
     1356          }
     1357          Expr _v_deref__deref__item10 (_v_deref__item10, (0 + 1 + 1));
     1358          uintptr_t _v_len43 = _v_deref__deref__item10.get_len ();
     1359          uintptr_t _v_len44 = 0;
     1360          if (_v_len43 < _v_len44)
     1361          {
     1362            goto _block2__branch12;
    13191363          }
    13201364          if (0 != 0)
    13211365          {
    1322             goto _block2__branch10;
    1323           }
    1324           uintptr_t _v_len__min = (_v_len39 - _v_len40);
    1325           if (!_c_58.term_eq (_v_deref__item8, 0))
    1326           {
    1327             goto _block2__branch10;
    1328           }
    1329           Expr _vt_name (_v_deref__item8, (0 + 1), 1);
    1330           Expr _vt_var1 (_v_deref__item8, (0 + 1 + 1 + 1), 1);
    1331           Expr _vt_var2 (_v_deref__item8, (0 + 1 + 1 + 1 + 1), 1);
    1332           Expr _ve_min (_v_deref__deref__item8, 0, _v_len__min);
     1366            goto _block2__branch12;
     1367          }
     1368          uintptr_t _v_len__min = (_v_len43 - _v_len44);
     1369          if (!_c_58.term_eq (_v_deref__item10, 0))
     1370          {
     1371            goto _block2__branch12;
     1372          }
     1373          Expr _vt_name (_v_deref__item10, (0 + 1), 1);
     1374          Expr _vt_var1 (_v_deref__item10, (0 + 1 + 1 + 1), 1);
     1375          Expr _vt_var2 (_v_deref__item10, (0 + 1 + 1 + 1 + 1), 1);
     1376          Expr _ve_min (_v_deref__deref__item10, 0, _v_len__min);
    13331377          Expr _ve_a;
    13341378          Expr _ve_n;
     
    13411385          RF_CALL (Box::Box, empty, _vs_acc);
    13421386          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_min), _ve_min);
    1343           Expr _ge_auxcall27;
    1344           RF_CALL (Box::_q_, _vs_acc, _ge_auxcall27);
    1345           _ve_java_m_item = (_ve_a + _ge_auxcall27 + (_c_62 + _ve_new_m_var + _c_39 + _ve_n + _c_61 + _ve_min + _c_60) ());
     1387          Expr _ge_auxcall29;
     1388          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall29);
     1389          _ve_java_m_item = (_ve_a + _ge_auxcall29 + (_c_62 + _ve_new_m_var + _c_40 + _ve_n + _c_61 + _ve_min + _c_60) ());
    13461390          goto _block2;
    13471391        }
    1348       _block2__branch10: {}
     1392      _block2__branch12: {}
    13491393        {
    13501394          if (1 != 1)
    13511395          {
    1352             goto _block2__branch11;
     1396            goto _block2__branch13;
    13531397          }
    13541398          if (_vt_item.symbol_at (0))
    13551399          {
    1356             goto _block2__branch11;
    1357           }
    1358           Expr _v_deref__item9 (_vt_item, 0);
    1359           if (_v_deref__item9.get_len () != 5)
    1360           {
    1361             goto _block2__branch11;
    1362           }
    1363           if (_v_deref__item9.symbol_at ((0 + 1 + 1)))
    1364           {
    1365             goto _block2__branch11;
    1366           }
    1367           Expr _v_deref__deref__item9 (_v_deref__item9, (0 + 1 + 1));
    1368           uintptr_t _v_len41 = _v_deref__deref__item9.get_len ();
    1369           uintptr_t _v_len42 = 0;
    1370           if (_v_len41 < _v_len42)
    1371           {
    1372             goto _block2__branch11;
     1400            goto _block2__branch13;
     1401          }
     1402          Expr _v_deref__item11 (_vt_item, 0);
     1403          if (_v_deref__item11.get_len () != 5)
     1404          {
     1405            goto _block2__branch13;
     1406          }
     1407          if (_v_deref__item11.symbol_at ((0 + 1 + 1)))
     1408          {
     1409            goto _block2__branch13;
     1410          }
     1411          Expr _v_deref__deref__item11 (_v_deref__item11, (0 + 1 + 1));
     1412          uintptr_t _v_len45 = _v_deref__deref__item11.get_len ();
     1413          uintptr_t _v_len46 = 0;
     1414          if (_v_len45 < _v_len46)
     1415          {
     1416            goto _block2__branch13;
    13731417          }
    13741418          if (0 != 0)
    13751419          {
    1376             goto _block2__branch11;
    1377           }
    1378           uintptr_t _v_len__min2 = (_v_len41 - _v_len42);
    1379           if (!_c_63.term_eq (_v_deref__item9, 0))
    1380           {
    1381             goto _block2__branch11;
    1382           }
    1383           Expr _vt_name (_v_deref__item9, (0 + 1), 1);
    1384           Expr _vt_var1 (_v_deref__item9, (0 + 1 + 1 + 1), 1);
    1385           Expr _vt_var2 (_v_deref__item9, (0 + 1 + 1 + 1 + 1), 1);
    1386           Expr _ve_min (_v_deref__deref__item9, 0, _v_len__min2);
     1420            goto _block2__branch13;
     1421          }
     1422          uintptr_t _v_len__min2 = (_v_len45 - _v_len46);
     1423          if (!_c_63.term_eq (_v_deref__item11, 0))
     1424          {
     1425            goto _block2__branch13;
     1426          }
     1427          Expr _vt_name (_v_deref__item11, (0 + 1), 1);
     1428          Expr _vt_var1 (_v_deref__item11, (0 + 1 + 1 + 1), 1);
     1429          Expr _vt_var2 (_v_deref__item11, (0 + 1 + 1 + 1 + 1), 1);
     1430          Expr _ve_min (_v_deref__deref__item11, 0, _v_len__min2);
    13871431          Expr _ve_a;
    13881432          Expr _ve_n;
     
    13951439          RF_CALL (Box::Box, empty, _vs_acc);
    13961440          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_min), _ve_min);
    1397           Expr _ge_auxcall28;
    1398           RF_CALL (Box::_q_, _vs_acc, _ge_auxcall28);
    1399           _ve_java_m_item = (_ve_a + _ge_auxcall28 + (_c_62 + _ve_new_m_var + _c_39 + _ve_n + _c_64 + _ve_min + _c_60) ());
     1441          Expr _ge_auxcall30;
     1442          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall30);
     1443          _ve_java_m_item = (_ve_a + _ge_auxcall30 + (_c_62 + _ve_new_m_var + _c_40 + _ve_n + _c_64 + _ve_min + _c_60) ());
    14001444          goto _block2;
    14011445        }
    1402       _block2__branch11: {}
     1446      _block2__branch13: {}
    14031447        {
    14041448          if (1 != 1)
    14051449          {
    1406             goto _block2__branch12;
     1450            goto _block2__branch14;
    14071451          }
    14081452          if (_vt_item.symbol_at (0))
    14091453          {
    1410             goto _block2__branch12;
    1411           }
    1412           Expr _v_deref__item10 (_vt_item, 0);
    1413           uintptr_t _v_len43 = _v_deref__item10.get_len ();
    1414           uintptr_t _v_len44 = 2;
    1415           if (_v_len43 < _v_len44)
    1416           {
    1417             goto _block2__branch12;
     1454            goto _block2__branch14;
     1455          }
     1456          Expr _v_deref__item12 (_vt_item, 0);
     1457          uintptr_t _v_len47 = _v_deref__item12.get_len ();
     1458          uintptr_t _v_len48 = 2;
     1459          if (_v_len47 < _v_len48)
     1460          {
     1461            goto _block2__branch14;
    14181462          }
    14191463          if (0 != 0)
    14201464          {
    1421             goto _block2__branch12;
    1422           }
    1423           uintptr_t _v_len__expr = (_v_len43 - _v_len44);
    1424           if (!_c_65.term_eq (_v_deref__item10, 0))
    1425           {
    1426             goto _block2__branch12;
    1427           }
    1428           Expr _vt_var (_v_deref__item10, (0 + 1), 1);
    1429           Expr _ve_expr (_v_deref__item10, (0 + 1 + 1), _v_len__expr);
     1465            goto _block2__branch14;
     1466          }
     1467          uintptr_t _v_len__expr = (_v_len47 - _v_len48);
     1468          if (!_c_65.term_eq (_v_deref__item12, 0))
     1469          {
     1470            goto _block2__branch14;
     1471          }
     1472          Expr _vt_var (_v_deref__item12, (0 + 1), 1);
     1473          Expr _ve_expr (_v_deref__item12, (0 + 1 + 1), _v_len__expr);
    14301474          Expr _ve_a;
    14311475          Expr _ve_j_m_expr;
     
    14391483                goto _block10__branch1;
    14401484              }
    1441               RF_lsplit (_v__q_2, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_197_m_22, _v_lsplit___q_2);
     1485              RF_lsplit (_v__q_2, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_199_m_22, _v_lsplit___q_2);
    14421486              for ( ; ; RF_iter(_v__q_2)++)
    14431487              {
     
    14471491                    goto _block10__branch1;
    14481492                  }
    1449                   uintptr_t _v_len45 = _v_lsplit___q_2.get_len ();
    1450                   uintptr_t _v_len46 = 1;
    1451                   if (_v_len45 < _v_len46)
     1493                  uintptr_t _v_len49 = _v_lsplit___q_2.get_len ();
     1494                  uintptr_t _v_len50 = 1;
     1495                  if (_v_len49 < _v_len50)
    14521496                  {
    14531497                    goto _block10__branch1;
     
    14571501                    goto _continue2;
    14581502                  }
    1459                   uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_197_m_30 = (_v_len45 - _v_len46);
     1503                  uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_199_m_30 = (_v_len49 - _v_len50);
    14601504                  if (!_vt_var.term_eq (_v_lsplit___q_2, 0))
    14611505                  {
    14621506                    goto _continue2;
    14631507                  }
    1464                   Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_197_m_30 (_v_lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_197_m_30);
    1465                   Expr _ge_auxcall29;
    1466                   RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall29);
    1467                   _ve_java_m_item = (_ve_a + (_ge_auxcall29 + _c_66 + _ve_j_m_expr + _c_60) ());
     1508                  Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_199_m_30 (_v_lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_199_m_30);
     1509                  Expr _ge_auxcall31;
     1510                  RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall31);
     1511                  _ve_java_m_item = (_ve_a + (_ge_auxcall31 + _c_66 + _ve_j_m_expr + _c_60) ());
    14681512                  goto _exit2;
    14691513                }
     
    14751519          _block10__branch1: {}
    14761520            {
    1477               Expr _ge_auxcall30;
    1478               if (!RF_CALL (Table::Lookup, (Result, _vt_var), _ge_auxcall30))
     1521              Expr _ge_auxcall32;
     1522              if (!RF_CALL (Table::Lookup, (Result, _vt_var), _ge_auxcall32))
    14791523              {
    14801524                goto _block10__branch2;
    14811525              }
    1482               _ve_java_m_item = (_ve_a + (_ge_auxcall30 + _c_66 + _ve_j_m_expr + _c_60) ());
     1526              _ve_java_m_item = (_ve_a + (_ge_auxcall32 + _c_66 + _ve_j_m_expr + _c_60) ());
    14831527              goto _block10;
    14841528            }
    14851529          _block10__branch2: {}
    1486             Expr _ge_auxcall31;
    1487             RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall31);
    1488             _ve_java_m_item = (_ve_a + (_ge_auxcall31 + _c_39 + _ve_j_m_expr + _c_67) ());
     1530            Expr _ge_auxcall33;
     1531            RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall33);
     1532            _ve_java_m_item = (_ve_a + (_ge_auxcall33 + _c_40 + _ve_j_m_expr + _c_67) ());
    14891533          }
    14901534        _block10: {}
    14911535          goto _block2;
    14921536        }
    1493       _block2__branch12: {}
     1537      _block2__branch14: {}
    14941538        {
    14951539          if (1 != 1)
    14961540          {
    1497             goto _block2__branch13;
     1541            goto _block2__branch15;
    14981542          }
    14991543          if (_vt_item.symbol_at (0))
    15001544          {
    1501             goto _block2__branch13;
    1502           }
    1503           Expr _v_deref__item11 (_vt_item, 0);
    1504           if (_v_deref__item11.get_len () != 3)
    1505           {
    1506             goto _block2__branch13;
    1507           }
    1508           if (!_c_68.term_eq (_v_deref__item11, 0))
    1509           {
    1510             goto _block2__branch13;
    1511           }
    1512           if (!_v_deref__item11.symbol_at ((0 + 1)))
    1513           {
    1514             goto _block2__branch13;
    1515           }
    1516           Expr _vs_type (_v_deref__item11, (0 + 1), 1);
    1517           Expr _vt_var (_v_deref__item11, (0 + 1 + 1), 1);
     1545            goto _block2__branch15;
     1546          }
     1547          Expr _v_deref__item13 (_vt_item, 0);
     1548          if (_v_deref__item13.get_len () != 3)
     1549          {
     1550            goto _block2__branch15;
     1551          }
     1552          if (!_c_68.term_eq (_v_deref__item13, 0))
     1553          {
     1554            goto _block2__branch15;
     1555          }
     1556          if (!_v_deref__item13.symbol_at ((0 + 1)))
     1557          {
     1558            goto _block2__branch15;
     1559          }
     1560          Expr _vs_type (_v_deref__item13, (0 + 1), 1);
     1561          Expr _vt_var (_v_deref__item13, (0 + 1 + 1), 1);
    15181562          Expr _ve_j_m_var;
    15191563          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ve_j_m_var);
     
    15241568                goto _block11__branch1;
    15251569              }
    1526               if (!_vs_type.term_eq (_c_20, 0))
     1570              if (!_vs_type.term_eq (_c_21, 0))
    15271571              {
    15281572                goto _block11__branch1;
     
    15341578          _block11__branch1: {}
    15351579            RF_CALL (Table::Unbind, (Result, _vt_var), /*void*/);
    1536             _ve_java_m_item = (_c_40 + _ve_j_m_var + _c_71) ();
     1580            _ve_java_m_item = (_c_41 + _ve_j_m_var + _c_71) ();
    15371581          }
    15381582        _block11: {}
    15391583          goto _block2;
    15401584        }
    1541       _block2__branch13: {}
     1585      _block2__branch15: {}
    15421586        {
    15431587          if (1 != 1)
    15441588          {
    1545             goto _block2__branch14;
     1589            goto _block2__branch16;
    15461590          }
    15471591          if (_vt_item.symbol_at (0))
    15481592          {
    1549             goto _block2__branch14;
    1550           }
    1551           Expr _v_deref__item12 (_vt_item, 0);
    1552           uintptr_t _v_len47 = _v_deref__item12.get_len ();
    1553           uintptr_t _v_len48 = 2;
    1554           if (_v_len47 < _v_len48)
    1555           {
    1556             goto _block2__branch14;
     1593            goto _block2__branch16;
     1594          }
     1595          Expr _v_deref__item14 (_vt_item, 0);
     1596          uintptr_t _v_len51 = _v_deref__item14.get_len ();
     1597          uintptr_t _v_len52 = 2;
     1598          if (_v_len51 < _v_len52)
     1599          {
     1600            goto _block2__branch16;
    15571601          }
    15581602          if (0 != 0)
    15591603          {
    1560             goto _block2__branch14;
    1561           }
    1562           uintptr_t _v_len__expr2 = (_v_len47 - _v_len48);
    1563           if (!_c_0.term_eq (_v_deref__item12, 0))
    1564           {
    1565             goto _block2__branch14;
    1566           }
    1567           Expr _vt_var (_v_deref__item12, (0 + 1), 1);
    1568           Expr _ve_expr (_v_deref__item12, (0 + 1 + 1), _v_len__expr2);
     1604            goto _block2__branch16;
     1605          }
     1606          uintptr_t _v_len__expr2 = (_v_len51 - _v_len52);
     1607          if (!_c_0.term_eq (_v_deref__item14, 0))
     1608          {
     1609            goto _block2__branch16;
     1610          }
     1611          Expr _vt_var (_v_deref__item14, (0 + 1), 1);
     1612          Expr _ve_expr (_v_deref__item14, (0 + 1 + 1), _v_len__expr2);
    15691613          Expr _vs_acc;
    15701614          RF_CALL (Box::Box, empty, _vs_acc);
    15711615          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_expr), _ve_expr);
    1572           Expr _ge_auxcall32;
    1573           RF_CALL (Box::_q_, _vs_acc, _ge_auxcall32);
    1574           Expr _ge_auxcall33;
    1575           RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall33);
    1576           _ve_java_m_item = (_ge_auxcall32 + (_c_72 + _ge_auxcall33 + _c_39 + _ve_expr + _c_67) ());
     1616          Expr _ge_auxcall34;
     1617          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall34);
     1618          Expr _ge_auxcall35;
     1619          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall35);
     1620          _ve_java_m_item = (_ge_auxcall34 + (_c_72 + _ge_auxcall35 + _c_40 + _ve_expr + _c_67) ());
    15771621          goto _block2;
    15781622        }
    1579       _block2__branch14: {}
     1623      _block2__branch16: {}
    15801624        {
    15811625          if (1 != 1)
    15821626          {
    1583             goto _block2__branch15;
     1627            goto _block2__branch17;
    15841628          }
    15851629          if (_vt_item.symbol_at (0))
    15861630          {
    1587             goto _block2__branch15;
    1588           }
    1589           Expr _v_deref__item13 (_vt_item, 0);
    1590           uintptr_t _v_len49 = _v_deref__item13.get_len ();
    1591           uintptr_t _v_len50 = 2;
    1592           if (_v_len49 < _v_len50)
    1593           {
    1594             goto _block2__branch15;
     1631            goto _block2__branch17;
     1632          }
     1633          Expr _v_deref__item15 (_vt_item, 0);
     1634          uintptr_t _v_len53 = _v_deref__item15.get_len ();
     1635          uintptr_t _v_len54 = 2;
     1636          if (_v_len53 < _v_len54)
     1637          {
     1638            goto _block2__branch17;
    15951639          }
    15961640          if (0 != 0)
    15971641          {
    1598             goto _block2__branch15;
    1599           }
    1600           uintptr_t _v_len__expr3 = (_v_len49 - _v_len50);
    1601           if (!_c_73.term_eq (_v_deref__item13, 0))
    1602           {
    1603             goto _block2__branch15;
    1604           }
    1605           Expr _vt_var (_v_deref__item13, (0 + 1), 1);
    1606           Expr _ve_expr (_v_deref__item13, (0 + 1 + 1), _v_len__expr3);
     1642            goto _block2__branch17;
     1643          }
     1644          uintptr_t _v_len__expr3 = (_v_len53 - _v_len54);
     1645          if (!_c_73.term_eq (_v_deref__item15, 0))
     1646          {
     1647            goto _block2__branch17;
     1648          }
     1649          Expr _vt_var (_v_deref__item15, (0 + 1), 1);
     1650          Expr _ve_expr (_v_deref__item15, (0 + 1 + 1), _v_len__expr3);
    16071651          RF_CALL (Table::Unbind, (Result, _vt_var), /*void*/);
    16081652          Expr _ve_a;
    16091653          Expr _ve_j_m_expr;
    16101654          RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
    1611           Expr _ge_auxcall34;
    1612           RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall34);
    1613           _ve_java_m_item = (_ve_a + (_c_40 + _ge_auxcall34 + _c_39 + _ve_j_m_expr + _c_67) ());
     1655          Expr _ge_auxcall36;
     1656          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall36);
     1657          _ve_java_m_item = (_ve_a + (_c_41 + _ge_auxcall36 + _c_40 + _ve_j_m_expr + _c_67) ());
    16141658          goto _block2;
    16151659        }
    1616       _block2__branch15: {}
     1660      _block2__branch17: {}
    16171661        {
    16181662          if (1 != 1)
    16191663          {
    1620             goto _block2__branch16;
     1664            goto _block2__branch18;
    16211665          }
    16221666          if (_vt_item.symbol_at (0))
    16231667          {
    1624             goto _block2__branch16;
    1625           }
    1626           Expr _v_deref__item14 (_vt_item, 0);
    1627           uintptr_t _v_len51 = _v_deref__item14.get_len ();
    1628           uintptr_t _v_len52 = 3;
    1629           if (_v_len51 < _v_len52)
    1630           {
    1631             goto _block2__branch16;
     1668            goto _block2__branch18;
     1669          }
     1670          Expr _v_deref__item16 (_vt_item, 0);
     1671          uintptr_t _v_len55 = _v_deref__item16.get_len ();
     1672          uintptr_t _v_len56 = 3;
     1673          if (_v_len55 < _v_len56)
     1674          {
     1675            goto _block2__branch18;
    16321676          }
    16331677          if (0 != 0)
    16341678          {
    1635             goto _block2__branch16;
    1636           }
    1637           uintptr_t _v_len__expr4 = (_v_len51 - _v_len52);
    1638           if (_v_deref__item14.symbol_at ((0 + 1 + 1 + _v_len__expr4)))
    1639           {
    1640             goto _block2__branch16;
    1641           }
    1642           Expr _v_deref__deref__item14 (_v_deref__item14, (0 + 1 + 1 + _v_len__expr4));
    1643           uintptr_t _v_len53 = _v_deref__deref__item14.get_len ();
    1644           uintptr_t _v_len54 = 0;
    1645           if (_v_len53 < _v_len54)
    1646           {
    1647             goto _block2__branch16;
     1679            goto _block2__branch18;
     1680          }
     1681          uintptr_t _v_len__expr4 = (_v_len55 - _v_len56);
     1682          if (_v_deref__item16.symbol_at ((0 + 1 + 1 + _v_len__expr4)))
     1683          {
     1684            goto _block2__branch18;
     1685          }
     1686          Expr _v_deref__deref__item16 (_v_deref__item16, (0 + 1 + 1 + _v_len__expr4));
     1687          uintptr_t _v_len57 = _v_deref__deref__item16.get_len ();
     1688          uintptr_t _v_len58 = 0;
     1689          if (_v_len57 < _v_len58)
     1690          {
     1691            goto _block2__branch18;
    16481692          }
    16491693          if (0 != 0)
    16501694          {
    1651             goto _block2__branch16;
    1652           }
    1653           uintptr_t _v_len__pos = (_v_len53 - _v_len54);
    1654           if (!_c_74.term_eq (_v_deref__item14, 0))
    1655           {
    1656             goto _block2__branch16;
    1657           }
    1658           Expr _vt_var (_v_deref__item14, (0 + 1), 1);
    1659           Expr _ve_expr (_v_deref__item14, (0 + 1 + 1), _v_len__expr4);
    1660           Expr _ve_pos (_v_deref__deref__item14, 0, _v_len__pos);
     1695            goto _block2__branch18;
     1696          }
     1697          uintptr_t _v_len__pos = (_v_len57 - _v_len58);
     1698          if (!_c_74.term_eq (_v_deref__item16, 0))
     1699          {
     1700            goto _block2__branch18;
     1701          }
     1702          Expr _vt_var (_v_deref__item16, (0 + 1), 1);
     1703          Expr _ve_expr (_v_deref__item16, (0 + 1 + 1), _v_len__expr4);
     1704          Expr _ve_pos (_v_deref__deref__item16, 0, _v_len__pos);
    16611705          RF_CALL (Table::Unbind, (Result, _vt_var), /*void*/);
    16621706          Expr _ve_a;
     
    16661710          RF_CALL (Box::Box, empty, _vs_acc);
    16671711          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
    1668           Expr _ge_auxcall35;
    1669           RF_CALL (Box::_q_, _vs_acc, _ge_auxcall35);
    1670           Expr _ge_auxcall36;
    1671           RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall36);
    1672           _ve_java_m_item = (_ve_a + _ge_auxcall35 + (_c_40 + _ge_auxcall36 + _c_76 + _ve_j_m_expr + _c_75 + _ve_pos + _c_60) ());
     1712          Expr _ge_auxcall37;
     1713          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall37);
     1714          Expr _ge_auxcall38;
     1715          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall38);
     1716          _ve_java_m_item = (_ve_a + _ge_auxcall37 + (_c_41 + _ge_auxcall38 + _c_76 + _ve_j_m_expr + _c_75 + _ve_pos + _c_60) ());
    16731717          goto _block2;
    16741718        }
    1675       _block2__branch16: {}
     1719      _block2__branch18: {}
    16761720        {
    16771721          if (1 != 1)
    16781722          {
    1679             goto _block2__branch17;
     1723            goto _block2__branch19;
    16801724          }
    16811725          if (_vt_item.symbol_at (0))
    16821726          {
    1683             goto _block2__branch17;
    1684           }
    1685           Expr _v_deref__item15 (_vt_item, 0);
    1686           uintptr_t _v_len55 = _v_deref__item15.get_len ();
    1687           uintptr_t _v_len56 = 4;
    1688           if (_v_len55 < _v_len56)
    1689           {
    1690             goto _block2__branch17;
     1727            goto _block2__branch19;
     1728          }
     1729          Expr _v_deref__item17 (_vt_item, 0);
     1730          uintptr_t _v_len59 = _v_deref__item17.get_len ();
     1731          uintptr_t _v_len60 = 4;
     1732          if (_v_len59 < _v_len60)
     1733          {
     1734            goto _block2__branch19;
    16911735          }
    16921736          if (0 != 0)
    16931737          {
    1694             goto _block2__branch17;
    1695           }
    1696           uintptr_t _v_len__expr5 = (_v_len55 - _v_len56);
    1697           if (_v_deref__item15.symbol_at ((0 + 1 + 1 + _v_len__expr5)))
    1698           {
    1699             goto _block2__branch17;
    1700           }
    1701           if (_v_deref__item15.symbol_at ((0 + 1 + 1 + _v_len__expr5 + 1)))
    1702           {
    1703             goto _block2__branch17;
    1704           }
    1705           Expr _v_deref__deref__item15 (_v_deref__item15, (0 + 1 + 1 + _v_len__expr5));
    1706           Expr _v_deref__deref__item152 (_v_deref__item15, (0 + 1 + 1 + _v_len__expr5 + 1));
    1707           uintptr_t _v_len57 = _v_deref__deref__item152.get_len ();
    1708           uintptr_t _v_len58 = 0;
    1709           if (_v_len57 < _v_len58)
    1710           {
    1711             goto _block2__branch17;
     1738            goto _block2__branch19;
     1739          }
     1740          uintptr_t _v_len__expr5 = (_v_len59 - _v_len60);
     1741          if (_v_deref__item17.symbol_at ((0 + 1 + 1 + _v_len__expr5)))
     1742          {
     1743            goto _block2__branch19;
     1744          }
     1745          if (_v_deref__item17.symbol_at ((0 + 1 + 1 + _v_len__expr5 + 1)))
     1746          {
     1747            goto _block2__branch19;
     1748          }
     1749          Expr _v_deref__deref__item17 (_v_deref__item17, (0 + 1 + 1 + _v_len__expr5));
     1750          Expr _v_deref__deref__item172 (_v_deref__item17, (0 + 1 + 1 + _v_len__expr5 + 1));
     1751          uintptr_t _v_len61 = _v_deref__deref__item172.get_len ();
     1752          uintptr_t _v_len62 = 0;
     1753          if (_v_len61 < _v_len62)
     1754          {
     1755            goto _block2__branch19;
    17121756          }
    17131757          if (0 != 0)
    17141758          {
    1715             goto _block2__branch17;
    1716           }
    1717           uintptr_t _v_len__len = (_v_len57 - _v_len58);
    1718           uintptr_t _v_len59 = _v_deref__deref__item15.get_len ();
    1719           uintptr_t _v_len60 = 0;
    1720           if (_v_len59 < _v_len60)
    1721           {
    1722             goto _block2__branch17;
     1759            goto _block2__branch19;
     1760          }
     1761          uintptr_t _v_len__len = (_v_len61 - _v_len62);
     1762          uintptr_t _v_len63 = _v_deref__deref__item17.get_len ();
     1763          uintptr_t _v_len64 = 0;
     1764          if (_v_len63 < _v_len64)
     1765          {
     1766            goto _block2__branch19;
    17231767          }
    17241768          if (0 != 0)
    17251769          {
    1726             goto _block2__branch17;
    1727           }
    1728           uintptr_t _v_len__pos2 = (_v_len59 - _v_len60);
    1729           if (!_c_77.term_eq (_v_deref__item15, 0))
    1730           {
    1731             goto _block2__branch17;
    1732           }
    1733           Expr _vt_var (_v_deref__item15, (0 + 1), 1);
    1734           Expr _ve_expr (_v_deref__item15, (0 + 1 + 1), _v_len__expr5);
    1735           Expr _ve_pos (_v_deref__deref__item15, 0, _v_len__pos2);
    1736           Expr _ve_len (_v_deref__deref__item152, 0, _v_len__len);
     1770            goto _block2__branch19;
     1771          }
     1772          uintptr_t _v_len__pos2 = (_v_len63 - _v_len64);
     1773          if (!_c_77.term_eq (_v_deref__item17, 0))
     1774          {
     1775            goto _block2__branch19;
     1776          }
     1777          Expr _vt_var (_v_deref__item17, (0 + 1), 1);
     1778          Expr _ve_expr (_v_deref__item17, (0 + 1 + 1), _v_len__expr5);
     1779          Expr _ve_pos (_v_deref__deref__item17, 0, _v_len__pos2);
     1780          Expr _ve_len (_v_deref__deref__item172, 0, _v_len__len);
    17371781          RF_CALL (Table::Unbind, (Result, _vt_var), /*void*/);
    17381782          Expr _ve_a;
     
    17431787          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
    17441788          RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_len), _ve_len);
    1745           Expr _ge_auxcall37;
    1746           RF_CALL (Box::_q_, _vs_acc, _ge_auxcall37);
    1747           Expr _ge_auxcall38;
    1748           RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall38);
    1749           _ve_java_m_item = (_ve_a + _ge_auxcall37 + (_c_40 + _ge_auxcall38 + _c_79 + _ve_j_m_expr + _c_78 + _ve_pos + _c_78 + _ve_len + _c_60) ());
    1750           goto _block2;
    1751         }
    1752       _block2__branch17: {}
    1753         {
    1754           if (1 != 1)
    1755           {
    1756             goto _block2__branch18;
    1757           }
    1758           if (_vt_item.symbol_at (0))
    1759           {
    1760             goto _block2__branch18;
    1761           }
    1762           Expr _v_deref__item16 (_vt_item, 0);
    1763           if (_v_deref__item16.get_len () != 2)
    1764           {
    1765             goto _block2__branch18;
    1766           }
    1767           if (!_c_80.term_eq (_v_deref__item16, 0))
    1768           {
    1769             goto _block2__branch18;
    1770           }
    1771           Expr _vt_var (_v_deref__item16, (0 + 1), 1);
    17721789          Expr _ge_auxcall39;
    1773           RF_CALL (Var_m_To_m_Java, _vt_var, _ge_auxcall39);
    1774           _ve_java_m_item = (_ge_auxcall39 + _c_81) ();
    1775           goto _block2;
    1776         }
    1777       _block2__branch18: {}
    1778         {
    1779           if (1 != 1)
    1780           {
    1781             goto _block2__branch19;
    1782           }
    1783           if (_vt_item.symbol_at (0))
    1784           {
    1785             goto _block2__branch19;
    1786           }
    1787           Expr _v_deref__item17 (_vt_item, 0);
    1788           if (_v_deref__item17.get_len () != 2)
    1789           {
    1790             goto _block2__branch19;
    1791           }
    1792           if (!_c_82.term_eq (_v_deref__item17, 0))
    1793           {
    1794             goto _block2__branch19;
    1795           }
    1796           Expr _vt_label (_v_deref__item17, (0 + 1), 1);
     1790          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall39);
    17971791          Expr _ge_auxcall40;
    1798           RF_CALL (JavaMangle::Rfp2Java, (_c_34 + _vt_label) (), _ge_auxcall40);
    1799           _ve_java_m_item = (_c_83 + _ge_auxcall40 + _c_67) ();
     1792          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall40);
     1793          _ve_java_m_item = (_ve_a + _ge_auxcall39 + (_c_41 + _ge_auxcall40 + _c_79 + _ve_j_m_expr + _c_78 + _ve_pos + _c_78 + _ve_len + _c_60) ());
    18001794          goto _block2;
    18011795        }
     
    18151809            goto _block2__branch20;
    18161810          }
    1817           if (!_c_84.term_eq (_v_deref__item18, 0))
     1811          if (!_c_80.term_eq (_v_deref__item18, 0))
    18181812          {
    18191813            goto _block2__branch20;
    18201814          }
    1821           Expr _vt_label (_v_deref__item18, (0 + 1), 1);
     1815          Expr _vt_var (_v_deref__item18, (0 + 1), 1);
    18221816          Expr _ge_auxcall41;
    1823           RF_CALL (JavaMangle::Rfp2Java, (_c_34 + _vt_label) (), _ge_auxcall41);
    1824           _ve_java_m_item = (_c_85 + _ge_auxcall41 + _c_67) ();
     1817          RF_CALL (Var_m_To_m_Java, _vt_var, _ge_auxcall41);
     1818          _ve_java_m_item = (_ge_auxcall41 + _c_81) ();
    18251819          goto _block2;
    18261820        }
     
    18361830          }
    18371831          Expr _v_deref__item19 (_vt_item, 0);
    1838           uintptr_t _v_len61 = _v_deref__item19.get_len ();
    1839           uintptr_t _v_len62 = 1;
    1840           if (_v_len61 < _v_len62)
     1832          if (_v_deref__item19.get_len () != 2)
    18411833          {
    18421834            goto _block2__branch21;
    18431835          }
     1836          if (!_c_82.term_eq (_v_deref__item19, 0))
     1837          {
     1838            goto _block2__branch21;
     1839          }
     1840          Expr _vt_label (_v_deref__item19, (0 + 1), 1);
     1841          Expr _ge_auxcall42;
     1842          RF_CALL (JavaMangle::Rfp2Java, (_c_35 + _vt_label) (), _ge_auxcall42);
     1843          _ve_java_m_item = (_c_83 + _ge_auxcall42 + _c_67) ();
     1844          goto _block2;
     1845        }
     1846      _block2__branch21: {}
     1847        {
     1848          if (1 != 1)
     1849          {
     1850            goto _block2__branch22;
     1851          }
     1852          if (_vt_item.symbol_at (0))
     1853          {
     1854            goto _block2__branch22;
     1855          }
     1856          Expr _v_deref__item20 (_vt_item, 0);
     1857          if (_v_deref__item20.get_len () != 2)
     1858          {
     1859            goto _block2__branch22;
     1860          }
     1861          if (!_c_84.term_eq (_v_deref__item20, 0))
     1862          {
     1863            goto _block2__branch22;
     1864          }
     1865          Expr _vt_label (_v_deref__item20, (0 + 1), 1);
     1866          Expr _ge_auxcall43;
     1867          RF_CALL (JavaMangle::Rfp2Java, (_c_35 + _vt_label) (), _ge_auxcall43);
     1868          _ve_java_m_item = (_c_85 + _ge_auxcall43 + _c_67) ();
     1869          goto _block2;
     1870        }
     1871      _block2__branch22: {}
     1872        {
     1873          if (1 != 1)
     1874          {
     1875            goto _block2__branch23;
     1876          }
     1877          if (_vt_item.symbol_at (0))
     1878          {
     1879            goto _block2__branch23;
     1880          }
     1881          Expr _v_deref__item21 (_vt_item, 0);
     1882          uintptr_t _v_len65 = _v_deref__item21.get_len ();
     1883          uintptr_t _v_len66 = 1;
     1884          if (_v_len65 < _v_len66)
     1885          {
     1886            goto _block2__branch23;
     1887          }
    18441888          if (0 != 0)
    18451889          {
    1846             goto _block2__branch21;
    1847           }
    1848           uintptr_t _v_len__expr6 = (_v_len61 - _v_len62);
    1849           if (!_c_86.term_eq (_v_deref__item19, 0))
    1850           {
    1851             goto _block2__branch21;
    1852           }
    1853           Expr _ve_expr (_v_deref__item19, (0 + 1), _v_len__expr6);
     1890            goto _block2__branch23;
     1891          }
     1892          uintptr_t _v_len__expr6 = (_v_len65 - _v_len66);
     1893          if (!_c_86.term_eq (_v_deref__item21, 0))
     1894          {
     1895            goto _block2__branch23;
     1896          }
     1897          Expr _ve_expr (_v_deref__item21, (0 + 1), _v_len__expr6);
    18541898          Expr _ve_a;
    18551899          Expr _ve_j_m_expr;
     
    18581902          goto _block2;
    18591903        }
    1860       _block2__branch21: {}
     1904      _block2__branch23: {}
    18611905        {
    18621906          if (1 != 1)
    18631907          {
    1864             goto _block2__branch22;
     1908            goto _block2__branch24;
    18651909          }
    18661910          if (_vt_item.symbol_at (0))
    18671911          {
    1868             goto _block2__branch22;
    1869           }
    1870           Expr _v_deref__item20 (_vt_item, 0);
    1871           uintptr_t _v_len63 = _v_deref__item20.get_len ();
    1872           uintptr_t _v_len64 = 4;
    1873           if (_v_len63 < _v_len64)
    1874           {
    1875             goto _block2__branch22;
     1912            goto _block2__branch24;
     1913          }
     1914          Expr _v_deref__item22 (_vt_item, 0);
     1915          uintptr_t _v_len67 = _v_deref__item22.get_len ();
     1916          uintptr_t _v_len68 = 4;
     1917          if (_v_len67 < _v_len68)
     1918          {
     1919            goto _block2__branch24;
    18761920          }
    18771921          if (0 != 0)
    18781922          {
    1879             goto _block2__branch22;
    1880           }
    1881           uintptr_t _v_len__expr7 = (_v_len63 - _v_len64);
    1882           if (_v_deref__item20.symbol_at ((0 + 1 + 1 + 1)))
    1883           {
    1884             goto _block2__branch22;
    1885           }
    1886           Expr _v_deref__deref__item20 (_v_deref__item20, (0 + 1 + 1 + 1));
    1887           uintptr_t _v_len65 = _v_deref__deref__item20.get_len ();
    1888           uintptr_t _v_len66 = 0;
    1889           if (_v_len65 < _v_len66)
    1890           {
    1891             goto _block2__branch22;
     1923            goto _block2__branch24;
     1924          }
     1925          uintptr_t _v_len__expr7 = (_v_len67 - _v_len68);
     1926          if (_v_deref__item22.symbol_at ((0 + 1 + 1 + 1)))
     1927          {
     1928            goto _block2__branch24;
     1929          }
     1930          Expr _v_deref__deref__item222 (_v_deref__item22, (0 + 1 + 1 + 1));
     1931          uintptr_t _v_len69 = _v_deref__deref__item222.get_len ();
     1932          uintptr_t _v_len70 = 0;
     1933          if (_v_len69 < _v_len70)
     1934          {
     1935            goto _block2__branch24;
    18921936          }
    18931937          if (0 != 0)
    18941938          {
    1895             goto _block2__branch22;
    1896           }
    1897           uintptr_t _v_len__comment = (_v_len65 - _v_len66);
    1898           if (!_c_88.term_eq (_v_deref__item20, 0))
    1899           {
    1900             goto _block2__branch22;
    1901           }
    1902           if (!_v_deref__item20.symbol_at ((0 + 1)))
    1903           {
    1904             goto _block2__branch22;
    1905           }
    1906           Expr _vs_linkage (_v_deref__item20, (0 + 1), 1);
    1907           Expr _vt_name (_v_deref__item20, (0 + 1 + 1), 1);
    1908           Expr _ve_expr (_v_deref__item20, (0 + 1 + 1 + 1 + 1), _v_len__expr7);
    1909           Expr _ve_comment (_v_deref__deref__item20, 0, _v_len__comment);
     1939            goto _block2__branch24;
     1940          }
     1941          uintptr_t _v_len__comment = (_v_len69 - _v_len70);
     1942          if (!_c_88.term_eq (_v_deref__item22, 0))
     1943          {
     1944            goto _block2__branch24;
     1945          }
     1946          if (!_v_deref__item22.symbol_at ((0 + 1)))
     1947          {
     1948            goto _block2__branch24;
     1949          }
     1950          Expr _vs_linkage (_v_deref__item22, (0 + 1), 1);
     1951          Expr _vt_name (_v_deref__item22, (0 + 1 + 1), 1);
     1952          Expr _ve_expr (_v_deref__item22, (0 + 1 + 1 + 1 + 1), _v_len__expr7);
     1953          Expr _ve_comment (_v_deref__deref__item222, 0, _v_len__comment);
    19101954          Expr _ve_n;
    19111955          {
     
    19201964              }
    19211965              Expr _v_deref__name (_vt_name, 0);
    1922               uintptr_t _v_len67 = _v_deref__name.get_len ();
    1923               uintptr_t _v_len68 = 1;
    1924               if (_v_len67 < _v_len68)
     1966              uintptr_t _v_len71 = _v_deref__name.get_len ();
     1967              uintptr_t _v_len72 = 1;
     1968              if (_v_len71 < _v_len72)
    19251969              {
    19261970                goto _block12__branch1;
     
    19301974                goto _block12__branch1;
    19311975              }
    1932               uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_243_m_27 = (_v_len67 - _v_len68);
     1976              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_245_m_27 = (_v_len71 - _v_len72);
    19331977              if (!_c_89.term_eq (_v_deref__name, 0))
    19341978              {
    19351979                goto _block12__branch1;
    19361980              }
    1937               Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_243_m_27 (_v_deref__name, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_243_m_27);
     1981              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_245_m_27 (_v_deref__name, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_245_m_27);
    19381982              RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ve_n);
    19391983              goto _block12;
     
    19461990          Expr _ve_j_m_expr;
    19471991          RF_CALL (Const_m_Expr_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
    1948           Expr _ge_auxcall42;
    1949           RF_CALL (Access_m_Mode, _vt_name, _ge_auxcall42);
    1950           _ve_java_m_item = (_ve_a + (_c_25 + _ge_auxcall42 + _c_90 + _ve_n + _c_39 + _ve_j_m_expr + _c_67) ());
     1992          Expr _ge_auxcall44;
     1993          RF_CALL (Access_m_Mode, _vt_name, _ge_auxcall44);
     1994          _ve_java_m_item = (_ve_a + (_c_26 + _ge_auxcall44 + _c_90 + _ve_n + _c_40 + _ve_j_m_expr + _c_67) ());
    19511995          goto _block2;
    19521996        }
    1953       _block2__branch22: {}
     1997      _block2__branch24: {}
    19541998        {
    19551999          if (1 != 1)
    19562000          {
    1957             goto _block2__branch23;
     2001            goto _block2__branch25;
    19582002          }
    19592003          if (_vt_item.symbol_at (0))
    19602004          {
    1961             goto _block2__branch23;
    1962           }
    1963           Expr _v_deref__item21 (_vt_item, 0);
    1964           if (_v_deref__item21.get_len () != 4)
    1965           {
    1966             goto _block2__branch23;
    1967           }
    1968           if (!_c_91.term_eq (_v_deref__item21, 0))
    1969           {
    1970             goto _block2__branch23;
    1971           }
    1972           if (!_v_deref__item21.symbol_at ((0 + 1)))
    1973           {
    1974             goto _block2__branch23;
    1975           }
    1976           if (!_v_deref__item21.symbol_at ((0 + 1 + 1)))
    1977           {
    1978             goto _block2__branch23;
    1979           }
    1980           Expr _vs_linkage (_v_deref__item21, (0 + 1), 1);
    1981           Expr _vs_tag (_v_deref__item21, (0 + 1 + 1), 1);
    1982           Expr _vt_name (_v_deref__item21, (0 + 1 + 1 + 1), 1);
     2005            goto _block2__branch25;
     2006          }
     2007          Expr _v_deref__item23 (_vt_item, 0);
     2008          if (_v_deref__item23.get_len () != 4)
     2009          {
     2010            goto _block2__branch25;
     2011          }
     2012          if (!_c_91.term_eq (_v_deref__item23, 0))
     2013          {
     2014            goto _block2__branch25;
     2015          }
     2016          if (!_v_deref__item23.symbol_at ((0 + 1)))
     2017          {
     2018            goto _block2__branch25;
     2019          }
     2020          if (!_v_deref__item23.symbol_at ((0 + 1 + 1)))
     2021          {
     2022            goto _block2__branch25;
     2023          }
     2024          Expr _vs_linkage (_v_deref__item23, (0 + 1), 1);
     2025          Expr _vs_tag (_v_deref__item23, (0 + 1 + 1), 1);
     2026          Expr _vt_name (_v_deref__item23, (0 + 1 + 1 + 1), 1);
    19832027          Expr _v_To_m_Chars1;
    19842028          RF_CALL (Convert::To_m_Chars, _vs_tag, _v_To_m_Chars1);
    1985           uintptr_t _v_len69 = _v_To_m_Chars1.get_len ();
    1986           uintptr_t _v_len70 = 1;
    1987           if (_v_len69 < _v_len70)
     2029          uintptr_t _v_len73 = _v_To_m_Chars1.get_len ();
     2030          uintptr_t _v_len74 = 1;
     2031          if (_v_len73 < _v_len74)
    19882032          {
    19892033            goto _block1__branch1;
     
    19932037            goto _block1__branch1;
    19942038          }
    1995           uintptr_t _v_len__2 = (_v_len69 - _v_len70);
     2039          uintptr_t _v_len__2 = (_v_len73 - _v_len74);
    19962040          if (!_v_To_m_Chars1.symbol_at (0))
    19972041          {
     
    20072051          Expr _ve_n;
    20082052          RF_CALL (rfp__helper::RFP_m_Extract_m_Qualifiers, _vt_name, (_ve_qualifiers, _ve_n));
    2009           Expr _ge_auxcall43;
    2010           RF_CALL (Access_m_Mode, _vt_name, _ge_auxcall43);
    2011           Expr _ge_auxcall44;
    2012           RF_CALL (Name_m_To_m_Java, _vt_name, _ge_auxcall44);
    2013           _ve_java_m_item = (_c_25 + _ge_auxcall43 + _c_90 + _ge_auxcall44 + _c_96 + _ve_class_m_name + _c_95 + _ve_n + _c_94) ();
     2053          Expr _ge_auxcall45;
     2054          RF_CALL (Access_m_Mode, _vt_name, _ge_auxcall45);
     2055          Expr _ge_auxcall46;
     2056          RF_CALL (Name_m_To_m_Java, _vt_name, _ge_auxcall46);
     2057          _ve_java_m_item = (_c_26 + _ge_auxcall45 + _c_90 + _ge_auxcall46 + _c_96 + _ve_class_m_name + _c_95 + _ve_n + _c_94) ();
    20142058          goto _block2;
    20152059        }
    2016       _block2__branch23: {}
     2060      _block2__branch25: {}
    20172061        {
    20182062          if (1 != 1)
    20192063          {
    2020             goto _block2__branch24;
     2064            goto _block2__branch26;
    20212065          }
    20222066          if (_vt_item.symbol_at (0))
    20232067          {
    2024             goto _block2__branch24;
    2025           }
    2026           Expr _v_deref__item22 (_vt_item, 0);
    2027           if (_v_deref__item22.get_len () != 2)
    2028           {
    2029             goto _block2__branch24;
    2030           }
    2031           if (!_c_97.term_eq (_v_deref__item22, 0))
    2032           {
    2033             goto _block2__branch24;
    2034           }
    2035           Expr _vt_name (_v_deref__item22, (0 + 1), 1);
     2068            goto _block2__branch26;
     2069          }
     2070          Expr _v_deref__item24 (_vt_item, 0);
     2071          if (_v_deref__item24.get_len () != 2)
     2072          {
     2073            goto _block2__branch26;
     2074          }
     2075          if (!_c_97.term_eq (_v_deref__item24, 0))
     2076          {
     2077            goto _block2__branch26;
     2078          }
     2079          Expr _vt_name (_v_deref__item24, (0 + 1), 1);
    20362080          _ve_java_m_item = empty;
    20372081          goto _block2;
    20382082        }
    2039       _block2__branch24: {}
     2083      _block2__branch26: {}
    20402084        {
    20412085          if (1 != 1)
    20422086          {
    2043             goto _block2__branch25;
     2087            goto _block2__branch27;
    20442088          }
    20452089          if (_vt_item.symbol_at (0))
    20462090          {
    2047             goto _block2__branch25;
    2048           }
    2049           Expr _v_deref__item23 (_vt_item, 0);
    2050           if (_v_deref__item23.get_len () != 2)
    2051           {
    2052             goto _block2__branch25;
    2053           }
    2054           if (!_c_98.term_eq (_v_deref__item23, 0))
    2055           {
    2056             goto _block2__branch25;
    2057           }
    2058           Expr _vt_name (_v_deref__item23, (0 + 1), 1);
     2091            goto _block2__branch27;
     2092          }
     2093          Expr _v_deref__item25 (_vt_item, 0);
     2094          if (_v_deref__item25.get_len () != 2)
     2095          {
     2096            goto _block2__branch27;
     2097          }
     2098          if (!_c_98.term_eq (_v_deref__item25, 0))
     2099          {
     2100            goto _block2__branch27;
     2101          }
     2102          Expr _vt_name (_v_deref__item25, (0 + 1), 1);
    20592103          _ve_java_m_item = empty;
    20602104          goto _block2;
    20612105        }
    2062       _block2__branch25: {}
     2106      _block2__branch27: {}
    20632107        if (1 != 1)
    20642108        {
     
    20692113          RF_FUNC_ERROR (unexpected_fail);
    20702114        }
    2071         Expr _v_deref__item24 (_vt_item, 0);
    2072         if (_v_deref__item24.get_len () != 4)
     2115        Expr _v_deref__item26 (_vt_item, 0);
     2116        if (_v_deref__item26.get_len () != 4)
    20732117        {
    20742118          RF_FUNC_ERROR (unexpected_fail);
    20752119        }
    2076         if (_v_deref__item24.symbol_at ((0 + 1 + 1)))
     2120        if (_v_deref__item26.symbol_at ((0 + 1 + 1)))
    20772121        {
    20782122          RF_FUNC_ERROR (unexpected_fail);
    20792123        }
    2080         if (_v_deref__item24.symbol_at ((0 + 1 + 1 + 1)))
     2124        if (_v_deref__item26.symbol_at ((0 + 1 + 1 + 1)))
    20812125        {
    20822126          RF_FUNC_ERROR (unexpected_fail);
    20832127        }
    2084         Expr _v_deref__deref__item24 (_v_deref__item24, (0 + 1 + 1));
    2085         Expr _v_deref__deref__item242 (_v_deref__item24, (0 + 1 + 1 + 1));
    2086         uintptr_t _v_len71 = _v_deref__deref__item242.get_len ();
    2087         uintptr_t _v_len72 = 0;
    2088         if (_v_len71 < _v_len72)
     2128        Expr _v_deref__deref__item26 (_v_deref__item26, (0 + 1 + 1));
     2129        Expr _v_deref__deref__item262 (_v_deref__item26, (0 + 1 + 1 + 1));
     2130        uintptr_t _v_len75 = _v_deref__deref__item262.get_len ();
     2131        uintptr_t _v_len76 = 0;
     2132        if (_v_len75 < _v_len76)
    20892133        {
    20902134          RF_FUNC_ERROR (unexpected_fail);
     
    20942138          RF_FUNC_ERROR (unexpected_fail);
    20952139        }
    2096         uintptr_t _v_len__ress2 = (_v_len71 - _v_len72);
    2097         uintptr_t _v_len73 = _v_deref__deref__item24.get_len ();
    2098         uintptr_t _v_len74 = 0;
    2099         if (_v_len73 < _v_len74)
     2140        uintptr_t _v_len__ress2 = (_v_len75 - _v_len76);
     2141        uintptr_t _v_len77 = _v_deref__deref__item26.get_len ();
     2142        uintptr_t _v_len78 = 0;
     2143        if (_v_len77 < _v_len78)
    21002144        {
    21012145          RF_FUNC_ERROR (unexpected_fail);
     
    21052149          RF_FUNC_ERROR (unexpected_fail);
    21062150        }
    2107         uintptr_t _v_len__args2 = (_v_len73 - _v_len74);
    2108         if (!_v_deref__item24.symbol_at (0))
     2151        uintptr_t _v_len__args2 = (_v_len77 - _v_len78);
     2152        if (!_v_deref__item26.symbol_at (0))
    21092153        {
    21102154          RF_FUNC_ERROR (unexpected_fail);
    21112155        }
    2112         Expr _vs_call (_v_deref__item24, 0, 1);
    2113         Expr _vt_name (_v_deref__item24, (0 + 1), 1);
    2114         Expr _ve_args (_v_deref__deref__item24, 0, _v_len__args2);
    2115         Expr _ve_ress (_v_deref__deref__item242, 0, _v_len__ress2);
     2156        Expr _vs_call (_v_deref__item26, 0, 1);
     2157        Expr _vt_name (_v_deref__item26, (0 + 1), 1);
     2158        Expr _ve_args (_v_deref__deref__item26, 0, _v_len__args2);
     2159        Expr _ve_ress (_v_deref__deref__item262, 0, _v_len__ress2);
    21162160        Expr _ve_decls;
    21172161        RF_CALL (Declare_m_Results, (_ve_ress, empty), (_ve_decls, _ve_ress));
    21182162        Expr _ve_arrays;
    2119         RF_CALL (Expr_m_Args_m_To_m_Java, (_ve_args + _c_20 + _ve_ress), (_ve_arrays, _ve_args));
    2120         Expr _ge_auxcall45;
    2121         RF_CALL (Name_m_To_m_Java, _vt_name, _ge_auxcall45);
    2122         Expr _ve_c ((_ge_auxcall45 + _c_23 + _ve_args + _c_31));
     2163        RF_CALL (Expr_m_Args_m_To_m_Java, (_ve_args + _c_21 + _ve_ress), (_ve_arrays, _ve_args));
     2164        Expr _ge_auxcall47;
     2165        RF_CALL (Name_m_To_m_Java, _vt_name, _ge_auxcall47);
     2166        Expr _ve_c ((_ge_auxcall47 + _c_24 + _ve_args + _c_30));
    21232167        {
    21242168          {
     
    21352179          }
    21362180        _block13__branch1: {}
    2137           Expr _ge_auxcall46;
    2138           RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall46);
     2181          Expr _ge_auxcall48;
     2182          RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall48);
    21392183          RF_CALL (Box::Store, (Res_m_Assigns, empty), /*void*/);
    2140           _ve_java_m_item = (_ve_arrays + _ve_decls + (_ve_c + _c_67) () + _ge_auxcall46);
     2184          _ve_java_m_item = (_ve_arrays + _ve_decls + (_ve_c + _c_67) () + _ge_auxcall48);
    21412185        }
    21422186      _block13: {}
     
    21542198          }
    21552199          Expr _v_deref__java_m_item (_ve_java_m_item, 0);
    2156           uintptr_t _v_len75 = _v_deref__java_m_item.get_len ();
    2157           uintptr_t _v_len76 = 6;
    2158           if (_v_len75 < _v_len76)
     2200          uintptr_t _v_len79 = _v_deref__java_m_item.get_len ();
     2201          uintptr_t _v_len80 = 6;
     2202          if (_v_len79 < _v_len80)
    21592203          {
    21602204            goto _block14__branch1;
     
    21642208            goto _block14__branch1;
    21652209          }
    2166           uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_273_m_32 = (_v_len75 - _v_len76);
     2210          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_275_m_32 = (_v_len79 - _v_len80);
    21672211          if (!_c_85.eq (_v_deref__java_m_item, 0))
    21682212          {
    21692213            goto _block14__branch1;
    21702214          }
    2171           Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_273_m_32 (_v_deref__java_m_item, (0 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_273_m_32);
     2215          Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_275_m_32 (_v_deref__java_m_item, (0 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_275_m_32);
    21722216          _v_res1 = _ve_java_m_item;
    21732217          goto _block14;
     
    22402284            goto _block2__branch2;
    22412285          }
    2242           RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_282_m_18, _v_lsplit___q_1);
     2286          RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_284_m_18, _v_lsplit___q_1);
    22432287          for ( ; ; RF_iter(_v__q_1)++)
    22442288          {
     
    22582302                goto _continue1;
    22592303              }
    2260               uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_282_m_26 = (_v_len5 - _v_len6);
     2304              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_284_m_26 = (_v_len5 - _v_len6);
    22612305              if (!_vt_var.term_eq (_v_lsplit___q_1, 0))
    22622306              {
    22632307                goto _continue1;
    22642308              }
    2265               Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_282_m_26 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_282_m_26);
     2309              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_284_m_26 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_284_m_26);
    22662310              Expr _ge_auxcall2;
    22672311              RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall2);
     
    22802324        Expr _ge_auxcall3;
    22812325        RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall3);
    2282         RF_CALL (Box::Put, (Res_m_Assigns, (_ge_auxcall3 + _c_39 + _ve_new_m_var + _c_102) ()), /*void*/);
     2326        RF_CALL (Box::Put, (Res_m_Assigns, (_ge_auxcall3 + _c_40 + _ve_new_m_var + _c_102) ()), /*void*/);
    22832327        Expr _v_Declare_m_Results1;
    22842328        RF_CALL (Declare_m_Results, (_ve_r, (_ve_ress + _ve_new_m_var ())), (_v_Declare_m_Results1, _v_res2));
     
    27372781      RF_CALL (Box::_q_, _vs_acc, _ge_auxcall2);
    27382782      _v_res1 = _ge_auxcall2;
    2739       _v_res2 = (_c_110 + _ve_t1 + _c_78 + _ve_t2 + _c_31);
     2783      _v_res2 = (_c_110 + _ve_t1 + _c_78 + _ve_t2 + _c_30);
    27402784      goto _block1;
    27412785    }
     
    27532797    RF_CALL (Box::_q_, _vs_acc, _ge_auxcall4);
    27542798    _v_res1 = (_ge_auxcall4 + (_c_115 + _ve_new_m_var + _c_114 + _ve_arr_m_init + _c_113) ());
    2755     _v_res2 = (_c_116 + _ve_new_m_var + _c_31);
     2799    _v_res2 = (_c_116 + _ve_new_m_var + _c_30);
    27562800  }
    27572801_block1: {}
     
    27902834      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
    27912835      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
    2792       _v_res1 = (_c_117 + _ve_j_m_expr + _c_31);
     2836      _v_res1 = (_c_117 + _ve_j_m_expr + _c_30);
    27932837      goto _block1;
    27942838    }
     
    28422886      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
    28432887      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
    2844       _v_res1 = (_c_118 + _ve_j_m_expr + _c_75 + _ve_pos + _c_31);
     2888      _v_res1 = (_c_118 + _ve_j_m_expr + _c_75 + _ve_pos + _c_30);
    28452889      goto _block1;
    28462890    }
     
    29122956      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ve_pos);
    29132957      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_len), _ve_len);
    2914       _v_res1 = (_c_110 + _ve_j_m_expr + _c_78 + _ve_pos + _c_78 + _ve_len + _c_31);
     2958      _v_res1 = (_c_110 + _ve_j_m_expr + _c_78 + _ve_pos + _c_78 + _ve_len + _c_30);
    29152959      goto _block1;
    29162960    }
     
    30743118      Expr _ge_auxcall1;
    30753119      RF_CALL (Int_m_Args_m_To_m_Java, (_vs_acc, _ve_args), _ge_auxcall1);
    3076       _v_res1 = (_c_124 + _ge_auxcall1 + _c_31);
     3120      _v_res1 = (_c_124 + _ge_auxcall1 + _c_30);
    30773121      goto _block1;
    30783122    }
     
    31063150      Expr _ge_auxcall2;
    31073151      RF_CALL (Int_m_Args_m_To_m_Java, (_vs_acc, _ve_args), _ge_auxcall2);
    3108       _v_res1 = (_c_125 + _ge_auxcall2 + _c_31);
     3152      _v_res1 = (_c_125 + _ge_auxcall2 + _c_30);
    31093153      goto _block1;
    31103154    }
     
    31433187      Expr _ge_auxcall3;
    31443188      RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_126, _vs_op, _ve_args), _ge_auxcall3);
    3145       _v_res1 = (_c_127 + _ge_auxcall3 + _c_31);
     3189      _v_res1 = (_c_127 + _ge_auxcall3 + _c_30);
    31463190      goto _block1;
    31473191    }
     
    31833227    Expr _ge_auxcall5;
    31843228    RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_126, _c_128, _ge_auxcall4), _ge_auxcall5);
    3185     _v_res1 = (_c_127 + _ge_auxcall5 + _c_31);
     3229    _v_res1 = (_c_127 + _ge_auxcall5 + _c_30);
    31863230  }
    31873231_block1: {}
    31883232RF_END
    31893233
    3190 RF_FUNC (Cond_m_To_m_Java, (RF_ARG _vs_acc, _ve_xpr;;), (RF_RES _v_res1;;))
     3234RF_FUNC (Cond_m_To_m_Java, (RF_ARG _vs_acc, _vt_cond;;), (RF_RES _v_res1;;))
    31913235  {
    31923236    {
    3193       if (_ve_xpr.get_len () != 0)
     3237      if (1 != 1)
    31943238      {
    31953239        goto _block1__branch1;
    31963240      }
    3197       _v_res1 = empty;
    3198       goto _block1;
    3199     }
    3200   _block1__branch1: {}
    3201     {
    3202       if (_ve_xpr.get_len () != 1)
    3203       {
    3204         goto _block1__branch2;
    3205       }
    3206       if (_ve_xpr.symbol_at (0))
    3207       {
    3208         goto _block1__branch2;
    3209       }
    3210       Expr _v_deref__xpr (_ve_xpr, 0);
    3211       if (_v_deref__xpr.get_len () != 4)
    3212       {
    3213         goto _block1__branch2;
    3214       }
    3215       if (_v_deref__xpr.symbol_at ((0 + 1 + 1)))
    3216       {
    3217         goto _block1__branch2;
    3218       }
    3219       if (_v_deref__xpr.symbol_at ((0 + 1 + 1 + 1)))
    3220       {
    3221         goto _block1__branch2;
    3222       }
    3223       Expr _v_deref__deref__xpr (_v_deref__xpr, (0 + 1 + 1));
    3224       Expr _v_deref__deref__xpr2 (_v_deref__xpr, (0 + 1 + 1 + 1));
    3225       uintptr_t _v_len1 = _v_deref__deref__xpr2.get_len ();
     3241      if (_vt_cond.symbol_at (0))
     3242      {
     3243        goto _block1__branch1;
     3244      }
     3245      Expr _v_deref__cond (_vt_cond, 0);
     3246      if (_v_deref__cond.get_len () != 2)
     3247      {
     3248        goto _block1__branch1;
     3249      }
     3250      if (_v_deref__cond.symbol_at ((0 + 1)))
     3251      {
     3252        goto _block1__branch1;
     3253      }
     3254      Expr _v_deref__deref__cond (_v_deref__cond, (0 + 1));
     3255      if (_v_deref__deref__cond.get_len () != 4)
     3256      {
     3257        goto _block1__branch1;
     3258      }
     3259      if (_v_deref__deref__cond.symbol_at ((0 + 1 + 1)))
     3260      {
     3261        goto _block1__branch1;
     3262      }
     3263      if (_v_deref__deref__cond.symbol_at ((0 + 1 + 1 + 1)))
     3264      {
     3265        goto _block1__branch1;
     3266      }
     3267      Expr _v_deref__deref__deref__cond (_v_deref__deref__cond, (0 + 1 + 1));
     3268      Expr _v_deref__deref__deref__cond2 (_v_deref__deref__cond, (0 + 1 + 1 + 1));
     3269      uintptr_t _v_len1 = _v_deref__deref__deref__cond2.get_len ();
    32263270      uintptr_t _v_len2 = 0;
    32273271      if (_v_len1 < _v_len2)
    32283272      {
    3229         goto _block1__branch2;
    3230       }
    3231       if (0 != 0)
    3232       {
    3233         goto _block1__branch2;
     3273        goto _block1__branch1;
     3274      }
     3275      if (0 != 0)
     3276      {
     3277        goto _block1__branch1;
    32343278      }
    32353279      uintptr_t _v_len__ress = (_v_len1 - _v_len2);
    3236       uintptr_t _v_len3 = _v_deref__deref__xpr.get_len ();
     3280      uintptr_t _v_len3 = _v_deref__deref__deref__cond.get_len ();
    32373281      uintptr_t _v_len4 = 0;
    32383282      if (_v_len3 < _v_len4)
    32393283      {
    3240         goto _block1__branch2;
    3241       }
    3242       if (0 != 0)
    3243       {
    3244         goto _block1__branch2;
    3245       }
    3246       uintptr_t _v_len__args = (_v_len3 - _v_len4);
    3247       if (!_c_29.term_eq (_v_deref__xpr, 0))
    3248       {
    3249         goto _block1__branch2;
    3250       }
    3251       Expr _vt_name (_v_deref__xpr, (0 + 1), 1);
    3252       Expr _ve_args (_v_deref__deref__xpr, 0, _v_len__args);
    3253       Expr _ve_ress (_v_deref__deref__xpr2, 0, _v_len__ress);
     3284        goto _block1__branch1;
     3285      }
     3286      if (0 != 0)
     3287      {
     3288        goto _block1__branch1;
     3289      }
     3290      uintptr_t _v_len__exprs = (_v_len3 - _v_len4);
     3291      if (!_c_33.term_eq (_v_deref__cond, 0))
     3292      {
     3293        goto _block1__branch1;
     3294      }
     3295      if (!_c_129.term_eq (_v_deref__deref__cond, 0))
     3296      {
     3297        goto _block1__branch1;
     3298      }
     3299      Expr _vt_name (_v_deref__deref__cond, (0 + 1), 1);
     3300      Expr _ve_exprs (_v_deref__deref__deref__cond, 0, _v_len__exprs);
     3301      Expr _ve_ress (_v_deref__deref__deref__cond2, 0, _v_len__ress);
    32543302      Expr _ve_decls;
    32553303      RF_CALL (Declare_m_Results, (_ve_ress, empty), (_ve_decls, _ve_ress));
    32563304      Expr _ve_arrays;
    3257       RF_CALL (Expr_m_Args_m_To_m_Java, (_ve_args + _c_20 + _ve_ress), (_ve_arrays, _ve_args));
     3305      Expr _ve_args;
     3306      RF_CALL (Expr_m_Args_m_To_m_Java, (_ve_exprs + _c_21 + _ve_ress), (_ve_arrays, _ve_args));
    32583307      RF_CALL (Box::Put, (_vs_acc, (_ve_arrays + _ve_decls)), /*void*/);
    32593308      Expr _ge_auxcall1;
    32603309      RF_CALL (Name_m_To_m_Java, _vt_name, _ge_auxcall1);
    3261       _v_res1 = (_ge_auxcall1 + _c_23 + _ve_args + _c_31);
     3310      _v_res1 = (_c_130 + _ge_auxcall1 + _c_24 + _ve_args + _c_30);
    32623311      goto _block1;
    32633312    }
     3313  _block1__branch1: {}
     3314    {
     3315      if (1 != 1)
     3316      {
     3317        goto _block1__branch2;
     3318      }
     3319      if (_vt_cond.symbol_at (0))
     3320      {
     3321        goto _block1__branch2;
     3322      }
     3323      Expr _v_deref__cond2 (_vt_cond, 0);
     3324      uintptr_t _v_len5 = _v_deref__cond2.get_len ();
     3325      uintptr_t _v_len6 = 1;
     3326      if (_v_len5 < _v_len6)
     3327      {
     3328        goto _block1__branch2;
     3329      }
     3330      if (0 != 0)
     3331      {
     3332        goto _block1__branch2;
     3333      }
     3334      uintptr_t _v_len__expr = (_v_len5 - _v_len6);
     3335      if (!_c_131.term_eq (_v_deref__cond2, 0))
     3336      {
     3337        goto _block1__branch2;
     3338      }
     3339      Expr _ve_expr (_v_deref__cond2, (0 + 1), _v_len__expr);
     3340      Expr _ge_auxcall2;
     3341      if (!RF_CALL (Table::Lookup, (Iter_m_Vars, _ve_expr), _ge_auxcall2))
     3342      {
     3343        RF_FUNC_ERROR (unexpected_fail);
     3344      }
     3345      Expr _ge_auxcall3;
     3346      if (!RF_CALL (Access::Middle, (_c_132, _c_133, _ge_auxcall2), _ge_auxcall3))
     3347      {
     3348        RF_FUNC_ERROR (unexpected_fail);
     3349      }
     3350      _v_res1 = (_c_130 + _ge_auxcall3 + _c_134);
     3351      goto _block1;
     3352    }
    32643353  _block1__branch2: {}
    32653354    {
    3266       if (_ve_xpr.get_len () != 1)
     3355      if (1 != 1)
    32673356      {
    32683357        goto _block1__branch3;
    32693358      }
    3270       if (_ve_xpr.symbol_at (0))
     3359      if (_vt_cond.symbol_at (0))
    32713360      {
    32723361        goto _block1__branch3;
    32733362      }
    3274       Expr _v_deref__xpr2 (_ve_xpr, 0);
    3275       uintptr_t _v_len5 = _v_deref__xpr2.get_len ();
    3276       uintptr_t _v_len6 = 2;
    3277       if (_v_len5 < _v_len6)
     3363      Expr _v_deref__cond3 (_vt_cond, 0);
     3364      uintptr_t _v_len7 = _v_deref__cond3.get_len ();
     3365      uintptr_t _v_len8 = 2;
     3366      if (_v_len7 < _v_len8)
    32783367      {
    32793368        goto _block1__branch3;
     
    32833372        goto _block1__branch3;
    32843373      }
    3285       uintptr_t _v_len__expr = (_v_len5 - _v_len6);
    3286       if (_v_deref__xpr2.symbol_at ((0 + 1 + _v_len__expr)))
     3374      uintptr_t _v_len__expr2 = (_v_len7 - _v_len8);
     3375      if (_v_deref__cond3.symbol_at ((0 + 1 + _v_len__expr2)))
    32873376      {
    32883377        goto _block1__branch3;
    32893378      }
    3290       Expr _v_deref__deref__xpr22 (_v_deref__xpr2, (0 + 1 + _v_len__expr));
    3291       uintptr_t _v_len7 = _v_deref__deref__xpr22.get_len ();
    3292       uintptr_t _v_len8 = 0;
    3293       if (_v_len7 < _v_len8)
     3379      Expr _v_deref__deref__cond3 (_v_deref__cond3, (0 + 1 + _v_len__expr2));
     3380      uintptr_t _v_len9 = _v_deref__deref__cond3.get_len ();
     3381      uintptr_t _v_len10 = 0;
     3382      if (_v_len9 < _v_len10)
    32943383      {
    32953384        goto _block1__branch3;
     
    32993388        goto _block1__branch3;
    33003389      }
    3301       uintptr_t _v_len__pos = (_v_len7 - _v_len8);
    3302       if (!_c_129.term_eq (_v_deref__xpr2, 0))
     3390      uintptr_t _v_len__pos = (_v_len9 - _v_len10);
     3391      if (!_c_135.term_eq (_v_deref__cond3, 0))
    33033392      {
    33043393        goto _block1__branch3;
    33053394      }
    3306       Expr _ve_expr (_v_deref__xpr2, (0 + 1), _v_len__expr);
    3307       Expr _ve_pos (_v_deref__deref__xpr22, 0, _v_len__pos);
     3395      Expr _ve_expr (_v_deref__cond3, (0 + 1), _v_len__expr2);
     3396      Expr _ve_pos (_v_deref__deref__cond3, 0, _v_len__pos);
    33083397      Expr _ve_a;
    33093398      Expr _ve_j_m_expr;
    33103399      RF_CALL (Expr_m_Ref_m_To_m_Java, _ve_expr, (_ve_a, _ve_j_m_expr));
    33113400      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
    3312       Expr _ge_auxcall2;
    3313       RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ge_auxcall2);
    3314       _v_res1 = (_ve_j_m_expr + _c_130 + _ge_auxcall2 + _c_31);
     3401      Expr _ge_auxcall4;
     3402      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ge_auxcall4);
     3403      _v_res1 = (_ve_j_m_expr + _c_136 + _ge_auxcall4 + _c_30);
    33153404      goto _block1;
    33163405    }
    33173406  _block1__branch3: {}
    33183407    {
    3319       if (_ve_xpr.get_len () != 1)
     3408      if (1 != 1)
    33203409      {
    33213410        goto _block1__branch4;
    33223411      }
    3323       if (_ve_xpr.symbol_at (0))
     3412      if (_vt_cond.symbol_at (0))
    33243413      {
    33253414        goto _block1__branch4;
    33263415      }
    3327       Expr _v_deref__xpr3 (_ve_xpr, 0);
    3328       uintptr_t _v_len9 = _v_deref__xpr3.get_len ();
    3329       uintptr_t _v_len10 = 1;
    3330       if (_v_len9 < _v_len10)
    3331       {
    3332         goto _block1__branch4;
    3333       }
    3334       if (0 != 0)
    3335       {
    3336         goto _block1__branch4;
    3337       }
    3338       uintptr_t _v_len__expr2 = (_v_len9 - _v_len10);
    3339       if (!_c_131.term_eq (_v_deref__xpr3, 0))
    3340       {
    3341         goto _block1__branch4;
    3342       }
    3343       Expr _ve_expr (_v_deref__xpr3, (0 + 1), _v_len__expr2);
    3344       Expr _ge_auxcall3;
    3345       if (!RF_CALL (Table::Lookup, (Iter_m_Vars, _ve_expr), _ge_auxcall3))
    3346       {
    3347         RF_FUNC_ERROR (unexpected_fail);
    3348       }
    3349       Expr _ge_auxcall4;
    3350       if (!RF_CALL (Access::Middle, (_c_132, _c_133, _ge_auxcall3), _ge_auxcall4))
    3351       {
    3352         RF_FUNC_ERROR (unexpected_fail);
    3353       }
    3354       _v_res1 = (_ge_auxcall4 + _c_134);
    3355       goto _block1;
    3356     }
    3357   _block1__branch4: {}
    3358     {
    3359       if (_ve_xpr.get_len () != 1)
    3360       {
    3361         goto _block1__branch5;
    3362       }
    3363       if (_ve_xpr.symbol_at (0))
    3364       {
    3365         goto _block1__branch5;
    3366       }
    3367       Expr _v_deref__xpr4 (_ve_xpr, 0);
    3368       uintptr_t _v_len11 = _v_deref__xpr4.get_len ();
     3416      Expr _v_deref__cond4 (_vt_cond, 0);
     3417      uintptr_t _v_len11 = _v_deref__cond4.get_len ();
    33693418      uintptr_t _v_len12 = 3;
    33703419      if (_v_len11 < _v_len12)
    33713420      {
    3372         goto _block1__branch5;
    3373       }
    3374       if (0 != 0)
    3375       {
    3376         goto _block1__branch5;
     3421        goto _block1__branch4;
     3422      }
     3423      if (0 != 0)
     3424      {
     3425        goto _block1__branch4;
    33773426      }
    33783427      uintptr_t _v_len__expr1 = (_v_len11 - _v_len12);
    3379       if (_v_deref__xpr4.symbol_at ((0 + 1 + _v_len__expr1)))
    3380       {
    3381         goto _block1__branch5;
    3382       }
    3383       if (_v_deref__xpr4.symbol_at ((0 + 1 + _v_len__expr1 + 1)))
    3384       {
    3385         goto _block1__branch5;
    3386       }
    3387       Expr _v_deref__deref__xpr4 (_v_deref__xpr4, (0 + 1 + _v_len__expr1));
    3388       Expr _v_deref__deref__xpr42 (_v_deref__xpr4, (0 + 1 + _v_len__expr1 + 1));
    3389       uintptr_t _v_len13 = _v_deref__deref__xpr42.get_len ();
     3428      if (_v_deref__cond4.symbol_at ((0 + 1 + _v_len__expr1)))
     3429      {
     3430        goto _block1__branch4;
     3431      }
     3432      if (_v_deref__cond4.symbol_at ((0 + 1 + _v_len__expr1 + 1)))
     3433      {
     3434        goto _block1__branch4;
     3435      }
     3436      Expr _v_deref__deref__cond4 (_v_deref__cond4, (0 + 1 + _v_len__expr1));
     3437      Expr _v_deref__deref__cond42 (_v_deref__cond4, (0 + 1 + _v_len__expr1 + 1));
     3438      uintptr_t _v_len13 = _v_deref__deref__cond42.get_len ();
    33903439      uintptr_t _v_len14 = 0;
    33913440      if (_v_len13 < _v_len14)
    33923441      {
    3393         goto _block1__branch5;
    3394       }
    3395       if (0 != 0)
    3396       {
    3397         goto _block1__branch5;
     3442        goto _block1__branch4;
     3443      }
     3444      if (0 != 0)
     3445      {
     3446        goto _block1__branch4;
    33983447      }
    33993448      uintptr_t _v_len__pos2 = (_v_len13 - _v_len14);
    3400       uintptr_t _v_len15 = _v_deref__deref__xpr4.get_len ();
     3449      uintptr_t _v_len15 = _v_deref__deref__cond4.get_len ();
    34013450      uintptr_t _v_len16 = 0;
    34023451      if (_v_len15 < _v_len16)
    34033452      {
    3404         goto _block1__branch5;
    3405       }
    3406       if (0 != 0)
    3407       {
    3408         goto _block1__branch5;
     3453        goto _block1__branch4;
     3454      }
     3455      if (0 != 0)
     3456      {
     3457        goto _block1__branch4;
    34093458      }
    34103459      uintptr_t _v_len__expr22 = (_v_len15 - _v_len16);
    3411       if (!_c_135.term_eq (_v_deref__xpr4, 0))
    3412       {
    3413         goto _block1__branch5;
    3414       }
    3415       Expr _ve_expr1 (_v_deref__xpr4, (0 + 1), _v_len__expr1);
    3416       Expr _ve_expr2 (_v_deref__deref__xpr4, 0, _v_len__expr22);
    3417       Expr _ve_pos (_v_deref__deref__xpr42, 0, _v_len__pos2);
     3460      if (!_c_137.term_eq (_v_deref__cond4, 0))
     3461      {
     3462        goto _block1__branch4;
     3463      }
     3464      Expr _ve_expr1 (_v_deref__cond4, (0 + 1), _v_len__expr1);
     3465      Expr _ve_expr2 (_v_deref__deref__cond4, 0, _v_len__expr22);
     3466      Expr _ve_pos (_v_deref__deref__cond42, 0, _v_len__pos2);
    34183467      Expr _ve_a1;
    34193468      Expr _ve_j_m_expr1;
     
    34253474      Expr _ge_auxcall5;
    34263475      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ge_auxcall5);
    3427       _v_res1 = (_ve_j_m_expr1 + _c_136 + _ve_j_m_expr2 + _c_78 + _ge_auxcall5 + _c_31);
     3476      _v_res1 = (_ve_j_m_expr1 + _c_138 + _ve_j_m_expr2 + _c_78 + _ge_auxcall5 + _c_30);
    34283477      goto _block1;
    34293478    }
    3430   _block1__branch5: {}
    3431     {
    3432       if (_ve_xpr.get_len () != 1)
    3433       {
    3434         goto _block1__branch6;
    3435       }
    3436       if (_ve_xpr.symbol_at (0))
    3437       {
    3438         goto _block1__branch6;
    3439       }
    3440       Expr _v_deref__xpr5 (_ve_xpr, 0);
    3441       uintptr_t _v_len17 = _v_deref__xpr5.get_len ();
     3479  _block1__branch4: {}
     3480    {
     3481      if (1 != 1)
     3482      {
     3483        goto _block1__branch5;
     3484      }
     3485      if (_vt_cond.symbol_at (0))
     3486      {
     3487        goto _block1__branch5;
     3488      }
     3489      Expr _v_deref__cond5 (_vt_cond, 0);
     3490      uintptr_t _v_len17 = _v_deref__cond5.get_len ();
    34423491      uintptr_t _v_len18 = 3;
    34433492      if (_v_len17 < _v_len18)
    34443493      {
    3445         goto _block1__branch6;
    3446       }
    3447       if (0 != 0)
    3448       {
    3449         goto _block1__branch6;
     3494        goto _block1__branch5;
     3495      }
     3496      if (0 != 0)
     3497      {
     3498        goto _block1__branch5;
    34503499      }
    34513500      uintptr_t _v_len__expr12 = (_v_len17 - _v_len18);
    3452       if (_v_deref__xpr5.symbol_at ((0 + 1 + _v_len__expr12)))
    3453       {
    3454         goto _block1__branch6;
    3455       }
    3456       if (_v_deref__xpr5.symbol_at ((0 + 1 + _v_len__expr12 + 1)))
    3457       {
    3458         goto _block1__branch6;
    3459       }
    3460       Expr _v_deref__deref__xpr5 (_v_deref__xpr5, (0 + 1 + _v_len__expr12));
    3461       Expr _v_deref__deref__xpr52 (_v_deref__xpr5, (0 + 1 + _v_len__expr12 + 1));
    3462       uintptr_t _v_len19 = _v_deref__deref__xpr52.get_len ();
     3501      if (_v_deref__cond5.symbol_at ((0 + 1 + _v_len__expr12)))
     3502      {
     3503        goto _block1__branch5;
     3504      }
     3505      if (_v_deref__cond5.symbol_at ((0 + 1 + _v_len__expr12 + 1)))
     3506      {
     3507        goto _block1__branch5;
     3508      }
     3509      Expr _v_deref__deref__cond5 (_v_deref__cond5, (0 + 1 + _v_len__expr12));
     3510      Expr _v_deref__deref__cond52 (_v_deref__cond5, (0 + 1 + _v_len__expr12 + 1));
     3511      uintptr_t _v_len19 = _v_deref__deref__cond52.get_len ();
    34633512      uintptr_t _v_len20 = 0;
    34643513      if (_v_len19 < _v_len20)
    34653514      {
    3466         goto _block1__branch6;
    3467       }
    3468       if (0 != 0)
    3469       {
    3470         goto _block1__branch6;
     3515        goto _block1__branch5;
     3516      }
     3517      if (0 != 0)
     3518      {
     3519        goto _block1__branch5;
    34713520      }
    34723521      uintptr_t _v_len__pos3 = (_v_len19 - _v_len20);
    3473       uintptr_t _v_len21 = _v_deref__deref__xpr5.get_len ();
     3522      uintptr_t _v_len21 = _v_deref__deref__cond5.get_len ();
    34743523      uintptr_t _v_len22 = 0;
    34753524      if (_v_len21 < _v_len22)
    34763525      {
    3477         goto _block1__branch6;
    3478       }
    3479       if (0 != 0)
    3480       {
    3481         goto _block1__branch6;
     3526        goto _block1__branch5;
     3527      }
     3528      if (0 != 0)
     3529      {
     3530        goto _block1__branch5;
    34823531      }
    34833532      uintptr_t _v_len__expr23 = (_v_len21 - _v_len22);
    3484       if (!_c_137.term_eq (_v_deref__xpr5, 0))
    3485       {
    3486         goto _block1__branch6;
    3487       }
    3488       Expr _ve_expr1 (_v_deref__xpr5, (0 + 1), _v_len__expr12);
    3489       Expr _ve_expr2 (_v_deref__deref__xpr5, 0, _v_len__expr23);
    3490       Expr _ve_pos (_v_deref__deref__xpr52, 0, _v_len__pos3);
     3533      if (!_c_139.term_eq (_v_deref__cond5, 0))
     3534      {
     3535        goto _block1__branch5;
     3536      }
     3537      Expr _ve_expr1 (_v_deref__cond5, (0 + 1), _v_len__expr12);
     3538      Expr _ve_expr2 (_v_deref__deref__cond5, 0, _v_len__expr23);
     3539      Expr _ve_pos (_v_deref__deref__cond52, 0, _v_len__pos3);
    34913540      Expr _ve_a1;
    34923541      Expr _ve_j_m_expr1;
     
    34983547      Expr _ge_auxcall6;
    34993548      RF_CALL (Expr_m_Int_m_To_m_Java, (_vs_acc, _ve_pos), _ge_auxcall6);
    3500       _v_res1 = (_ve_j_m_expr1 + _c_136 + _ve_j_m_expr2 + _c_78 + _ge_auxcall6 + _c_31);
     3549      _v_res1 = (_ve_j_m_expr1 + _c_138 + _ve_j_m_expr2 + _c_78 + _ge_auxcall6 + _c_30);
    35013550      goto _block1;
    35023551    }
    3503   _block1__branch6: {}
    3504     {
    3505       if (_ve_xpr.get_len () != 1)
    3506       {
    3507         goto _block1__branch7;
    3508       }
    3509       if (_ve_xpr.symbol_at (0))
    3510       {
    3511         goto _block1__branch7;
    3512       }
    3513       Expr _v_deref__xpr6 (_ve_xpr, 0);
    3514       uintptr_t _v_len23 = _v_deref__xpr6.get_len ();
    3515       uintptr_t _v_len24 = 1;
    3516       if (_v_len23 < _v_len24)
    3517       {
    3518         goto _block1__branch7;
    3519       }
    3520       if (0 != 0)
    3521       {
    3522         goto _block1__branch7;
    3523       }
    3524       uintptr_t _v_len__cond = (_v_len23 - _v_len24);
    3525       if (!_c_30.term_eq (_v_deref__xpr6, 0))
    3526       {
    3527         goto _block1__branch7;
    3528       }
    3529       Expr _ve_cond (_v_deref__xpr6, (0 + 1), _v_len__cond);
    3530       Expr _v_Cond_m_To_m_Java1;
    3531       RF_CALL (Cond_m_To_m_Java, (_vs_acc, _ve_cond), _v_Cond_m_To_m_Java1);
    3532       _v_res1 = (_c_138 + _v_Cond_m_To_m_Java1);
    3533       goto _block1;
    3534     }
    3535   _block1__branch7: {}
    3536     {
    3537       if (_ve_xpr.get_len () != 1)
    3538       {
    3539         goto _block1__branch8;
    3540       }
    3541       if (_ve_xpr.symbol_at (0))
    3542       {
    3543         goto _block1__branch8;
    3544       }
    3545       Expr _v_deref__xpr7 (_ve_xpr, 0);
    3546       uintptr_t _v_len25 = _v_deref__xpr7.get_len ();
    3547       uintptr_t _v_len26 = 2;
    3548       if (_v_len25 < _v_len26)
    3549       {
    3550         goto _block1__branch8;
    3551       }
    3552       if (0 != 0)
    3553       {
    3554         goto _block1__branch8;
    3555       }
    3556       uintptr_t _v_len__args2 = (_v_len25 - _v_len26);
    3557       if (!_c_108.term_eq (_v_deref__xpr7, 0))
    3558       {
    3559         goto _block1__branch8;
    3560       }
    3561       if (!_v_deref__xpr7.symbol_at ((0 + 1)))
    3562       {
    3563         goto _block1__branch8;
    3564       }
    3565       Expr _vs_op (_v_deref__xpr7, (0 + 1), 1);
    3566       Expr _ve_args (_v_deref__xpr7, (0 + 1 + 1), _v_len__args2);
    3567       {
    3568         {
    3569           {
    3570             {
    3571               if (1 != 1)
    3572               {
    3573                 goto _block3__branch1;
    3574               }
    3575               if (!_vs_op.term_eq (_c_128, 0))
    3576               {
    3577                 goto _block3__branch1;
    3578               }
    3579               goto _block3;
    3580             }
    3581           _block3__branch1: {}
    3582             {
    3583               if (1 != 1)
    3584               {
    3585                 goto _block3__branch2;
    3586               }
    3587               if (!_vs_op.term_eq (_c_139, 0))
    3588               {
    3589                 goto _block3__branch2;
    3590               }
    3591               goto _block3;
    3592             }
    3593           _block3__branch2: {}
    3594             {
    3595               if (1 != 1)
    3596               {
    3597                 goto _block3__branch3;
    3598               }
    3599               if (!_vs_op.term_eq (_c_140, 0))
    3600               {
    3601                 goto _block3__branch3;
    3602               }
    3603               goto _block3;
    3604             }
    3605           _block3__branch3: {}
    3606             {
    3607               if (1 != 1)
    3608               {
    3609                 goto _block3__branch4;
    3610               }
    3611               if (!_vs_op.term_eq (_c_141, 0))
    3612               {
    3613                 goto _block3__branch4;
    3614               }
    3615               goto _block3;
    3616             }
    3617           _block3__branch4: {}
    3618             if (1 != 1)
    3619             {
    3620               goto _block2__branch1;
    3621             }
    3622             if (!_vs_op.term_eq (_c_142, 0))
    3623             {
    3624               goto _block2__branch1;
    3625             }
    3626           }
    3627         _block3: {}
    3628           Expr _ge_auxcall7;
    3629           RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_126, _vs_op, _ve_args), _ge_auxcall7);
    3630           _v_res1 = (_ge_auxcall7 + _c_143);
    3631           goto _block2;
    3632         }
    3633       _block2__branch1: {}
    3634         Expr _gs_auxcall8;
    3635         RF_CALL (Op_m_Arg_m_To_m_Java, _vs_op, _gs_auxcall8);
    3636         Expr _ge_auxcall9;
    3637         RF_CALL (Infix_m_To_m_Java, (_vs_acc, _gs_auxcall8, _vs_op, _ve_args), _ge_auxcall9);
    3638         _v_res1 = (_c_127 + _ge_auxcall9 + _c_31);
    3639       }
    3640     _block2: {}
    3641       goto _block1;
    3642     }
    3643   _block1__branch8: {}
    3644     if (_ve_xpr.get_len () != _ve_xpr.get_len ())
     3552  _block1__branch5: {}
     3553    if (1 != 1)
    36453554    {
    36463555      RF_FUNC_ERROR (unexpected_fail);
    36473556    }
    3648     if (!_ve_xpr.eq (_ve_xpr, 0))
     3557    if (_vt_cond.symbol_at (0))
    36493558    {
    36503559      RF_FUNC_ERROR (unexpected_fail);
    36513560    }
    3652     Expr _ge_auxcall10;
    3653     RF_CALL (List::Paren, _ve_xpr, _ge_auxcall10);
    3654     Expr _ge_auxcall11;
    3655     RF_CALL (Infix_m_To_m_Java, (_vs_acc, _c_144, _c_145, _ge_auxcall10), _ge_auxcall11);
    3656     _v_res1 = (_c_127 + _ge_auxcall11 + _c_31);
     3561    Expr _v_deref__cond6 (_vt_cond, 0);
     3562    if (_v_deref__cond6.get_len () != 2)
     3563    {
     3564      RF_FUNC_ERROR (unexpected_fail);
     3565    }
     3566    if (!_c_140.term_eq (_v_deref__cond6, 0))
     3567    {
     3568      RF_FUNC_ERROR (unexpected_fail);
     3569    }
     3570    Expr _vt_not_m_cond (_v_deref__cond6, (0 + 1), 1);
     3571    Expr _v_Cond_m_To_m_Java1;
     3572    RF_CALL (Cond_m_To_m_Java, (_vs_acc, _vt_not_m_cond), _v_Cond_m_To_m_Java1);
     3573    _v_res1 = (_c_130 + _v_Cond_m_To_m_Java1);
    36573574  }
    36583575_block1: {}
     
    37083625            goto _block2__branch1;
    37093626          }
    3710           uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_414_m_28 = (_v_len5 - _v_len6);
     3627          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_408_m_28 = (_v_len5 - _v_len6);
    37113628          uintptr_t _v_len7 = _ve_arg.get_len ();
    37123629          uintptr_t _v_len8 = 0;
     
    37193636            goto _block2__branch1;
    37203637          }
    3721           uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_414_m_16 = (_v_len7 - _v_len8);
    3722           Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_414_m_16 (_ve_arg, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_414_m_16);
    3723           Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_414_m_28 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_414_m_28);
    3724           _v_res1 = (_ve_arg + _c_24 + _vs_op + _c_24 + _ve_rest);
     3638          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_408_m_16 = (_v_len7 - _v_len8);
     3639          Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_408_m_16 (_ve_arg, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_408_m_16);
     3640          Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_408_m_28 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_408_m_28);
     3641          _v_res1 = (_ve_arg + _c_25 + _vs_op + _c_25 + _ve_rest);
    37253642          goto _block2;
    37263643        }
     
    37373654RF_END
    37383655
    3739 RF_FUNC (Op_m_Arg_m_To_m_Java, (RF_ARG _vs_op;;), (RF_RES _v_res1;;))
    3740   {
    3741     {
    3742       {
    3743         {
    3744           if (1 != 1)
    3745           {
    3746             goto _block2__branch1;
    3747           }
    3748           if (!_vs_op.term_eq (_c_145, 0))
    3749           {
    3750             goto _block2__branch1;
    3751           }
    3752           goto _block2;
    3753         }
    3754       _block2__branch1: {}
    3755         if (1 != 1)
    3756         {
    3757           goto _block1__branch1;
    3758         }
    3759         if (!_vs_op.term_eq (_c_146, 0))
    3760         {
    3761           goto _block1__branch1;
    3762         }
    3763       }
    3764     _block2: {}
    3765       _v_res1 = _c_144;
    3766       goto _block1;
    3767     }
    3768   _block1__branch1: {}
    3769     {
    3770       {
    3771         if (1 != 1)
    3772         {
    3773           goto _block3__branch1;
    3774         }
    3775         if (!_vs_op.term_eq (_c_147, 0))
    3776         {
    3777           goto _block3__branch1;
    3778         }
    3779         goto _block3;
    3780       }
    3781     _block3__branch1: {}
    3782       {
    3783         if (1 != 1)
    3784         {
    3785           goto _block3__branch2;
    3786         }
    3787         if (!_vs_op.term_eq (_c_148, 0))
    3788         {
    3789           goto _block3__branch2;
    3790         }
    3791         goto _block3;
    3792       }
    3793     _block3__branch2: {}
    3794       {
    3795         if (1 != 1)
    3796         {
    3797           goto _block3__branch3;
    3798         }
    3799         if (!_vs_op.term_eq (_c_149, 0))
    3800         {
    3801           goto _block3__branch3;
    3802         }
    3803         goto _block3;
    3804       }
    3805     _block3__branch3: {}
    3806       {
    3807         if (1 != 1)
    3808         {
    3809           goto _block3__branch4;
    3810         }
    3811         if (!_vs_op.term_eq (_c_150, 0))
    3812         {
    3813           goto _block3__branch4;
    3814         }
    3815         goto _block3;
    3816       }
    3817     _block3__branch4: {}
    3818       {
    3819         if (1 != 1)
    3820         {
    3821           goto _block3__branch5;
    3822         }
    3823         if (!_vs_op.term_eq (_c_151, 0))
    3824         {
    3825           goto _block3__branch5;
    3826         }
    3827         goto _block3;
    3828       }
    3829     _block3__branch5: {}
    3830       {
    3831         if (1 != 1)
    3832         {
    3833           goto _block3__branch6;
    3834         }
    3835         if (!_vs_op.term_eq (_c_152, 0))
    3836         {
    3837           goto _block3__branch6;
    3838         }
    3839         goto _block3;
    3840       }
    3841     _block3__branch6: {}
    3842       {
    3843         if (1 != 1)
    3844         {
    3845           goto _block3__branch7;
    3846         }
    3847         if (!_vs_op.term_eq (_c_128, 0))
    3848         {
    3849           goto _block3__branch7;
    3850         }
    3851         goto _block3;
    3852       }
    3853     _block3__branch7: {}
    3854       {
    3855         if (1 != 1)
    3856         {
    3857           goto _block3__branch8;
    3858         }
    3859         if (!_vs_op.term_eq (_c_139, 0))
    3860         {
    3861           goto _block3__branch8;
    3862         }
    3863         goto _block3;
    3864       }
    3865     _block3__branch8: {}
    3866       {
    3867         if (1 != 1)
    3868         {
    3869           goto _block3__branch9;
    3870         }
    3871         if (!_vs_op.term_eq (_c_140, 0))
    3872         {
    3873           goto _block3__branch9;
    3874         }
    3875         goto _block3;
    3876       }
    3877     _block3__branch9: {}
    3878       {
    3879         if (1 != 1)
    3880         {
    3881           goto _block3__branch10;
    3882         }
    3883         if (!_vs_op.term_eq (_c_141, 0))
    3884         {
    3885           goto _block3__branch10;
    3886         }
    3887         goto _block3;
    3888       }
    3889     _block3__branch10: {}
    3890       if (1 != 1)
    3891       {
    3892         RF_FUNC_ERROR (unexpected_fail);
    3893       }
    3894       if (!_vs_op.term_eq (_c_142, 0))
    3895       {
    3896         RF_FUNC_ERROR (unexpected_fail);
    3897       }
    3898     }
    3899   _block3: {}
    3900     _v_res1 = _c_126;
    3901   }
    3902 _block1: {}
    3903 RF_END
    3904 
    39053656RF_FUNC (Step_m_To_m_Java, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
    39063657  {
     
    39353686      }
    39363687      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
    3937       if (!_c_36.term_eq (_v_deref__arg1, 0))
     3688      if (!_c_37.term_eq (_v_deref__arg1, 0))
    39383689      {
    39393690        goto _block1__branch2;
     
    39503701        RF_FUNC_ERROR (unexpected_fail);
    39513702      }
    3952       _v_res1 = (_ge_auxcall2 + _c_153);
     3703      _v_res1 = (_ge_auxcall2 + _c_141);
    39533704      goto _block1;
    39543705    }
     
    39743725    }
    39753726    uintptr_t _v_len__expr2 = (_v_len3 - _v_len4);
    3976     if (!_c_37.term_eq (_v_deref__arg12, 0))
     3727    if (!_c_38.term_eq (_v_deref__arg12, 0))
    39773728    {
    39783729      RF_FUNC_ERROR (unexpected_fail);
     
    39893740      RF_FUNC_ERROR (unexpected_fail);
    39903741    }
    3991     _v_res1 = (_ge_auxcall4 + _c_154);
     3742    _v_res1 = (_ge_auxcall4 + _c_142);
    39923743  }
    39933744_block1: {}
     
    40383789      RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ge_auxcall1);
    40393790      _v_res1 = empty;
    4040       _v_res2 = (_c_110 + _ge_auxcall1 + _c_78 + _vs_pos + _c_78 + _vs_len + _c_31);
     3791      _v_res2 = (_c_110 + _ge_auxcall1 + _c_78 + _vs_pos + _c_78 + _vs_len + _c_30);
    40413792      goto _block1;
    40423793    }
     
    41493900        Expr _ve_2 (_v_deref__compose23, 0, _v_len__2);
    41503901        _v_res1 = _ve_arrays;
    4151         _v_res2 = (_c_110 + _ve_1 + _c_78 + _ve_2 + _c_31);
     3902        _v_res2 = (_c_110 + _ve_1 + _c_78 + _ve_2 + _c_30);
    41523903        goto _block2;
    41533904      }
     
    41903941      Expr _ge_auxcall3;
    41913942      RF_CALL (List::Concat, _ge_auxcall2, _ge_auxcall3);
    4192       _v_res1 = (_ve_arrays + (_c_155 + _ve_new_m_var + _c_114 + _ge_auxcall3 + _c_113) ());
    4193       _v_res2 = (_c_116 + _ve_new_m_var + _c_31);
     3943      _v_res1 = (_ve_arrays + (_c_143 + _ve_new_m_var + _c_114 + _ge_auxcall3 + _c_113) ());
     3944      _v_res2 = (_c_116 + _ve_new_m_var + _c_30);
    41943945    }
    41953946  _block2: {}
     
    42393990        goto _block1__branch2;
    42403991      }
    4241       uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_455_m_14 = (_v_len3 - _v_len4);
    4242       Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_455_m_14 (_ve_accum, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_455_m_14);
     3992      uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_442_m_14 = (_v_len3 - _v_len4);
     3993      Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_442_m_14 (_ve_accum, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_442_m_14);
    42433994      Expr _ve_arrays;
    42443995      Expr _ve_j_m_expr;
    42453996      RF_CALL (Const_m_Expr_m_Aux, (empty, _ve_expr), (_ve_arrays, _ve_j_m_expr));
    42463997      _v_res1 = _ve_arrays;
    4247       _v_res2 = ((_c_157 + _ve_accum + _c_156) () + _ve_j_m_expr);
     3998      _v_res2 = ((_c_145 + _ve_accum + _c_144) () + _ve_j_m_expr);
    42483999      goto _block1;
    42494000    }
     
    42964047          RF_CALL (Const_m_Expr_m_To_m_Java, _ve_paren_m_expr, (_ge_arrays__4, _ve_j_m_expr));
    42974048          _ve_arrays = _ge_arrays__4;
    4298           _ve_java_m_item = (_c_110 + _ve_j_m_expr + _c_31) ();
     4049          _ve_java_m_item = (_c_110 + _ve_j_m_expr + _c_30) ();
    42994050          goto _block2;
    43004051        }
     
    43464097            goto _block2__branch3;
    43474098          }
    4348           uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_464_m_14 = (_v_len9 - _v_len10);
     4099          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_451_m_14 = (_v_len9 - _v_len10);
    43494100          if (!_c_89.term_eq (_v_deref__item3, 0))
    43504101          {
    43514102            goto _block2__branch3;
    43524103          }
    4353           Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_464_m_14 (_v_deref__item3, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_464_m_14);
     4104          Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_451_m_14 (_v_deref__item3, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_451_m_14);
    43544105          Expr _ge_auxcall3;
    43554106          RF_CALL (JavaMangle::Rfp2Java, _vt_item, _ge_auxcall3);
     
    43734124            goto _block2__branch4;
    43744125          }
    4375           if (!_c_17.term_eq (_v_deref__item4, 0))
     4126          if (!_c_18.term_eq (_v_deref__item4, 0))
    43764127          {
    43774128            goto _block2__branch4;
     
    43814132          RF_CALL (Name_m_To_m_Java, _vt_name, _ge_auxcall4);
    43824133          _ve_arrays = empty;
    4383           _ve_java_m_item = (_c_162 + (_c_160 + (_c_159 + _ge_auxcall4 + _c_158) () + _c_8) () + _c_161) ();
     4134          _ve_java_m_item = (_c_150 + (_c_148 + (_c_147 + _ge_auxcall4 + _c_146) () + _c_8) () + _c_149) ();
    43844135          goto _block2;
    43854136        }
     
    43994150            goto _block2__branch5;
    44004151          }
    4401           if (!_c_15.term_eq (_v_deref__item5, 0))
     4152          if (!_c_16.term_eq (_v_deref__item5, 0))
    44024153          {
    44034154            goto _block2__branch5;
     
    44074158          RF_CALL (Name_m_To_m_Java, _vt_name, _ge_auxcall5);
    44084159          _ve_arrays = empty;
    4409           _ve_java_m_item = (_c_162 + (_c_160 + ((_ge_auxcall5 + _c_158) () + _c_19) () + _c_8) () + _c_161) ();
     4160          _ve_java_m_item = (_c_150 + (_c_148 + ((_ge_auxcall5 + _c_146) () + _c_20) () + _c_8) () + _c_149) ();
    44104161          goto _block2;
    44114162        }
     
    44384189                  goto _block4__branch1;
    44394190                }
    4440                 RF_CALL (Table::Bind, (Inputs, _c_163, empty), /*void*/);
     4191                RF_CALL (Table::Bind, (Inputs, _c_151, empty), /*void*/);
    44414192                goto _block4;
    44424193              }
     
    44474198            RF_CALL (Box::_q_, Int, _ge_auxcall6);
    44484199            _ve_arrays = empty;
    4449             _ve_java_m_item = (_c_165 + _ge_auxcall6 + _c_95 + _vs_sym + _c_164) ();
     4200            _ve_java_m_item = (_c_153 + _ge_auxcall6 + _c_95 + _vs_sym + _c_152) ();
    44504201            goto _block3;
    44514202          }
     
    44584209          RF_CALL (Symbol_m_To_m_Java, _vs_sym, _ge_auxcall7);
    44594210          _ve_arrays = empty;
    4460           _ve_java_m_item = (_c_166 + _ge_auxcall7 + _c_164) ();
     4211          _ve_java_m_item = (_c_154 + _ge_auxcall7 + _c_152) ();
    44614212        }
    44624213      _block3: {}
     
    45174268          goto _block3__branch1;
    45184269        }
    4519         if (!_vs_char.term_eq (_c_167, 0))
     4270        if (!_vs_char.term_eq (_c_155, 0))
    45204271        {
    45214272          goto _block3__branch1;
    45224273        }
    4523         _ve_java_m_char = _c_168;
     4274        _ve_java_m_char = _c_156;
    45244275        goto _block3;
    45254276      }
     
    45304281          goto _block3__branch2;
    45314282        }
    4532         if (!_vs_char.term_eq (_c_169, 0))
     4283        if (!_vs_char.term_eq (_c_157, 0))
    45334284        {
    45344285          goto _block3__branch2;
    45354286        }
    4536         _ve_java_m_char = _c_170;
     4287        _ve_java_m_char = _c_158;
    45374288        goto _block3;
    45384289      }
     
    45434294          goto _block3__branch3;
    45444295        }
    4545         if (!_vs_char.term_eq (_c_171, 0))
     4296        if (!_vs_char.term_eq (_c_159, 0))
    45464297        {
    45474298          goto _block3__branch3;
    45484299        }
    4549         _ve_java_m_char = _c_172;
     4300        _ve_java_m_char = _c_160;
    45504301        goto _block3;
    45514302      }
     
    45564307          goto _block3__branch4;
    45574308        }
    4558         if (!_vs_char.term_eq (_c_173, 0))
     4309        if (!_vs_char.term_eq (_c_161, 0))
    45594310        {
    45604311          goto _block3__branch4;
    45614312        }
    4562         _ve_java_m_char = _c_174;
     4313        _ve_java_m_char = _c_162;
    45634314        goto _block3;
    45644315      }
     
    45694320          goto _block3__branch5;
    45704321        }
    4571         if (!_vs_char.term_eq (_c_175, 0))
     4322        if (!_vs_char.term_eq (_c_163, 0))
    45724323        {
    45734324          goto _block3__branch5;
    45744325        }
    4575         _ve_java_m_char = _c_176;
     4326        _ve_java_m_char = _c_164;
    45764327        goto _block3;
    45774328      }
     
    45854336        RF_FUNC_ERROR (unexpected_fail);
    45864337      }
    4587       Expr _vs__e__e_tmp_m_rfp__asail__javarf_m_503_m_8 (_vs_char, 0, 1);
     4338      Expr _vs__e__e_tmp_m_rfp__asail__javarf_m_490_m_8 (_vs_char, 0, 1);
    45884339      _ve_java_m_char = _vs_char;
    45894340    }
     
    46514402          goto _block2__branch1;
    46524403        }
    4653         uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_515_m_19 = (_v_len5 - _v_len6);
    4654         Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_515_m_19 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_515_m_19);
     4404        uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_502_m_19 = (_v_len5 - _v_len6);
     4405        Expr _vv__e__e_tmp_m_rfp__asail__javarf_m_502_m_19 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_502_m_19);
    46554406        _ve_comma = _c_78;
    46564407        goto _block2;
     
    47274478            goto _block2__branch1;
    47284479          }
    4729           RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_529_m_19, _v_lsplit__rest);
     4480          RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_516_m_19, _v_lsplit__rest);
    47304481          for ( ; ; RF_iter(_ve_rest)++)
    47314482          {
     
    47454496                goto _continue1;
    47464497              }
    4747               uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_529_m_25 = (_v_len5 - _v_len6);
     4498              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_516_m_25 = (_v_len5 - _v_len6);
    47484499              if (_v_lsplit__rest.symbol_at (0))
    47494500              {
     
    47614512                goto _continue1;
    47624513              }
    4763               uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_529_m_22 = (_v_len7 - _v_len8);
    4764               Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_529_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_529_m_25);
    4765               Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_529_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_529_m_22);
     4514              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_516_m_22 = (_v_len7 - _v_len8);
     4515              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_516_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_516_m_25);
     4516              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_516_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_516_m_22);
    47664517              _ve_comma = _c_78;
    47674518              goto _exit1;
     
    47794530      RF_CALL (JavaMangle::Rfp2Java, _vt_arg, _ge_auxcall1);
    47804531      _ge_args__0 = _ve_rest;
    4781       _ve_java_m_args = (_ve_java_m_args + _ve_type + _c_24 + _ge_auxcall1 + _ve_comma);
     4532      _ve_java_m_args = (_ve_java_m_args + _ve_type + _c_25 + _ge_auxcall1 + _ve_comma);
    47824533    }
    47834534  _block1: {}
     
    48634614            goto _block2__branch1;
    48644615          }
    4865           RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_543_m_19, _v_lsplit__rest);
     4616          RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_530_m_19, _v_lsplit__rest);
    48664617          for ( ; ; RF_iter(_ve_rest)++)
    48674618          {
     
    48814632                goto _continue1;
    48824633              }
    4883               uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_543_m_25 = (_v_len7 - _v_len8);
     4634              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_530_m_25 = (_v_len7 - _v_len8);
    48844635              if (_v_lsplit__rest.symbol_at (0))
    48854636              {
     
    48974648                goto _continue1;
    48984649              }
    4899               uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_543_m_22 = (_v_len9 - _v_len10);
    4900               Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_543_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_543_m_25);
    4901               Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_543_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_543_m_22);
     4650              uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_530_m_22 = (_v_len9 - _v_len10);
     4651              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_530_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_530_m_25);
     4652              Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_530_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__javarf_m_530_m_22);
    49024653              _ve_comma = _c_78;
    49034654              goto _exit1;
     
    49794730        goto _block1__branch1;
    49804731      }
    4981       _v_res1 = (_ge_auxcall1 + _c_177);
     4732      _v_res1 = (_ge_auxcall1 + _c_165);
    49824733      goto _block1;
    49834734    }
     
    49974748        goto _block1__branch1;
    49984749      }
    4999       RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_571_m_19, _v_lsplit___q_1);
     4750      RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__javarf_m_558_m_19, _v_lsplit___q_1);
    50004751      for ( ; ; RF_iter(_v__q_1)++)
    50014752      {
     
    50154766            goto _continue1;
    50164767          }
    5017           uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_571_m_28 = (_v_len1 - _v_len2);
     4768          uintptr_t _v_len___e__e_tmp_m_rfp__asail__javarf_m_558_m_28 = (_v_len1 - _v_len2);
    50184769          if (!_vt_name.term_eq (_v_lsplit___q_1, 0))
    50194770          {
    50204771            goto _continue1;
    50214772          }
    5022           Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_571_m_28 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_571_m_28);
    5023           _v_res1 = _c_178;
     4773          Expr _ve__e__e_tmp_m_rfp__asail__javarf_m_558_m_28 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__javarf_m_558_m_28);
     4774          _v_res1 = _c_166;
    50244775          goto _exit1;
    50254776        }
     
    50304781    }
    50314782  _block1__branch1: {}
    5032     _v_res1 = _c_179;
     4783    _v_res1 = _c_167;
    50334784  }
    50344785_block1: {}
     
    50454796        goto _block1__branch1;
    50464797      }
    5047       _vs_idx = _c_180;
     4798      _vs_idx = _c_168;
    50484799      goto _block1;
    50494800    }
     
    50584809    }
    50594810    Expr _gs_idx__2 (_v__q_1, 0, 1);
    5060     RF_CALL (Arithm::_p_, (_gs_idx__2, _c_180), _vs_idx);
     4811    RF_CALL (Arithm::_p_, (_gs_idx__2, _c_168), _vs_idx);
    50614812  }
    50624813_block1: {}
     
    50654816RF_END
    50664817
    5067 RF_FUNC (Cond_m_To_m_Java__0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
    5068   uintptr_t _v_len1 = _ge_arg1.get_len ();
    5069   uintptr_t _v_len2 = 1;
    5070   if (_v_len1 < _v_len2)
    5071   {
    5072     RF_ERROR (_c_181);
    5073   }
    5074   if (0 != 0)
    5075   {
    5076     RF_ERROR (_c_181);
    5077   }
    5078   uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
    5079   if (!_ge_arg1.symbol_at (0))
    5080   {
    5081     RF_ERROR (_c_181);
    5082   }
    5083   Expr _v_stub2 (_ge_arg1, 0, 1);
    5084   Expr _v_stub1 (_ge_arg1, (0 + 1), _v_len__stub1);
    5085   RF_TAILCALL (Cond_m_To_m_Java, (_v_stub2, _v_stub1), _v_res1);
    5086 RF_END
    5087 
    5088 RF_FUNC (Term_m_Ref_m_To_m_Java__0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
    5089   if (_ge_arg1.get_len () != 2)
    5090   {
    5091     RF_ERROR (_c_181);
    5092   }
    5093   if (!_ge_arg1.symbol_at (0))
    5094   {
    5095     RF_ERROR (_c_181);
    5096   }
    5097   Expr _v_stub1 (_ge_arg1, 0, 1);
    5098   Expr _v_stub2 (_ge_arg1, (0 + 1), 1);
    5099   RF_TAILCALL (Term_m_Ref_m_To_m_Java, (_v_stub1, _v_stub2), _v_res1);
    5100 RF_END
    5101 
    51024818RF_FUNC (Expr_m_Int_m_To_m_Java__0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
    51034819  uintptr_t _v_len1 = _ge_arg1.get_len ();
     
    51054821  if (_v_len1 < _v_len2)
    51064822  {
    5107     RF_ERROR (_c_181);
     4823    RF_ERROR (_c_169);
    51084824  }
    51094825  if (0 != 0)
    51104826  {
    5111     RF_ERROR (_c_181);
     4827    RF_ERROR (_c_169);
    51124828  }
    51134829  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
    51144830  if (!_ge_arg1.symbol_at (0))
    51154831  {
    5116     RF_ERROR (_c_181);
     4832    RF_ERROR (_c_169);
    51174833  }
    51184834  Expr _v_stub2 (_ge_arg1, 0, 1);
    51194835  Expr _v_stub1 (_ge_arg1, (0 + 1), _v_len__stub1);
    51204836  RF_TAILCALL (Expr_m_Int_m_To_m_Java, (_v_stub2, _v_stub1), _v_res1);
     4837RF_END
     4838
     4839RF_FUNC (Term_m_Ref_m_To_m_Java__0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     4840  if (_ge_arg1.get_len () != 2)
     4841  {
     4842    RF_ERROR (_c_169);
     4843  }
     4844  if (!_ge_arg1.symbol_at (0))
     4845  {
     4846    RF_ERROR (_c_169);
     4847  }
     4848  Expr _v_stub1 (_ge_arg1, 0, 1);
     4849  Expr _v_stub2 (_ge_arg1, (0 + 1), 1);
     4850  RF_TAILCALL (Term_m_Ref_m_To_m_Java, (_v_stub1, _v_stub2), _v_res1);
    51214851RF_END
    51224852
     
    51454875  _c_2 = Expr::create<rftype::Word>("ENTRIES");
    51464876  _c_3 = Expr::create<rftype::Word>("Main");
    5147   _c_6 = Char::create_expr (L"RefalRuntime.setArgs (\"");
     4877  _c_6 = rftype::Char::create_expr (L"RefalRuntime.setArgs (\"");
    51484878  _c_4 = Expr (_c_6, 12, 1);
    5149   _c_5 = Char::create_expr (L"\", args);");
    5150   _c_7 = Char::create_expr (L" (new Result ());");
    5151   _c_182 = Char::create_expr (L"java.lang.System.out.println (\"$error: \" + e);");
    5152   _c_183 = Char::create_expr (L"catch (RefalException e) {") + ((_c_182) () + (Char::create_expr (L"java.lang.System.exit (100);")) ()) () + Char::create_expr (L"}");
    5153   _c_8 = Expr (_c_183, 27, 1);
    5154   _c_9 = Char::create_expr (L"try {");
    5155   _c_10 = (_c_183) ();
    5156   _c_11 = Char::create_expr (L"public static void main (java.lang.String[] args) {");
     4879  _c_5 = rftype::Char::create_expr (L"\", args);");
     4880  _c_7 = rftype::Char::create_expr (L" (new Result ());");
     4881  _c_170 = rftype::Char::create_expr (L"java.lang.System.out.println (\"$error: \" + e);");
     4882  _c_171 = rftype::Char::create_expr (L"catch (RefalException e) {") + ((_c_170) () + (rftype::Char::create_expr (L"java.lang.System.exit (100);")) ()) () + rftype::Char::create_expr (L"}");
     4883  _c_8 = Expr (_c_171, 27, 1);
     4884  _c_9 = rftype::Char::create_expr (L"try {");
     4885  _c_10 = (_c_171) ();
     4886  _c_11 = rftype::Char::create_expr (L"public static void main (java.lang.String[] args) {");
    51574887  _c_12 = (empty) ();
    5158   _c_13 = Char::create_expr (L"\n{");
    5159   _c_14 = Char::create_expr (L"public class ");
    5160   _c_15 = Expr::create<rftype::Word>("FUNC");
    5161   _c_16 = Expr (_c_11, 14, 4);
    5162   _c_17 = Expr::create<rftype::Word>("FUNC?");
    5163   _c_160 = Char::create_expr (L"public boolean eval (Expr arg, Result res) throws RefalException {");
    5164   _c_18 = Expr (_c_160, 7, 7);
    5165   _c_19 = (Char::create_expr (L"return true;")) ();
    5166   _c_20 = Expr::create<rftype::Word>("Result");
    5167   _c_21 = Expr::create<rftype::Word>("Expr");
    5168   _c_22 = Expr (_c_160, 41, 23);
    5169   _c_23 = Expr (_c_183, 5, 2);
    5170   _c_24 = Expr (_c_23, 0, 1);
    5171   _c_25 = Expr (_c_11, 7, 7);
    5172   _c_26 = Expr (_c_13, 1, 1);
    5173   _c_27 = Expr::create<rftype::Word>("TRACE");
    5174   _c_28 = Expr::create<rftype::Word>("IF");
    5175   _c_29 = Expr::create<rftype::Word>("CALL");
    5176   _c_30 = Expr::create<rftype::Word>("NOT");
    5177   _c_31 = Expr (_c_5, 7, 1);
    5178   _c_49 = Char::create_expr (L"if (false)");
    5179   _c_32 = Expr (_c_49, 0, 4);
    5180   _c_33 = Expr::create<rftype::Word>("FOR");
    5181   _c_34 = Expr::create<rftype::Word>("LABEL");
    5182   _c_35 = Expr (_c_182, 37, 2);
    5183   _c_36 = Expr::create<rftype::Word>("INC-ITER");
    5184   _c_37 = Expr::create<rftype::Word>("DEC-ITER");
    5185   _c_38 = Char::create_expr (L".getLeft();");
    5186   _c_184 = Char::create_expr (L"Expr err = error.getExpr ();");
    5187   _c_39 = Expr (_c_184, 8, 3);
    5188   _c_40 = Expr (_c_184, 0, 5);
    5189   _c_41 = Char::create_expr (L".getRight();");
    5190   _c_43 = Char::create_expr (L"for ( ; ");
    5191   _c_42 = Expr (_c_43, 6, 2);
    5192   _c_44 = Char::create_expr (L": {");
     4888  _c_13 = rftype::Char::create_expr (L"\n{");
     4889  _c_14 = rftype::Char::create_expr (L"public class ");
     4890  _c_15 = Expr::create<rftype::Word>("IMPORT");
     4891  _c_16 = Expr::create<rftype::Word>("FUNC");
     4892  _c_17 = Expr (_c_11, 14, 4);
     4893  _c_18 = Expr::create<rftype::Word>("FUNC?");
     4894  _c_148 = rftype::Char::create_expr (L"public boolean eval (Expr arg, Result res) throws RefalException {");
     4895  _c_19 = Expr (_c_148, 7, 7);
     4896  _c_20 = (rftype::Char::create_expr (L"return true;")) ();
     4897  _c_21 = Expr::create<rftype::Word>("Result");
     4898  _c_22 = Expr::create<rftype::Word>("Expr");
     4899  _c_23 = Expr (_c_148, 41, 23);
     4900  _c_24 = Expr (_c_171, 5, 2);
     4901  _c_25 = Expr (_c_24, 0, 1);
     4902  _c_26 = Expr (_c_11, 7, 7);
     4903  _c_27 = Expr (_c_13, 1, 1);
     4904  _c_28 = Expr::create<rftype::Word>("TRACE");
     4905  _c_29 = Expr::create<rftype::Word>("IF-INT-CMP");
     4906  _c_30 = Expr (_c_5, 7, 1);
     4907  _c_49 = rftype::Char::create_expr (L"if (false)");
     4908  _c_31 = Expr (_c_49, 0, 4);
     4909  _c_32 = Expr::create<rftype::Word>("IF");
     4910  _c_33 = Expr::create<rftype::Word>("CALL-FAILS");
     4911  _c_34 = Expr::create<rftype::Word>("FOR");
     4912  _c_35 = Expr::create<rftype::Word>("LABEL");
     4913  _c_36 = Expr (_c_170, 37, 2);
     4914  _c_37 = Expr::create<rftype::Word>("INC-ITER");
     4915  _c_38 = Expr::create<rftype::Word>("DEC-ITER");
     4916  _c_39 = rftype::Char::create_expr (L".getLeft();");
     4917  _c_172 = rftype::Char::create_expr (L"Expr err = error.getExpr ();");
     4918  _c_40 = Expr (_c_172, 8, 3);
     4919  _c_41 = Expr (_c_172, 0, 5);
     4920  _c_42 = rftype::Char::create_expr (L".getRight();");
     4921  _c_43 = rftype::Char::create_expr (L"for ( ; ; ");
     4922  _c_44 = rftype::Char::create_expr (L": {");
    51934923  _c_45 = Expr::create<rftype::Word>("TRY");
    5194   _c_46 = Char::create_expr (L"\", \"This is for avoiding 'Unreachable code' errors\");");
     4924  _c_46 = rftype::Char::create_expr (L"\", \"This is for avoiding 'Unreachable code' errors\");");
    51954925  _c_47 = Expr (_c_46, 0, 4);
    5196   _c_48 = Char::create_expr (L"throw new RefalException (\"");
     4926  _c_48 = rftype::Char::create_expr (L"throw new RefalException (\"");
    51974927  _c_50 = (Expr (_c_9, 0, 3)) ();
    51984928  _c_51 = Expr::create<rftype::Word>("CATCH-ERROR");
    5199   _c_52 = (_c_184) ();
    5200   _c_53 = Char::create_expr (L"catch (RefalException error) {");
     4929  _c_52 = (_c_172) ();
     4930  _c_53 = rftype::Char::create_expr (L"catch (RefalException error) {");
    52014931  _c_54 = Expr::create<rftype::Word>("RETFAIL");
    5202   _c_185 = Char::create_expr (L"return false;");
    5203   _c_100 = Char::create_expr (L") {") + (_c_185) () + Char::create_expr (L"}");
     4932  _c_173 = rftype::Char::create_expr (L"return false;");
     4933  _c_100 = rftype::Char::create_expr (L") {") + (_c_173) () + rftype::Char::create_expr (L"}");
    52044934  _c_55 = Expr (_c_100, 3, 1);
    52054935  _c_56 = Expr::create<rftype::Word>("FATAL");
    5206   _c_57 = Char::create_expr (L"\", \"Unexpected fail\");");
     4936  _c_57 = rftype::Char::create_expr (L"\", \"Unexpected fail\");");
    52074937  _c_58 = Expr::create<rftype::Word>("LSPLIT");
    5208   _c_59 = Char::create_expr (L"_va_");
    5209   _c_60 = Expr (_c_41, 10, 2);
    5210   _c_61 = Char::create_expr (L".leftSplit(");
    5211   _c_62 = Char::create_expr (L"Expr.SplitIterator ");
     4938  _c_59 = rftype::Char::create_expr (L"_va_");
     4939  _c_60 = Expr (_c_5, 7, 2);
     4940  _c_61 = rftype::Char::create_expr (L".leftSplit(");
     4941  _c_62 = rftype::Char::create_expr (L"Expr.SplitIterator ");
    52124942  _c_63 = Expr::create<rftype::Word>("RSPLIT");
    5213   _c_64 = Char::create_expr (L".rightSplit(");
     4943  _c_64 = rftype::Char::create_expr (L".rightSplit(");
    52144944  _c_65 = Expr::create<rftype::Word>("ASSIGN");
    5215   _c_66 = Char::create_expr (L".assign (");
     4945  _c_66 = rftype::Char::create_expr (L".assign (");
    52164946  _c_67 = Expr (_c_60, 1, 1);
    52174947  _c_68 = Expr::create<rftype::Word>("DECL");
    5218   _c_69 = Char::create_expr (L" = new Result ();");
     4948  _c_69 = rftype::Char::create_expr (L" = new Result ();");
    52194949  _c_70 = Expr (_c_69, 7, 7);
    5220   _c_71 = Char::create_expr (L" = Expr.empty;");
    5221   _c_72 = Char::create_expr (L"int ");
     4950  _c_71 = rftype::Char::create_expr (L" = Expr.empty;");
     4951  _c_72 = rftype::Char::create_expr (L"int ");
    52224952  _c_73 = Expr::create<rftype::Word>("EXPR");
    52234953  _c_74 = Expr::create<rftype::Word>("DEREF");
    5224   _c_75 = Char::create_expr (L".at (");
    5225   _c_76 = Char::create_expr (L" = (Expr) ");
     4954  _c_75 = rftype::Char::create_expr (L".at (");
     4955  _c_76 = rftype::Char::create_expr (L" = (Expr) ");
    52264956  _c_77 = Expr::create<rftype::Word>("SUBEXPR");
    52274957  _c_78 = Expr (_c_47, 1, 2);
    5228   _c_96 = Char::create_expr (L" = new Expr (new ");
     4958  _c_96 = rftype::Char::create_expr (L" = new Expr (new ");
    52294959  _c_79 = Expr (_c_96, 0, 13);
    52304960  _c_80 = Expr::create<rftype::Word>("DROP");
    5231   _c_81 = Char::create_expr (L".drop ();");
     4961  _c_81 = rftype::Char::create_expr (L".drop ();");
    52324962  _c_82 = Expr::create<rftype::Word>("CONTINUE");
    5233   _c_83 = Char::create_expr (L"continue ");
     4963  _c_83 = rftype::Char::create_expr (L"continue ");
    52344964  _c_84 = Expr::create<rftype::Word>("BREAK");
    5235   _c_85 = Char::create_expr (L"break ");
     4965  _c_85 = rftype::Char::create_expr (L"break ");
    52364966  _c_86 = Expr::create<rftype::Word>("ERROR");
    52374967  _c_87 = Expr (_c_48, 0, 26);
    52384968  _c_88 = Expr::create<rftype::Word>("CONSTEXPR");
    52394969  _c_89 = Expr::create<rftype::Word>("STATIC");
    5240   _c_90 = Char::create_expr (L" final Expr ");
     4970  _c_90 = rftype::Char::create_expr (L" final Expr ");
    52414971  _c_91 = Expr::create<rftype::Word>("OBJ");
    5242   _c_92 = Char::create_expr (L"Named");
    5243   _c_93 = Char::create_expr (L"org.refal.plus.library.");
    5244   _c_94 = Char::create_expr (L"\"));");
     4972  _c_92 = rftype::Char::create_expr (L"Named");
     4973  _c_93 = rftype::Char::create_expr (L"org.refal.plus.library.");
     4974  _c_94 = rftype::Char::create_expr (L"\"));");
    52454975  _c_95 = Expr (_c_48, 24, 3);
    52464976  _c_97 = Expr::create<rftype::Word>("DECL-OBJ");
    52474977  _c_98 = Expr::create<rftype::Word>("DECL-FUNC");
    52484978  _c_99 = Expr::create<rftype::Word>("TAILCALL?");
    5249   _c_101 = Char::create_expr (L"if (!");
    5250   _c_102 = Expr (_c_184, 16, 12);
     4979  _c_101 = rftype::Char::create_expr (L"if (!");
     4980  _c_102 = Expr (_c_172, 16, 12);
    52514981  _c_103 = Expr::create<rftype::Word>("PAREN");
    52524982  _c_104 = Expr::create<rftype::Word>("LENGTH");
     
    52594989  _c_111 = Expr::create_sym<rftype::Func> (Term_m_Ref_m_To_m_Java__0);
    52604990  _c_112 = Expr::create<rftype::Word>(",");
    5261   _c_113 = Char::create_expr (L" };");
    5262   _c_114 = Char::create_expr (L" = { ");
    5263   _c_155 = Char::create_expr (L"static private final Expr[] ");
    5264   _c_115 = Expr (_c_155, 21, 7);
    5265   _c_116 = Char::create_expr (L"Expr.concat (");
    5266   _c_117 = Char::create_expr (L"new Expr(");
     4991  _c_113 = rftype::Char::create_expr (L" };");
     4992  _c_114 = rftype::Char::create_expr (L" = { ");
     4993  _c_143 = rftype::Char::create_expr (L"static private final Expr[] ");
     4994  _c_115 = Expr (_c_143, 21, 7);
     4995  _c_116 = rftype::Char::create_expr (L"Expr.concat (");
     4996  _c_117 = rftype::Char::create_expr (L"new Expr(");
    52674997  _c_118 = Expr (_c_76, 3, 7);
    52684998  _c_119 = Expr::create<rftype::Word>("REF");
    52694999  _c_120 = Expr::create<rftype::Word>("ERROR-EXPR");
    5270   _c_121 = Expr (_c_184, 5, 3);
     5000  _c_121 = Expr (_c_172, 5, 3);
    52715001  _c_122 = Expr::create<rftype::Word>("Illegal int-symbol: ");
    5272   _c_123 = Char::create_expr (L".getLen ()");
    5273   _c_124 = Char::create_expr (L"java.lang.Math.max (");
    5274   _c_125 = Char::create_expr (L"java.lang.Math.min (");
     5002  _c_123 = rftype::Char::create_expr (L".getLen ()");
     5003  _c_124 = rftype::Char::create_expr (L"java.lang.Math.max (");
     5004  _c_125 = rftype::Char::create_expr (L"java.lang.Math.min (");
    52755005  _c_126 = Expr::create_sym<rftype::Func> (Expr_m_Int_m_To_m_Java__0);
    5276   _c_127 = Expr (_c_23, 1, 1);
     5006  _c_127 = Expr (_c_24, 1, 1);
    52775007  _c_128 = Expr::create<rftype::Word>("+");
    5278   _c_129 = Expr::create<rftype::Word>("SYMBOL?");
    5279   _c_130 = Char::create_expr (L".symbolAt (");
    5280   _c_131 = Expr::create<rftype::Word>("CHECK-ITER");
     5008  _c_129 = Expr::create<rftype::Word>("CALL");
     5009  _c_130 = Expr (_c_101, 4, 1);
     5010  _c_131 = Expr::create<rftype::Word>("ITER-FAILS");
    52815011  _c_132 = Expr::create<rftype::Integer>("0");
    52825012  _c_133 = Expr::create<rftype::Integer>("2");
    5283   _c_134 = Char::create_expr (L".isValid ()");
    5284   _c_135 = Expr::create<rftype::Word>("EQ");
    5285   _c_136 = Char::create_expr (L".eq (");
    5286   _c_137 = Expr::create<rftype::Word>("TERM-EQ");
    5287   _c_138 = Expr (_c_101, 4, 1);
    5288   _c_139 = Expr::create<rftype::Word>("-");
    5289   _c_140 = Expr::create<rftype::Word>("%");
    5290   _c_141 = Expr::create<rftype::Word>("*");
    5291   _c_142 = Expr::create<rftype::Word>("/");
    5292   _c_143 = Char::create_expr (L" != 0");
    5293   _c_144 = Expr::create_sym<rftype::Func> (Cond_m_To_m_Java__0);
    5294   _c_145 = Expr::create<rftype::Word>("&&");
    5295   _c_146 = Expr::create<rftype::Word>("||");
    5296   _c_147 = Expr::create<rftype::Word>("<");
    5297   _c_148 = Expr::create<rftype::Word>(">");
    5298   _c_149 = Expr::create<rftype::Word>("<=");
    5299   _c_150 = Expr::create<rftype::Word>(">=");
    5300   _c_151 = Expr::create<rftype::Word>("==");
    5301   _c_152 = Expr::create<rftype::Word>("!=");
    5302   _c_153 = Char::create_expr (L".next ()");
    5303   _c_154 = Char::create_expr (L".prev ()");
    5304   _c_156 = Expr (_c_94, 0, 2);
    5305   _c_157 = Char::create_expr (L"Expr.fromSequence (\"");
    5306   _c_158 = Char::create_expr (L" (arg, res);");
    5307   _c_159 = Expr (_c_185, 0, 7);
    5308   _c_161 = Char::create_expr (L"})");
    5309   _c_162 = Char::create_expr (L"new Expr (new Func () {");
    5310   _c_163 = Char::create_expr (L"java.math.BigInteger");
    5311   _c_164 = Expr (_c_94, 0, 3);
    5312   _c_165 = Expr (_c_96, 3, 14);
    5313   _c_166 = Char::create_expr (L"new Expr (new Word (\"");
    5314   _c_168 = Char::create_expr (L"\\\\");
    5315   _c_167 = Expr (_c_168, 0, 1);
    5316   _c_169 = Expr (_c_13, 0, 1);
    5317   _c_170 = Char::create_expr (L"\\n");
    5318   _c_171 = Char::create_expr (L"\t");
    5319   _c_172 = Char::create_expr (L"\\t");
    5320   _c_173 = Char::create_expr (L"\r");
    5321   _c_174 = Char::create_expr (L"\\r");
    5322   _c_175 = Expr (_c_156, 0, 1);
    5323   _c_176 = Char::create_expr (L"\\\"");
    5324   _c_177 = Expr (_c_102, 0, 11);
    5325   _c_178 = Expr (_c_14, 0, 6);
    5326   _c_179 = Expr (_c_155, 7, 7);
    5327   _c_180 = Expr::create<rftype::Integer>("1");
    5328   _c_181 = Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Unexpected fail");
     5013  _c_134 = rftype::Char::create_expr (L".isValid ()");
     5014  _c_135 = Expr::create<rftype::Word>("SYMBOL?");
     5015  _c_136 = rftype::Char::create_expr (L".symbolAt (");
     5016  _c_137 = Expr::create<rftype::Word>("EQ");
     5017  _c_138 = rftype::Char::create_expr (L".eq (");
     5018  _c_139 = Expr::create<rftype::Word>("TERM-EQ");
     5019  _c_140 = Expr::create<rftype::Word>("NOT");
     5020  _c_141 = rftype::Char::create_expr (L".next ()");
     5021  _c_142 = rftype::Char::create_expr (L".prev ()");
     5022  _c_144 = Expr (_c_94, 0, 2);
     5023  _c_145 = rftype::Char::create_expr (L"Expr.fromSequence (\"");
     5024  _c_146 = rftype::Char::create_expr (L" (arg, res);");
     5025  _c_147 = Expr (_c_173, 0, 7);
     5026  _c_149 = rftype::Char::create_expr (L"})");
     5027  _c_150 = rftype::Char::create_expr (L"new Expr (new Func () {");
     5028  _c_151 = rftype::Char::create_expr (L"java.math.BigInteger");
     5029  _c_152 = Expr (_c_94, 0, 3);
     5030  _c_153 = Expr (_c_96, 3, 14);
     5031  _c_154 = rftype::Char::create_expr (L"new Expr (new Word (\"");
     5032  _c_156 = rftype::Char::create_expr (L"\\\\");
     5033  _c_155 = Expr (_c_156, 0, 1);
     5034  _c_157 = Expr (_c_13, 0, 1);
     5035  _c_158 = rftype::Char::create_expr (L"\\n");
     5036  _c_159 = rftype::Char::create_expr (L"\t");
     5037  _c_160 = rftype::Char::create_expr (L"\\t");
     5038  _c_161 = rftype::Char::create_expr (L"\r");
     5039  _c_162 = rftype::Char::create_expr (L"\\r");
     5040  _c_163 = Expr (_c_144, 0, 1);
     5041  _c_164 = rftype::Char::create_expr (L"\\\"");
     5042  _c_165 = Expr (_c_102, 0, 11);
     5043  _c_166 = Expr (_c_14, 0, 6);
     5044  _c_167 = Expr (_c_143, 7, 7);
     5045  _c_168 = Expr::create<rftype::Integer>("1");
     5046  _c_169 = Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Unexpected fail");
    53295047}
    53305048
  • to-imperative/trunk/c++/compiler/rfp_asail_jbc.cc

    r2364 r2367  
    233233static Expr _c_3;
    234234
     235static Expr _c_191;
     236
     237static Expr _c_4;
     238
     239static Expr _c_5;
     240
     241static Expr _c_6;
     242
     243static Expr _c_7;
     244
     245static Expr _c_29;
     246
     247static Expr _c_8;
     248
     249static Expr _c_9;
     250
     251static Expr _c_10;
     252
     253static Expr _c_11;
     254
     255static Expr _c_12;
     256
     257static Expr _c_13;
     258
     259static Expr _c_14;
     260
     261static Expr _c_15;
     262
     263static Expr _c_16;
     264
     265static Expr _c_17;
     266
     267static Expr _c_18;
     268
     269static Expr _c_19;
     270
     271static Expr _c_20;
     272
     273static Expr _c_21;
     274
     275static Expr _c_22;
     276
     277static Expr _c_23;
     278
     279static Expr _c_24;
     280
     281static Expr _c_25;
     282
     283static Expr _c_26;
     284
     285static Expr _c_27;
     286
     287static Expr _c_28;
     288
     289static Expr _c_30;
     290
     291static Expr _c_31;
     292
     293static Expr _c_32;
     294
     295static Expr _c_99;
     296
     297static Expr _c_33;
     298
     299static Expr _c_101;
     300
     301static Expr _c_34;
     302
     303static Expr _c_35;
     304
     305static Expr _c_36;
     306
     307static Expr _c_37;
     308
     309static Expr _c_38;
     310
     311static Expr _c_39;
     312
     313static Expr _c_40;
     314
     315static Expr _c_41;
     316
     317static Expr _c_42;
     318
     319static Expr _c_43;
     320
     321static Expr _c_44;
     322
     323static Expr _c_45;
     324
     325static Expr _c_46;
     326
     327static Expr _c_47;
     328
     329static Expr _c_48;
     330
     331static Expr _c_49;
     332
     333static Expr _c_50;
     334
     335static Expr _c_51;
     336
     337static Expr _c_52;
     338
     339static Expr _c_53;
     340
     341static Expr _c_54;
     342
     343static Expr _c_55;
     344
     345static Expr _c_56;
     346
     347static Expr _c_57;
     348
     349static Expr _c_58;
     350
     351static Expr _c_59;
     352
     353static Expr _c_60;
     354
     355static Expr _c_61;
     356
     357static Expr _c_62;
     358
     359static Expr _c_63;
     360
     361static Expr _c_64;
     362
     363static Expr _c_65;
     364
     365static Expr _c_66;
     366
     367static Expr _c_67;
     368
     369static Expr _c_68;
     370
     371static Expr _c_69;
     372
     373static Expr _c_70;
     374
     375static Expr _c_71;
     376
     377static Expr _c_72;
     378
     379static Expr _c_73;
     380
     381static Expr _c_74;
     382
     383static Expr _c_75;
     384
     385static Expr _c_76;
     386
     387static Expr _c_77;
     388
     389static Expr _c_78;
     390
     391static Expr _c_79;
     392
     393static Expr _c_80;
     394
     395static Expr _c_81;
     396
     397static Expr _c_82;
     398
     399static Expr _c_83;
     400
     401static Expr _c_84;
     402
     403static Expr _c_85;
     404
     405static Expr _c_86;
     406
     407static Expr _c_87;
     408
     409static Expr _c_88;
     410
     411static Expr _c_89;
     412
     413static Expr _c_90;
     414
     415static Expr _c_91;
     416
     417static Expr _c_92;
     418
     419static Expr _c_93;
     420
     421static Expr _c_94;
     422
     423static Expr _c_95;
     424
     425static Expr _c_96;
     426
     427static Expr _c_97;
     428
     429static Expr _c_98;
     430
     431static Expr _c_100;
     432
     433static Expr _c_102;
     434
     435static Expr _c_192;
     436
     437static Expr _c_103;
     438
     439static Expr _c_104;
     440
     441static Expr _c_105;
     442
     443static Expr _c_106;
     444
     445static Expr _c_107;
     446
     447static Expr _c_108;
     448
     449static Expr _c_109;
     450
     451static Expr _c_110;
     452
     453static Expr _c_111;
     454
     455static Expr _c_112;
     456
     457static Expr _c_113;
     458
     459static Expr _c_114;
     460
     461static Expr _c_115;
     462
     463static Expr _c_116;
     464
     465static Expr _c_117;
     466
     467static Expr _c_118;
     468
     469static Expr _c_119;
     470
     471static Expr _c_120;
     472
     473static Expr _c_121;
     474
     475static Expr _c_122;
     476
     477static Expr _c_123;
     478
     479static Expr _c_124;
     480
     481static Expr _c_125;
     482
     483static Expr _c_126;
     484
     485static Expr _c_127;
     486
     487static Expr _c_128;
     488
     489static Expr _c_129;
     490
     491static Expr _c_130;
     492
     493static Expr _c_131;
     494
     495static Expr _c_132;
     496
     497static Expr _c_133;
     498
     499static Expr _c_134;
     500
     501static Expr _c_135;
     502
     503static Expr _c_136;
     504
     505static Expr _c_137;
     506
     507static Expr _c_138;
     508
     509static Expr _c_139;
     510
     511static Expr _c_140;
     512
     513static Expr _c_141;
     514
     515static Expr _c_142;
     516
     517static Expr _c_143;
     518
     519static Expr _c_144;
     520
     521static Expr _c_145;
     522
     523static Expr _c_146;
     524
     525static Expr _c_147;
     526
     527static Expr _c_148;
     528
     529static Expr _c_149;
     530
     531static Expr _c_150;
     532
     533static Expr _c_151;
     534
     535static Expr _c_152;
     536
     537static Expr _c_153;
     538
     539static Expr _c_154;
     540
     541static Expr _c_155;
     542
     543static Expr _c_156;
     544
     545static Expr _c_157;
     546
     547static Expr _c_158;
     548
     549static Expr _c_159;
     550
     551static Expr _c_160;
     552
     553static Expr _c_161;
     554
     555static Expr _c_162;
     556
     557static Expr _c_163;
     558
     559static Expr _c_164;
     560
     561static Expr _c_165;
     562
     563static Expr _c_166;
     564
     565static Expr _c_167;
     566
     567static Expr _c_168;
     568
     569static Expr _c_169;
     570
     571static Expr _c_170;
     572
     573static Expr _c_171;
     574
     575static Expr _c_172;
     576
     577static Expr _c_173;
     578
     579static Expr _c_174;
     580
     581static Expr _c_175;
     582
     583static Expr _c_176;
     584
     585static Expr _c_177;
     586
     587static Expr _c_178;
     588
     589static Expr _c_180;
     590
     591static Expr _c_179;
     592
     593static Expr _c_181;
     594
     595static Expr _c_182;
     596
     597static Expr _c_183;
     598
     599static Expr _c_184;
     600
     601static Expr _c_185;
     602
     603static Expr _c_186;
     604
     605static Expr _c_187;
     606
     607static Expr _c_188;
     608
     609static Expr _c_189;
     610
    235611static Expr _c_190;
    236 
    237 static Expr _c_4;
    238 
    239 static Expr _c_5;
    240 
    241 static Expr _c_6;
    242 
    243 static Expr _c_7;
    244 
    245 static Expr _c_29;
    246 
    247 static Expr _c_8;
    248 
    249 static Expr _c_9;
    250 
    251 static Expr _c_10;
    252 
    253 static Expr _c_11;
    254 
    255 static Expr _c_12;
    256 
    257 static Expr _c_13;
    258 
    259 static Expr _c_14;
    260 
    261 static Expr _c_15;
    262 
    263 static Expr _c_16;
    264 
    265 static Expr _c_17;
    266 
    267 static Expr _c_18;
    268 
    269 static Expr _c_19;
    270 
    271 static Expr _c_20;
    272 
    273 static Expr _c_21;
    274 
    275 static Expr _c_22;
    276 
    277 static Expr _c_23;
    278 
    279 static Expr _c_24;
    280 
    281 static Expr _c_25;
    282 
    283 static Expr _c_26;
    284 
    285 static Expr _c_27;
    286 
    287 static Expr _c_28;
    288 
    289 static Expr _c_30;
    290 
    291 static Expr _c_31;
    292 
    293 static Expr _c_32;
    294 
    295 static Expr _c_98;
    296 
    297 static Expr _c_33;
    298 
    299 static Expr _c_100;
    300 
    301 static Expr _c_34;
    302 
    303 static Expr _c_35;
    304 
    305 static Expr _c_36;
    306 
    307 static Expr _c_37;
    308 
    309 static Expr _c_38;
    310 
    311 static Expr _c_39;
    312 
    313 static Expr _c_40;
    314 
    315 static Expr _c_41;
    316 
    317 static Expr _c_42;
    318 
    319 static Expr _c_43;
    320 
    321 static Expr _c_44;
    322 
    323 static Expr _c_45;
    324 
    325 static Expr _c_46;
    326 
    327 static Expr _c_47;
    328 
    329 static Expr _c_48;
    330 
    331 static Expr _c_49;
    332 
    333 static Expr _c_50;
    334 
    335 static Expr _c_51;
    336 
    337 static Expr _c_52;
    338 
    339 static Expr _c_53;
    340 
    341 static Expr _c_54;
    342 
    343 static Expr _c_55;
    344 
    345 static Expr _c_56;
    346 
    347 static Expr _c_57;
    348 
    349 static Expr _c_58;
    350 
    351 static Expr _c_59;
    352 
    353 static Expr _c_60;
    354 
    355 static Expr _c_61;
    356 
    357 static Expr _c_62;
    358 
    359 static Expr _c_63;
    360 
    361 static Expr _c_64;
    362 
    363 static Expr _c_65;
    364 
    365 static Expr _c_66;
    366 
    367 static Expr _c_67;
    368 
    369 static Expr _c_68;
    370 
    371 static Expr _c_69;
    372 
    373 static Expr _c_70;
    374 
    375 static Expr _c_71;
    376 
    377 static Expr _c_72;
    378 
    379 static Expr _c_73;
    380 
    381 static Expr _c_74;
    382 
    383 static Expr _c_75;
    384 
    385 static Expr _c_76;
    386 
    387 static Expr _c_77;
    388 
    389 static Expr _c_78;
    390 
    391 static Expr _c_79;
    392 
    393 static Expr _c_80;
    394 
    395 static Expr _c_81;
    396 
    397 static Expr _c_82;
    398 
    399 static Expr _c_83;
    400 
    401 static Expr _c_84;
    402 
    403 static Expr _c_85;
    404 
    405 static Expr _c_86;
    406 
    407 static Expr _c_87;
    408 
    409 static Expr _c_88;
    410 
    411 static Expr _c_89;
    412 
    413 static Expr _c_90;
    414 
    415 static Expr _c_91;
    416 
    417 static Expr _c_92;
    418 
    419 static Expr _c_93;
    420 
    421 static Expr _c_94;
    422 
    423 static Expr _c_95;
    424 
    425 static Expr _c_96;
    426 
    427 static Expr _c_97;
    428 
    429 static Expr _c_99;
    430 
    431 static Expr _c_101;
    432 
    433 static Expr _c_191;
    434 
    435 static Expr _c_102;
    436 
    437 static Expr _c_103;
    438 
    439 static Expr _c_104;
    440 
    441 static Expr _c_105;
    442 
    443 static Expr _c_106;
    444 
    445 static Expr _c_107;
    446 
    447 static Expr _c_108;
    448 
    449 static Expr _c_109;
    450 
    451 static Expr _c_110;
    452 
    453 static Expr _c_111;
    454 
    455 static Expr _c_112;
    456 
    457 static Expr _c_113;
    458 
    459 static Expr _c_114;
    460 
    461 static Expr _c_115;
    462 
    463 static Expr _c_116;
    464 
    465 static Expr _c_117;
    466 
    467 static Expr _c_118;
    468 
    469 static Expr _c_119;
    470 
    471 static Expr _c_120;
    472 
    473 static Expr _c_121;
    474 
    475 static Expr _c_122;
    476 
    477 static Expr _c_123;
    478 
    479 static Expr _c_124;
    480 
    481 static Expr _c_125;
    482 
    483 static Expr _c_126;
    484 
    485 static Expr _c_127;
    486 
    487 static Expr _c_128;
    488 
    489 static Expr _c_129;
    490 
    491 static Expr _c_130;
    492 
    493 static Expr _c_131;
    494 
    495 static Expr _c_132;
    496 
    497 static Expr _c_133;
    498 
    499 static Expr _c_134;
    500 
    501 static Expr _c_135;
    502 
    503 static Expr _c_136;
    504 
    505 static Expr _c_137;
    506 
    507 static Expr _c_138;
    508 
    509 static Expr _c_139;
    510 
    511 static Expr _c_140;
    512 
    513 static Expr _c_141;
    514 
    515 static Expr _c_142;
    516 
    517 static Expr _c_143;
    518 
    519 static Expr _c_144;
    520 
    521 static Expr _c_145;
    522 
    523 static Expr _c_146;
    524 
    525 static Expr _c_147;
    526 
    527 static Expr _c_148;
    528 
    529 static Expr _c_149;
    530 
    531 static Expr _c_150;
    532 
    533 static Expr _c_151;
    534 
    535 static Expr _c_152;
    536 
    537 static Expr _c_153;
    538 
    539 static Expr _c_154;
    540 
    541 static Expr _c_155;
    542 
    543 static Expr _c_156;
    544 
    545 static Expr _c_157;
    546 
    547 static Expr _c_158;
    548 
    549 static Expr _c_159;
    550 
    551 static Expr _c_160;
    552 
    553 static Expr _c_161;
    554 
    555 static Expr _c_162;
    556 
    557 static Expr _c_163;
    558 
    559 static Expr _c_164;
    560 
    561 static Expr _c_165;
    562 
    563 static Expr _c_166;
    564 
    565 static Expr _c_167;
    566 
    567 static Expr _c_168;
    568 
    569 static Expr _c_169;
    570 
    571 static Expr _c_170;
    572 
    573 static Expr _c_171;
    574 
    575 static Expr _c_172;
    576 
    577 static Expr _c_173;
    578 
    579 static Expr _c_174;
    580 
    581 static Expr _c_175;
    582 
    583 static Expr _c_176;
    584 
    585 static Expr _c_177;
    586 
    587 static Expr _c_179;
    588 
    589 static Expr _c_178;
    590 
    591 static Expr _c_180;
    592 
    593 static Expr _c_181;
    594 
    595 static Expr _c_182;
    596 
    597 static Expr _c_183;
    598 
    599 static Expr _c_184;
    600 
    601 static Expr _c_185;
    602 
    603 static Expr _c_186;
    604 
    605 static Expr _c_187;
    606 
    607 static Expr _c_188;
    608 
    609 static Expr _c_189;
    610612
    611613RF_FUNC (MV, RF_VOID, (RF_RES _v_res1;;))
     
    11161118    }
    11171119  _block1__branch1: {}
    1118     uintptr_t _v_len3 = _v_Lookup1.get_len ();
    1119     uintptr_t _v_len4 = 1;
    1120     if (_v_len3 < _v_len4)
     1120    {
     1121      uintptr_t _v_len3 = _v_Lookup1.get_len ();
     1122      uintptr_t _v_len4 = 1;
     1123      if (_v_len3 < _v_len4)
     1124      {
     1125        goto _block1__branch2;
     1126      }
     1127      if (0 != 0)
     1128      {
     1129        goto _block1__branch2;
     1130      }
     1131      uintptr_t _v_len__path = (_v_len3 - _v_len4);
     1132      if (!_c_30.term_eq (_v_Lookup1, 0))
     1133      {
     1134        goto _block1__branch2;
     1135      }
     1136      Expr _ve_path (_v_Lookup1, (0 + 1), _v_len__path);
     1137      Expr _v__q_1;
     1138      RF_CALL (Box::_q_, rfpc::RFP_m_Include_m_Path, _v__q_1);
     1139      if (_v__q_1.get_len () < 1)
     1140      {
     1141        goto _block1__branch2;
     1142      }
     1143      RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_176_m_32, _v_lsplit___q_1);
     1144      for ( ; ; RF_iter(_v__q_1)++)
     1145      {
     1146        {
     1147          if (!RF_iter(_v__q_1))
     1148          {
     1149            goto _block1__branch2;
     1150          }
     1151          uintptr_t _v_len5 = _v_lsplit___q_1.get_len ();
     1152          uintptr_t _v_len6 = 1;
     1153          if (_v_len5 < _v_len6)
     1154          {
     1155            goto _block1__branch2;
     1156          }
     1157          if (0 != 0)
     1158          {
     1159            goto _continue1;
     1160          }
     1161          uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_176_m_42 = (_v_len5 - _v_len6);
     1162          if (_v_lsplit___q_1.symbol_at (0))
     1163          {
     1164            goto _continue1;
     1165          }
     1166          Expr _v_deref__lsplit___q_1 (_v_lsplit___q_1, 0);
     1167          uintptr_t _v_len7 = _v_deref__lsplit___q_1.get_len ();
     1168          uintptr_t _v_len8 = 0;
     1169          if (_v_len7 < _v_len8)
     1170          {
     1171            goto _continue1;
     1172          }
     1173          if (0 != 0)
     1174          {
     1175            goto _continue1;
     1176          }
     1177          uintptr_t _v_len__dir = (_v_len7 - _v_len8);
     1178          Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_176_m_42 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_176_m_42);
     1179          Expr _ve_dir (_v_deref__lsplit___q_1, 0, _v_len__dir);
     1180          Expr _ge_p__3;
     1181          {
     1182            {
     1183              if (_v_len__path != _v_len__dir)
     1184              {
     1185                goto _block2__branch1;
     1186              }
     1187              if (!_ve_dir.eq (_ve_path, 0))
     1188              {
     1189                goto _block2__branch1;
     1190              }
     1191              _ge_p__3 = empty;
     1192              goto _block2;
     1193            }
     1194          _block2__branch1: {}
     1195            uintptr_t _v_len9 = _v_len__path;
     1196            uintptr_t _v_len10 = (_v_len__dir + 1);
     1197            if (_v_len9 < _v_len10)
     1198            {
     1199              goto _continue1;
     1200            }
     1201            if (0 != 0)
     1202            {
     1203              goto _continue1;
     1204            }
     1205            uintptr_t _v_len__p__4 = (_v_len9 - _v_len10);
     1206            if (!_ve_dir.eq (_ve_path, 0))
     1207            {
     1208              goto _continue1;
     1209            }
     1210            if (!_ve_path.symbol_at ((0 + _v_len__dir)))
     1211            {
     1212              goto _continue1;
     1213            }
     1214            Expr _vs_dir_m_separator (_ve_path, (0 + _v_len__dir), 1);
     1215            Expr _ge_p__4 (_ve_path, (0 + _v_len__dir + 1), _v_len__p__4);
     1216            _ge_p__3 = _ge_p__4;
     1217          }
     1218        _block2: {}
     1219          Expr _ge_auxcall1;
     1220          RF_CALL (Box::_q_, File::Dir_m_Separator, _ge_auxcall1);
     1221          RF_CALL (rfp__helper::Subst, (_ge_auxcall1, _c_31, _ge_p__3), _ve_p);
     1222          goto _exit1;
     1223        }
     1224    _continue1: {}
     1225      }
     1226    _exit1: {}
     1227      goto _block1;
     1228    }
     1229  _block1__branch2: {}
     1230    if (_v_Lookup1.get_len () != 1)
    11211231    {
    11221232      RF_FUNC_ERROR (unexpected_fail);
    11231233    }
    1124     if (0 != 0)
     1234    if (!_c_30.term_eq (_v_Lookup1, 0))
    11251235    {
    11261236      RF_FUNC_ERROR (unexpected_fail);
    11271237    }
    1128     uintptr_t _v_len__path = (_v_len3 - _v_len4);
    1129     if (!_c_30.term_eq (_v_Lookup1, 0))
    1130     {
    1131       RF_FUNC_ERROR (unexpected_fail);
    1132     }
    1133     Expr _ve_path (_v_Lookup1, (0 + 1), _v_len__path);
    1134     Expr _v__q_1;
    1135     RF_CALL (Box::_q_, rfpc::RFP_m_Include_m_Path, _v__q_1);
    1136     if (_v__q_1.get_len () < 1)
    1137     {
    1138       RF_FUNC_ERROR (unexpected_fail);
    1139     }
    1140     RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_176_m_32, _v_lsplit___q_1);
    1141     for ( ; ; RF_iter(_v__q_1)++)
    1142     {
    1143       {
    1144         if (!RF_iter(_v__q_1))
    1145         {
    1146           RF_FUNC_ERROR (unexpected_fail);
    1147         }
    1148         uintptr_t _v_len5 = _v_lsplit___q_1.get_len ();
    1149         uintptr_t _v_len6 = 1;
    1150         if (_v_len5 < _v_len6)
    1151         {
    1152           RF_FUNC_ERROR (unexpected_fail);
    1153         }
    1154         if (0 != 0)
    1155         {
    1156           goto _continue1;
    1157         }
    1158         uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_176_m_42 = (_v_len5 - _v_len6);
    1159         if (_v_lsplit___q_1.symbol_at (0))
    1160         {
    1161           goto _continue1;
    1162         }
    1163         Expr _v_deref__lsplit___q_1 (_v_lsplit___q_1, 0);
    1164         uintptr_t _v_len7 = _v_deref__lsplit___q_1.get_len ();
    1165         uintptr_t _v_len8 = 0;
    1166         if (_v_len7 < _v_len8)
    1167         {
    1168           goto _continue1;
    1169         }
    1170         if (0 != 0)
    1171         {
    1172           goto _continue1;
    1173         }
    1174         uintptr_t _v_len__dir = (_v_len7 - _v_len8);
    1175         Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_176_m_42 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_176_m_42);
    1176         Expr _ve_dir (_v_deref__lsplit___q_1, 0, _v_len__dir);
    1177         Expr _ge_p__3;
    1178         {
    1179           {
    1180             if (_v_len__path != _v_len__dir)
    1181             {
    1182               goto _block2__branch1;
    1183             }
    1184             if (!_ve_dir.eq (_ve_path, 0))
    1185             {
    1186               goto _block2__branch1;
    1187             }
    1188             _ge_p__3 = empty;
    1189             goto _block2;
    1190           }
    1191         _block2__branch1: {}
    1192           uintptr_t _v_len9 = _v_len__path;
    1193           uintptr_t _v_len10 = (_v_len__dir + 1);
    1194           if (_v_len9 < _v_len10)
    1195           {
    1196             goto _continue1;
    1197           }
    1198           if (0 != 0)
    1199           {
    1200             goto _continue1;
    1201           }
    1202           uintptr_t _v_len__p__4 = (_v_len9 - _v_len10);
    1203           if (!_ve_dir.eq (_ve_path, 0))
    1204           {
    1205             goto _continue1;
    1206           }
    1207           if (!_ve_path.symbol_at ((0 + _v_len__dir)))
    1208           {
    1209             goto _continue1;
    1210           }
    1211           Expr _vs_dir_m_separator (_ve_path, (0 + _v_len__dir), 1);
    1212           Expr _ge_p__4 (_ve_path, (0 + _v_len__dir + 1), _v_len__p__4);
    1213           _ge_p__3 = _ge_p__4;
    1214         }
    1215       _block2: {}
    1216         Expr _ge_auxcall1;
    1217         RF_CALL (Box::_q_, File::Dir_m_Separator, _ge_auxcall1);
    1218         RF_CALL (rfp__helper::Subst, (_ge_auxcall1, _c_31, _ge_p__3), _ve_p);
    1219         goto _exit1;
    1220       }
    1221   _continue1: {}
    1222     }
    1223   _exit1: {}
     1238    _ve_p = empty;
    12241239  }
    12251240_block1: {}
     
    12471262      goto _block1__branch1;
    12481263    }
    1249     RF_lsplit (_ve_module, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_192_m_15, _v_lsplit__module);
     1264    RF_lsplit (_ve_module, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_193_m_15, _v_lsplit__module);
    12501265    for ( ; ; RF_iter(_ve_module)++)
    12511266    {
     
    12651280          goto _continue1;
    12661281        }
    1267         uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_192_m_24 = (_v_len1 - _v_len2);
     1282        uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_193_m_24 = (_v_len1 - _v_len2);
    12681283        Expr _vt_item (_v_lsplit__module, 0, 1);
    1269         Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_192_m_24 (_v_lsplit__module, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_192_m_24);
     1284        Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_193_m_24 (_v_lsplit__module, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_193_m_24);
    12701285        {
    12711286          {
     
    12801295            Expr _v_deref__item (_vt_item, 0);
    12811296            uintptr_t _v_len3 = _v_deref__item.get_len ();
    1282             uintptr_t _v_len4 = 4;
     1297            uintptr_t _v_len4 = 2;
    12831298            if (_v_len3 < _v_len4)
    12841299            {
     
    12891304              goto _block2__branch1;
    12901305            }
    1291             uintptr_t _v_len__body = (_v_len3 - _v_len4);
    1292             if (_v_deref__item.symbol_at ((0 + 1 + 1)))
     1306            uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_194_m_20 = (_v_len3 - _v_len4);
     1307            if (!_v_deref__item.symbol_at (0))
    12931308            {
    12941309              goto _block2__branch1;
    12951310            }
    1296             if (_v_deref__item.symbol_at ((0 + 1 + 1 + 1)))
     1311            if (!_c_35.term_eq (_v_deref__item, (0 + 1)))
    12971312            {
    12981313              goto _block2__branch1;
    12991314            }
    1300             Expr _v_deref__deref__item (_v_deref__item, (0 + 1 + 1));
    1301             Expr _v_deref__deref__item2 (_v_deref__item, (0 + 1 + 1 + 1));
    1302             uintptr_t _v_len5 = _v_deref__deref__item2.get_len ();
    1303             uintptr_t _v_len6 = 0;
     1315            Expr _vs_tag (_v_deref__item, 0, 1);
     1316            Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_194_m_20 (_v_deref__item, (0 + 1 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_194_m_20);
     1317            goto _block2;
     1318          }
     1319        _block2__branch1: {}
     1320          {
     1321            if (1 != 1)
     1322            {
     1323              goto _block2__branch2;
     1324            }
     1325            if (_vt_item.symbol_at (0))
     1326            {
     1327              goto _block2__branch2;
     1328            }
     1329            Expr _v_deref__item2 (_vt_item, 0);
     1330            uintptr_t _v_len5 = _v_deref__item2.get_len ();
     1331            uintptr_t _v_len6 = 5;
    13041332            if (_v_len5 < _v_len6)
    13051333            {
    1306               goto _block2__branch1;
     1334              goto _block2__branch2;
    13071335            }