Changeset 2341


Ignore:
Timestamp:
Feb 6, 2007, 12:37:49 AM (14 years ago)
Author:
orlov
Message:
  • Fresh-generated compiler sources in C++.
Location:
to-imperative/trunk/c++
Files:
4 edited

Legend:

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

    r2324 r2341  
    44#include <refal/Box.hh>
    55#include <refal/Arithm.hh>
     6#include <refal/Compare.hh>
    67#include <refal/Error.hh>
     8#include <refal/File.hh>
    79#include <refal/Convert.hh>
    8 #include <refal/Compare.hh>
     10#include <refal/Class.hh>
    911#include <refal/JavaMangle.hh>
    10 #include <refal/Java.hh>
    11 #include <refal/Class.hh>
     12#include <refal/List.hh>
    1213#include <refal/Table.hh>
    13 #include <refal/StdIO.hh>
    1414#include "rfpc.hh"
    1515#include "rfp_helper.hh"
    16 #include <refal/List.hh>
     16#include <refal/StdIO.hh>
     17#include <refal/Java.hh>
    1718
    1819namespace refal
     
    5253RF_DECL (RFP_m_ASAIL_m_To_m_JBC);
    5354
     55RF_DECL (Module_m_To_m_JBC);
     56
    5457RF_DECL (ASAIL_m_To_m_JBC);
    5558
     
    9497RF_DECL (Cond_m_To_m_JBC__0);
    9598
     99RF_DECL (To_m_Word__0);
     100
    96101RF_DECL (Term_m_Ref_m_To_m_JBC__0);
    97102
     
    106111static Expr _c_3;
    107112
     113static Expr _c_29;
     114
     115static Expr _c_4;
     116
     117static Expr _c_5;
     118
     119static Expr _c_6;
     120
     121static Expr _c_7;
     122
    108123static Expr _c_8;
    109124
    110 static Expr _c_4;
    111 
    112 static Expr _c_5;
    113 
    114 static Expr _c_6;
    115 
    116 static Expr _c_7;
    117 
    118125static Expr _c_9;
    119126
     127static Expr _c_10;
     128
     129static Expr _c_11;
     130
     131static Expr _c_141;
     132
     133static Expr _c_12;
     134
     135static Expr _c_13;
     136
     137static Expr _c_14;
     138
     139static Expr _c_15;
     140
     141static Expr _c_16;
     142
     143static Expr _c_17;
     144
     145static Expr _c_167;
     146
     147static Expr _c_37;
     148
     149static Expr _c_18;
     150
     151static Expr _c_65;
     152
     153static Expr _c_48;
     154
     155static Expr _c_38;
     156
     157static Expr _c_19;
     158
     159static Expr _c_20;
     160
     161static Expr _c_21;
     162
     163static Expr _c_22;
     164
     165static Expr _c_23;
     166
     167static Expr _c_24;
     168
     169static Expr _c_25;
     170
     171static Expr _c_26;
     172
     173static Expr _c_27;
     174
     175static Expr _c_28;
     176
     177static Expr _c_30;
     178
     179static Expr _c_31;
     180
     181static Expr _c_62;
     182
     183static Expr _c_32;
     184
     185static Expr _c_33;
     186
     187static Expr _c_34;
     188
     189static Expr _c_35;
     190
     191static Expr _c_36;
     192
     193static Expr _c_39;
     194
     195static Expr _c_162;
     196
     197static Expr _c_40;
     198
     199static Expr _c_186;
     200
     201static Expr _c_109;
     202
     203static Expr _c_41;
     204
     205static Expr _c_60;
     206
     207static Expr _c_42;
     208
     209static Expr _c_43;
     210
     211static Expr _c_44;
     212
     213static Expr _c_45;
     214
     215static Expr _c_46;
     216
     217static Expr _c_47;
     218
     219static Expr _c_49;
     220
     221static Expr _c_50;
     222
     223static Expr _c_51;
     224
     225static Expr _c_52;
     226
     227static Expr _c_53;
     228
     229static Expr _c_54;
     230
     231static Expr _c_187;
     232
     233static Expr _c_55;
     234
     235static Expr _c_56;
     236
     237static Expr _c_57;
     238
     239static Expr _c_59;
     240
     241static Expr _c_58;
     242
     243static Expr _c_61;
     244
     245static Expr _c_63;
     246
     247static Expr _c_64;
     248
     249static Expr _c_66;
     250
     251static Expr _c_67;
     252
     253static Expr _c_68;
     254
     255static Expr _c_69;
     256
     257static Expr _c_70;
     258
     259static Expr _c_71;
     260
     261static Expr _c_72;
     262
     263static Expr _c_73;
     264
     265static Expr _c_74;
     266
     267static Expr _c_75;
     268
     269static Expr _c_76;
     270
     271static Expr _c_77;
     272
     273static Expr _c_78;
     274
     275static Expr _c_79;
     276
     277static Expr _c_80;
     278
     279static Expr _c_81;
     280
     281static Expr _c_82;
     282
     283static Expr _c_83;
     284
     285static Expr _c_84;
     286
     287static Expr _c_85;
     288
     289static Expr _c_86;
     290
     291static Expr _c_87;
     292
     293static Expr _c_88;
     294
     295static Expr _c_89;
     296
     297static Expr _c_90;
     298
     299static Expr _c_91;
     300
     301static Expr _c_92;
     302
     303static Expr _c_93;
     304
     305static Expr _c_94;
     306
     307static Expr _c_107;
     308
     309static Expr _c_95;
     310
     311static Expr _c_96;
     312
     313static Expr _c_97;
     314
     315static Expr _c_98;
     316
     317static Expr _c_99;
     318
     319static Expr _c_100;
     320
     321static Expr _c_101;
     322
     323static Expr _c_102;
     324
     325static Expr _c_103;
     326
     327static Expr _c_104;
     328
     329static Expr _c_105;
     330
     331static Expr _c_106;
     332
     333static Expr _c_108;
     334
     335static Expr _c_110;
     336
     337static Expr _c_111;
     338
     339static Expr _c_112;
     340
     341static Expr _c_113;
     342
     343static Expr _c_114;
     344
     345static Expr _c_115;
     346
     347static Expr _c_116;
     348
     349static Expr _c_117;
     350
     351static Expr _c_118;
     352
     353static Expr _c_119;
     354
     355static Expr _c_120;
     356
     357static Expr _c_121;
     358
     359static Expr _c_122;
     360
     361static Expr _c_123;
     362
     363static Expr _c_124;
     364
     365static Expr _c_125;
     366
     367static Expr _c_126;
     368
     369static Expr _c_127;
     370
     371static Expr _c_128;
     372
     373static Expr _c_129;
     374
     375static Expr _c_130;
     376
     377static Expr _c_131;
     378
     379static Expr _c_132;
     380
     381static Expr _c_133;
     382
     383static Expr _c_134;
     384
     385static Expr _c_135;
     386
     387static Expr _c_136;
     388
     389static Expr _c_137;
     390
     391static Expr _c_138;
     392
     393static Expr _c_139;
     394
     395static Expr _c_140;
     396
     397static Expr _c_142;
     398
     399static Expr _c_143;
     400
     401static Expr _c_144;
     402
     403static Expr _c_145;
     404
     405static Expr _c_146;
     406
     407static Expr _c_147;
     408
     409static Expr _c_148;
     410
     411static Expr _c_149;
     412
     413static Expr _c_150;
     414
     415static Expr _c_151;
     416
     417static Expr _c_152;
     418
     419static Expr _c_153;
     420
     421static Expr _c_154;
     422
     423static Expr _c_155;
     424
     425static Expr _c_156;
     426
     427static Expr _c_157;
     428
     429static Expr _c_158;
     430
     431static Expr _c_159;
     432
     433static Expr _c_160;
     434
     435static Expr _c_161;
     436
     437static Expr _c_163;
     438
     439static Expr _c_164;
     440
     441static Expr _c_165;
     442
     443static Expr _c_166;
     444
     445static Expr _c_168;
     446
     447static Expr _c_169;
     448
     449static Expr _c_170;
     450
     451static Expr _c_171;
     452
     453static Expr _c_172;
     454
     455static Expr _c_173;
     456
     457static Expr _c_175;
     458
     459static Expr _c_174;
     460
     461static Expr _c_176;
     462
     463static Expr _c_177;
     464
     465static Expr _c_178;
     466
     467static Expr _c_179;
     468
     469static Expr _c_180;
     470
     471static Expr _c_181;
     472
     473static Expr _c_182;
     474
     475static Expr _c_183;
     476
     477static Expr _c_184;
     478
    120479static Expr _c_185;
    121480
    122 static Expr _c_186;
    123 
    124 static Expr _c_10;
    125 
    126 static Expr _c_11;
    127 
    128 static Expr _c_12;
    129 
    130 static Expr _c_13;
    131 
    132 static Expr _c_14;
    133 
    134 static Expr _c_15;
    135 
    136 static Expr _c_16;
    137 
    138 static Expr _c_17;
    139 
    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_164;
    151 
    152 static Expr _c_23;
    153 
    154 static Expr _c_24;
    155 
    156 static Expr _c_25;
    157 
    158 static Expr _c_26;
    159 
    160 static Expr _c_27;
    161 
    162 static Expr _c_28;
    163 
    164 static Expr _c_29;
    165 
    166 static Expr _c_30;
    167 
    168 static Expr _c_31;
    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_54;
    181 
    182 static Expr _c_37;
    183 
    184 static Expr _c_38;
    185 
    186 static Expr _c_39;
    187 
    188 static Expr _c_40;
    189 
    190 static Expr _c_41;
    191 
    192 static Expr _c_42;
    193 
    194 static Expr _c_43;
    195 
    196 static Expr _c_187;
    197 
    198 static Expr _c_44;
    199 
    200 static Expr _c_45;
    201 
    202 static Expr _c_46;
    203 
    204 static Expr _c_48;
    205 
    206 static Expr _c_47;
    207 
    208 static Expr _c_49;
    209 
    210 static Expr _c_50;
    211 
    212 static Expr _c_51;
    213 
    214 static Expr _c_52;
    215 
    216 static Expr _c_53;
    217 
    218 static Expr _c_55;
    219 
    220 static Expr _c_56;
    221 
    222 static Expr _c_57;
    223 
    224 static Expr _c_58;
    225 
    226 static Expr _c_59;
    227 
    228 static Expr _c_188;
    229 
    230 static Expr _c_105;
    231 
    232 static Expr _c_60;
    233 
    234 static Expr _c_61;
    235 
    236 static Expr _c_62;
    237 
    238 static Expr _c_63;
    239 
    240 static Expr _c_64;
    241 
    242 static Expr _c_65;
    243 
    244 static Expr _c_66;
    245 
    246 static Expr _c_67;
    247 
    248 static Expr _c_68;
    249 
    250 static Expr _c_69;
    251 
    252 static Expr _c_70;
    253 
    254 static Expr _c_71;
    255 
    256 static Expr _c_72;
    257 
    258 static Expr _c_73;
    259 
    260 static Expr _c_74;
    261 
    262 static Expr _c_75;
    263 
    264 static Expr _c_76;
    265 
    266 static Expr _c_77;
    267 
    268 static Expr _c_78;
    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_101;
    281 
    282 static Expr _c_84;
    283 
    284 static Expr _c_85;
    285 
    286 static Expr _c_86;
    287 
    288 static Expr _c_87;
    289 
    290 static Expr _c_88;
    291 
    292 static Expr _c_89;
    293 
    294 static Expr _c_90;
    295 
    296 static Expr _c_91;
    297 
    298 static Expr _c_92;
    299 
    300 static Expr _c_93;
    301 
    302 static Expr _c_94;
    303 
    304 static Expr _c_95;
    305 
    306 static Expr _c_96;
    307 
    308 static Expr _c_97;
    309 
    310 static Expr _c_98;
    311 
    312 static Expr _c_99;
    313 
    314 static Expr _c_100;
    315 
    316 static Expr _c_102;
    317 
    318 static Expr _c_103;
    319 
    320 static Expr _c_104;
    321 
    322 static Expr _c_106;
    323 
    324 static Expr _c_107;
    325 
    326 static Expr _c_108;
    327 
    328 static Expr _c_109;
    329 
    330 static Expr _c_110;
    331 
    332 static Expr _c_111;
    333 
    334 static Expr _c_112;
    335 
    336 static Expr _c_113;
    337 
    338 static Expr _c_114;
    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_159;
    351 
    352 static Expr _c_120;
    353 
    354 static Expr _c_121;
    355 
    356 static Expr _c_122;
    357 
    358 static Expr _c_123;
    359 
    360 static Expr _c_124;
    361 
    362 static Expr _c_125;
    363 
    364 static Expr _c_126;
    365 
    366 static Expr _c_127;
    367 
    368 static Expr _c_128;
    369 
    370 static Expr _c_129;
    371 
    372 static Expr _c_130;
    373 
    374 static Expr _c_131;
    375 
    376 static Expr _c_132;
    377 
    378 static Expr _c_133;
    379 
    380 static Expr _c_134;
    381 
    382 static Expr _c_135;
    383 
    384 static Expr _c_136;
    385 
    386 static Expr _c_137;
    387 
    388 static Expr _c_138;
    389 
    390 static Expr _c_139;
    391 
    392 static Expr _c_140;
    393 
    394 static Expr _c_141;
    395 
    396 static Expr _c_142;
    397 
    398 static Expr _c_143;
    399 
    400 static Expr _c_144;
    401 
    402 static Expr _c_145;
    403 
    404 static Expr _c_146;
    405 
    406 static Expr _c_147;
    407 
    408 static Expr _c_148;
    409 
    410 static Expr _c_149;
    411 
    412 static Expr _c_150;
    413 
    414 static Expr _c_151;
    415 
    416 static Expr _c_152;
    417 
    418 static Expr _c_153;
    419 
    420 static Expr _c_154;
    421 
    422 static Expr _c_155;
    423 
    424 static Expr _c_156;
    425 
    426 static Expr _c_157;
    427 
    428 static Expr _c_158;
    429 
    430 static Expr _c_160;
    431 
    432 static Expr _c_161;
    433 
    434 static Expr _c_162;
    435 
    436 static Expr _c_163;
    437 
    438 static Expr _c_165;
    439 
    440 static Expr _c_166;
    441 
    442 static Expr _c_167;
    443 
    444 static Expr _c_168;
    445 
    446 static Expr _c_169;
    447 
    448 static Expr _c_170;
    449 
    450 static Expr _c_172;
    451 
    452 static Expr _c_171;
    453 
    454 static Expr _c_173;
    455 
    456 static Expr _c_174;
    457 
    458 static Expr _c_175;
    459 
    460 static Expr _c_176;
    461 
    462 static Expr _c_177;
    463 
    464 static Expr _c_178;
    465 
    466 static Expr _c_179;
    467 
    468 static Expr _c_180;
    469 
    470 static Expr _c_181;
    471 
    472 static Expr _c_182;
    473 
    474 static Expr _c_183;
    475 
    476 static Expr _c_184;
    477 
    478 RF_FUNC (RFP_m_ASAIL_m_To_m_JBC, (RF_ARG _gt_arg1, _ge_arg2, _ge_arg3;;), (RF_RES _v_res1, _v_res2, _v_res3;;))
    479   uintptr_t _v_len1 = (_ge_arg3.get_len () + 2);
    480   uintptr_t _v_len2 = 2;
     481RF_FUNC (RFP_m_ASAIL_m_To_m_JBC, (RF_ARG _gt_arg1, _ge_arg2, _ge_arg3, _ge_arg4;;), (RF_RES _v_res1, _v_res2;;))
     482  uintptr_t _v_len1 = (_ge_arg4.get_len () + 3);
     483  uintptr_t _v_len2 = 3;
    481484  if ((_v_len1 < _v_len2))
    482485  {
    483486    RF_FUNC_ERROR (unexpected_fail);
    484487  }
    485   uintptr_t _v_len__asail = (_v_len1 - _v_len2);
    486   Expr _v_compose1 ((_gt_arg1 + _ge_arg2 () + _ge_arg3));
     488  uintptr_t _v_len__module = (_v_len1 - _v_len2);
     489  Expr _v_compose1 ((_gt_arg1 + _ge_arg2 () + _ge_arg3 () + _ge_arg4));
    487490  if (_v_compose1.symbol_at (0))
    488491  {
     
    493496    RF_FUNC_ERROR (unexpected_fail);
    494497  }
     498  if (_v_compose1.symbol_at ((0 + 1 + 1)))
     499  {
     500    RF_FUNC_ERROR (unexpected_fail);
     501  }
    495502  Expr _v_deref__compose1 (_v_compose1, 0);
    496503  Expr _v_deref__compose12 (_v_compose1, (0 + 1));
    497   uintptr_t _v_len3 = _v_deref__compose12.get_len ();
     504  Expr _v_deref__compose13 (_v_compose1, (0 + 1 + 1));
     505  uintptr_t _v_len3 = _v_deref__compose1.get_len ();
    498506  uintptr_t _v_len4 = 0;
    499507  if ((_v_len3 < _v_len4))
     
    501509    RF_FUNC_ERROR (unexpected_fail);
    502510  }
    503   uintptr_t _v_len__exports = (_v_len3 - _v_len4);
    504   uintptr_t _v_len5 = _v_deref__compose1.get_len ();
     511  uintptr_t _v_len__module_m_name = (_v_len3 - _v_len4);
     512  uintptr_t _v_len5 = _v_deref__compose13.get_len ();
    505513  uintptr_t _v_len6 = 0;
    506514  if ((_v_len5 < _v_len6))
     
    508516    RF_FUNC_ERROR (unexpected_fail);
    509517  }
    510   uintptr_t _v_len__ModuleName = (_v_len5 - _v_len6);
    511   Expr _ve_asail (_v_compose1, (0 + 1 + 1), _v_len__asail);
    512   Expr _ve_ModuleName (_v_deref__compose1, 0, _v_len__ModuleName);
    513   Expr _ve_exports (_v_deref__compose12, 0, _v_len__exports);
     518  uintptr_t _v_len__exports = (_v_len5 - _v_len6);
     519  uintptr_t _v_len7 = _v_deref__compose12.get_len ();
     520  uintptr_t _v_len8 = 0;
     521  if ((_v_len7 < _v_len8))
     522  {
     523    RF_FUNC_ERROR (unexpected_fail);
     524  }
     525  uintptr_t _v_len__package = (_v_len7 - _v_len8);
     526  Expr _ve_module (_v_compose1, (0 + 1 + 1 + 1), _v_len__module);
     527  Expr _ve_module_m_name (_v_deref__compose1, 0, _v_len__module_m_name);
     528  Expr _ve_package (_v_deref__compose12, 0, _v_len__package);
     529  Expr _ve_exports (_v_deref__compose13, 0, _v_len__exports);
    514530  RF_CALL (Box::Store, (Free_m_Idx, empty), /*void*/);
    515531  RF_CALL (rfp__helper::RFP_m_Clear_m_Table, Iter_m_Vars, /*void*/);
     
    530546_block1: {}
    531547  RF_CALL (Box::Store, (Exports, _ve_exports), /*void*/);
    532   RF_CALL (Box::Store, (Current_m_Namespace, _ve_ModuleName), /*void*/);
     548  RF_CALL (Box::Store, (Current_m_Namespace, _ve_module_m_name), /*void*/);
    533549  {
    534550    {
     
    542558    }
    543559  _block2__branch1: {}
    544     RF_CALL (Box::Store, (Entry, (_ve_ModuleName + _c_3) ()), /*void*/);
     560    RF_CALL (Box::Store, (Entry, (_ve_module_m_name + _c_3) ()), /*void*/);
    545561  }
    546562_block2: {}
    547563  RF_CALL (Box::Store, (Entry_m_Name, empty), /*void*/);
    548564  Expr _ge_auxcall3;
    549   RF_CALL (List::Intersperse, (_c_4, _ve_ModuleName), _ge_auxcall3);
    550   RF_CALL (Box::Store, (Module_m_Name, _ge_auxcall3), /*void*/);
     565  RF_CALL (Box::_q_, File::Dir_m_Separator, _ge_auxcall3);
     566  Expr _ge_auxcall4;
     567  RF_CALL (List::Separate, (_ge_auxcall3, _ve_package), _ge_auxcall4);
     568  Expr _ge_auxcall5;
     569  RF_CALL (JavaMangle::Rfp2Java, _ve_module_m_name, _ge_auxcall5);
     570  Expr _ge_auxcall6;
     571  RF_CALL (List::Separate, (_c_4, _ge_auxcall5), _ge_auxcall6);
     572  Expr _ge_auxcall7;
     573  if (!RF_CALL (List::Map_e_, (_c_5, empty, (_ge_auxcall4 + _ge_auxcall6)), _ge_auxcall7))
     574  {
     575    RF_FUNC_ERROR (unexpected_fail);
     576  }
    551577  Expr _ve_java_m_module_m_name;
    552   RF_CALL (JavaMangle::Rfp2Java, _ve_ModuleName, _ve_java_m_module_m_name);
     578  RF_CALL (List::Concat, _ge_auxcall7, _ve_java_m_module_m_name);
     579  Expr _ge_auxcall8;
     580  RF_CALL (List::Intersperse, (_c_4, _ve_java_m_module_m_name), _ge_auxcall8);
     581  RF_CALL (Box::Store, (Module_m_Name, _ge_auxcall8), /*void*/);
     582  Expr _gs_auxcall9;
     583  RF_CALL (Arithm::_p_, (_c_6, _c_7), _gs_auxcall9);
     584  Expr _vs_cw;
     585  RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("ClassWriter")), /*void*/);
     586  Expr _ge_auxcall10;
     587  RF_CALL (List::Intersperse, (_c_8, _ve_java_m_module_m_name), _ge_auxcall10);
     588  Expr _gs_auxcall11;
     589  RF_CALL (Convert::To_m_Word, _ge_auxcall10, _gs_auxcall11);
     590  Expr _gs_auxcall12;
     591  RF_CALL (Java::Null, /*void*/, _gs_auxcall12);
     592  RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("visit")), /*void*/);
     593  RF_CALL (Module_m_To_m_JBC, (_vs_cw, _ve_module), /*void*/);
     594  RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("visitEnd")), /*void*/);
     595  Expr _gs_auxcall13;
     596  RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("toByteArray")), /*void*/);
     597  _v_res1 = _gs_auxcall13;
     598  _v_res2 = _ve_java_m_module_m_name;
     599RF_END
     600
     601RF_FUNC (Module_m_To_m_JBC, (RF_ARG _vs_cw, _ve_module;;), RF_VOID)
    553602  {
    554     {
    555       Expr _gs_auxcall4;
    556       RF_CALL (Arithm::_p_, (_c_5, _c_6), _gs_auxcall4);
    557       Expr _vs_cw;
    558       RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("ClassWriter")), /*void*/);
    559       RF_CALL (StdIO::PrintLN, _vs_cw, /*void*/);
    560       Expr _v_ASAIL_m_To_m_JBC1;
    561       RF_CALL (ASAIL_m_To_m_JBC, _ve_asail, _v_ASAIL_m_To_m_JBC1);
    562       uintptr_t _v_len7 = _v_ASAIL_m_To_m_JBC1.get_len ();
    563       uintptr_t _v_len8 = 0;
    564       if ((_v_len7 < (_v_len8 + 1)))
    565       {
    566         goto _block3__branch1;
    567       }
    568       uintptr_t _v_len__java = (_v_len7 - _v_len8);
    569       Expr _vv_java (_v_ASAIL_m_To_m_JBC1, 0, _v_len__java);
    570       Expr _ve_entry;
    571       {
    572         {
    573           Expr _v__q_1;
    574           RF_CALL (Box::_q_, Entry_m_Name, _v__q_1);
    575           uintptr_t _v_len9 = _v__q_1.get_len ();
    576           uintptr_t _v_len10 = 0;
    577           if ((_v_len9 < (_v_len10 + 1)))
    578           {
    579             goto _block4__branch1;
    580           }
    581           uintptr_t _v_len__name = (_v_len9 - _v_len10);
    582           Expr _vv_name (_v__q_1, 0, _v_len__name);
    583           _ve_entry = (_c_14 + (_c_13 + ((_c_8 + _ve_java_m_module_m_name + _c_7) () + (_c_11 + (_vv_name + _c_9) () + _c_10) () + _c_12) () + _c_10) ());
    584           goto _block4;
    585         }
    586       _block4__branch1: {}
    587         _ve_entry = empty;
    588       }
    589     _block4: {}
    590       Expr _gs_auxcall5;
    591       RF_CALL (Convert::To_m_Word, _ve_java_m_module_m_name, _gs_auxcall5);
    592       Expr _gs_auxcall6;
    593       RF_CALL (Java::Null, /*void*/, _gs_auxcall6);
    594       RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("visit")), /*void*/);
    595       RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("visitEnd")), /*void*/);
    596       Expr _gs_auxcall7;
    597       RF_CALL (Error::Not_m_Available, (Expr::create<Word>("FileOutputStream") + Expr::create<Word>("FileOutputStream")), /*void*/);
    598       Expr _gs_auxcall8;
    599       RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("toByteArray")), /*void*/);
    600       RF_CALL (Error::Not_m_Available, (Expr::create<Word>("FileOutputStream") + Expr::create<Word>("WriteToStream")), /*void*/);
    601       Expr _ge_auxcall9;
    602       RF_CALL (Table::Domain, Inputs, _ge_auxcall9);
    603       _v_res1 = _ve_java_m_module_m_name;
    604       _v_res2 = _ge_auxcall9;
    605       _v_res3 = (_c_19 + _ve_java_m_module_m_name + _c_18 + (_vv_java + _ve_entry) () + _c_10) ();
    606       goto _block3;
    607     }
    608   _block3__branch1: {}
    609     _v_res1 = _ve_java_m_module_m_name;
    610     _v_res2 = empty;
    611     _v_res3 = empty;
     603    if ((_ve_module.get_len () < 1))
     604    {
     605      goto _block1__branch1;
     606    }
     607    RF_lsplit (_ve_module, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_112_m_15, _v_lsplit__module);
     608    for ( ; ; RF_iter(_ve_module)++)
     609    {
     610      {
     611        if (!RF_iter(_ve_module))
     612        {
     613          goto _block1__branch1;
     614        }
     615        uintptr_t _v_len1 = _v_lsplit__module.get_len ();
     616        uintptr_t _v_len2 = 1;
     617        if ((_v_len1 < _v_len2))
     618        {
     619          goto _block1__branch1;
     620        }
     621        uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_112_m_24 = (_v_len1 - _v_len2);
     622        Expr _vt_item (_v_lsplit__module, 0, 1);
     623        Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_112_m_24 (_v_lsplit__module, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_112_m_24);
     624        {
     625          {
     626            if ((1 != 1))
     627            {
     628              goto _block2__branch1;
     629            }
     630            if (_vt_item.symbol_at (0))
     631            {
     632              goto _block2__branch1;
     633            }
     634            Expr _v_deref__item (_vt_item, 0);
     635            uintptr_t _v_len3 = _v_deref__item.get_len ();
     636            uintptr_t _v_len4 = 4;
     637            if ((_v_len3 < _v_len4))
     638            {
     639              goto _block2__branch1;
     640            }
     641            uintptr_t _v_len__body = (_v_len3 - _v_len4);
     642            if (_v_deref__item.symbol_at ((0 + 1 + 1)))
     643            {
     644              goto _block2__branch1;
     645            }
     646            if (_v_deref__item.symbol_at ((0 + 1 + 1 + 1)))
     647            {
     648              goto _block2__branch1;
     649            }
     650            Expr _v_deref__deref__item (_v_deref__item, (0 + 1 + 1));
     651            Expr _v_deref__deref__item2 (_v_deref__item, (0 + 1 + 1 + 1));
     652            uintptr_t _v_len5 = _v_deref__deref__item2.get_len ();
     653            uintptr_t _v_len6 = 0;
     654            if ((_v_len5 < _v_len6))
     655            {
     656              goto _block2__branch1;
     657            }
     658            uintptr_t _v_len__ress = (_v_len5 - _v_len6);
     659            uintptr_t _v_len7 = _v_deref__deref__item.get_len ();
     660            uintptr_t _v_len8 = 0;
     661            if ((_v_len7 < _v_len8))
     662            {
     663              goto _block2__branch1;
     664            }
     665            uintptr_t _v_len__args = (_v_len7 - _v_len8);
     666            if (!_v_deref__item.symbol_at (0))
     667            {
     668              goto _block2__branch1;
     669            }
     670            Expr _vs_tag (_v_deref__item, 0, 1);
     671            Expr _vt_name (_v_deref__item, (0 + 1), 1);
     672            Expr _ve_body (_v_deref__item, (0 + 1 + 1 + 1 + 1), _v_len__body);
     673            Expr _ve_args (_v_deref__deref__item, 0, _v_len__args);
     674            Expr _ve_ress (_v_deref__deref__item2, 0, _v_len__ress);
     675            Expr _gs_auxalt1;
     676            {
     677              {
     678                if ((1 != 1))
     679                {
     680                  goto _block3__branch1;
     681                }
     682                if (!_vs_tag.term_eq (_c_11, 0))
     683                {
     684                  goto _block3__branch1;
     685                }
     686                _gs_auxalt1 = _c_12;
     687                goto _block3;
     688              }
     689            _block3__branch1: {}
     690              if ((1 != 1))
     691              {
     692                goto _block2__branch1;
     693              }
     694              if (!_vs_tag.term_eq (_c_13, 0))
     695              {
     696                goto _block2__branch1;
     697              }
     698              _gs_auxalt1 = _c_14;
     699            }
     700          _block3: {}
     701            if ((1 != 1))
     702            {
     703              goto _block2__branch1;
     704            }
     705            if (!_gs_auxalt1.symbol_at (0))
     706            {
     707              goto _block2__branch1;
     708            }
     709            Expr _vs_retType (_gs_auxalt1, 0, 1);
     710            Expr _gs_auxcall2;
     711            RF_CALL (Access_m_Mode, _vt_name, _gs_auxcall2);
     712            Expr _vs_accessMode;
     713            RF_CALL (Arithm::_p_, (_c_15, _gs_auxcall2), _vs_accessMode);
     714            Expr _ge_auxcall3;
     715            RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall3);
     716            Expr _vs_funcName;
     717            RF_CALL (Convert::To_m_Word, _ge_auxcall3, _vs_funcName);
     718            Expr _gs_auxcall4;
     719            RF_CALL (Access::Length, _ve_args, _gs_auxcall4);
     720            Expr _ge_auxcall5;
     721            RF_CALL (List::Replicate, (_gs_auxcall4, _c_16), _ge_auxcall5);
     722            Expr _gs_auxcall6;
     723            RF_CALL (Access::Length, _ve_ress, _gs_auxcall6);
     724            Expr _ge_auxcall7;
     725            RF_CALL (List::Replicate, (_gs_auxcall6, _c_17), _ge_auxcall7);
     726            Expr _vs_desc;
     727            RF_CALL (Convert::To_m_Word, (_c_19 + _ge_auxcall5 + _ge_auxcall7 + _c_18 + _vs_retType), _vs_desc);
     728            Expr _gs_auxcall8;
     729            RF_CALL (Java::Null, /*void*/, _gs_auxcall8);
     730            Expr _vs_mv;
     731            RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("visitMethod")), /*void*/);
     732            {
     733              {
     734                if ((1 != 1))
     735                {
     736                  goto _block4__branch1;
     737                }
     738                if (!_vs_tag.term_eq (_c_11, 0))
     739                {
     740                  goto _block4__branch1;
     741                }
     742                RF_CALL (Error::Not_m_Available, (Expr::create<Word>("MethodVisitor") + Expr::create<Word>("MVvisitInsn")), /*void*/);
     743                goto _block4;
     744              }
     745            _block4__branch1: {}
     746              if ((1 != 1))
     747              {
     748                RF_FUNC_ERROR (unexpected_fail);
     749              }
     750              if (!_vs_tag.term_eq (_c_13, 0))
     751              {
     752                RF_FUNC_ERROR (unexpected_fail);
     753              }
     754              RF_CALL (Error::Not_m_Available, (Expr::create<Word>("MethodVisitor") + Expr::create<Word>("MVvisitInsn")), /*void*/);
     755              RF_CALL (Error::Not_m_Available, (Expr::create<Word>("MethodVisitor") + Expr::create<Word>("MVvisitInsn")), /*void*/);
     756            }
     757          _block4: {}
     758            RF_CALL (Error::Not_m_Available, (Expr::create<Word>("MethodVisitor") + Expr::create<Word>("MVvisitEnd")), /*void*/);
     759            goto _block2;
     760          }
     761        _block2__branch1: {}
     762          {
     763            if ((1 != 1))
     764            {
     765              goto _block2__branch2;
     766            }
     767            if (_vt_item.symbol_at (0))
     768            {
     769              goto _block2__branch2;
     770            }
     771            Expr _v_deref__item2 (_vt_item, 0);
     772            uintptr_t _v_len9 = _v_deref__item2.get_len ();
     773            uintptr_t _v_len10 = 4;
     774            if ((_v_len9 < _v_len10))
     775            {
     776              goto _block2__branch2;
     777            }
     778            uintptr_t _v_len__expr = (_v_len9 - _v_len10);
     779            if (_v_deref__item2.symbol_at ((0 + 1 + 1 + 1)))
     780            {
     781              goto _block2__branch2;
     782            }
     783            Expr _v_deref__deref__item22 (_v_deref__item2, (0 + 1 + 1 + 1));
     784            uintptr_t _v_len11 = _v_deref__deref__item22.get_len ();
     785            uintptr_t _v_len12 = 0;
     786            if ((_v_len11 < _v_len12))
     787            {
     788              goto _block2__branch2;
     789            }
     790            uintptr_t _v_len__comment = (_v_len11 - _v_len12);
     791            if (!_c_24.term_eq (_v_deref__item2, 0))
     792            {
     793              goto _block2__branch2;
     794            }
     795            if (!_v_deref__item2.symbol_at ((0 + 1)))
     796            {
     797              goto _block2__branch2;
     798            }
     799            Expr _vs_linkage (_v_deref__item2, (0 + 1), 1);
     800            Expr _vt_name (_v_deref__item2, (0 + 1 + 1), 1);
     801            Expr _ve_expr (_v_deref__item2, (0 + 1 + 1 + 1 + 1), _v_len__expr);
     802            Expr _ve_comment (_v_deref__deref__item22, 0, _v_len__comment);
     803            Expr _gs_auxcall9;
     804            RF_CALL (Access_m_Mode, _vt_name, _gs_auxcall9);
     805            Expr _gs_auxcall10;
     806            RF_CALL (Arithm::_p_, (_c_25, _gs_auxcall9), _gs_auxcall10);
     807            Expr _vs_accessMode;
     808            RF_CALL (Arithm::_p_, (_c_15, _gs_auxcall10), _vs_accessMode);
     809            Expr _ve_n;
     810            {
     811              {
     812                if ((1 != 1))
     813                {
     814                  goto _block5__branch1;
     815                }
     816                if (_vt_name.symbol_at (0))
     817                {
     818                  goto _block5__branch1;
     819                }
     820                Expr _v_deref__name (_vt_name, 0);
     821                uintptr_t _v_len13 = _v_deref__name.get_len ();
     822                uintptr_t _v_len14 = 1;
     823                if ((_v_len13 < _v_len14))
     824                {
     825                  goto _block5__branch1;
     826                }
     827                uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_131_m_27 = (_v_len13 - _v_len14);
     828                if (!_c_26.term_eq (_v_deref__name, 0))
     829                {
     830                  goto _block5__branch1;
     831                }
     832                Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_131_m_27 (_v_deref__name, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_131_m_27);
     833                RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ve_n);
     834                goto _block5;
     835              }
     836            _block5__branch1: {}
     837              RF_CALL (Name_m_To_m_JBC, _vt_name, _ve_n);
     838            }
     839          _block5: {}
     840            Expr _gs_auxcall11;
     841            RF_CALL (Convert::To_m_Word, _ve_n, _gs_auxcall11);
     842            Expr _gs_auxcall12;
     843            RF_CALL (Java::Null, /*void*/, _gs_auxcall12);
     844            Expr _gs_auxcall13;
     845            RF_CALL (Java::Null, /*void*/, _gs_auxcall13);
     846            Expr _vs_fv;
     847            RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("visitField")), /*void*/);
     848            RF_CALL (Error::Not_m_Available, (Expr::create<Word>("FieldVisitor") + Expr::create<Word>("FVvisitEnd")), /*void*/);
     849            goto _block2;
     850          }
     851        _block2__branch2: {}
     852          {
     853            if ((1 != 1))
     854            {
     855              goto _block2__branch3;
     856            }
     857            if (_vt_item.symbol_at (0))
     858            {
     859              goto _block2__branch3;
     860            }
     861            Expr _v_deref__item3 (_vt_item, 0);
     862            if ((_v_deref__item3.get_len () != 4))
     863            {
     864              goto _block2__branch3;
     865            }
     866            if (!_c_27.term_eq (_v_deref__item3, 0))
     867            {
     868              goto _block2__branch3;
     869            }
     870            if (!_v_deref__item3.symbol_at ((0 + 1)))
     871            {
     872              goto _block2__branch3;
     873            }
     874            if (!_v_deref__item3.symbol_at ((0 + 1 + 1)))
     875            {
     876              goto _block2__branch3;
     877            }
     878            Expr _vs_linkage (_v_deref__item3, (0 + 1), 1);
     879            Expr _vs_tag (_v_deref__item3, (0 + 1 + 1), 1);
     880            Expr _vt_name (_v_deref__item3, (0 + 1 + 1 + 1), 1);
     881            Expr _v_To_m_Chars1;
     882            RF_CALL (Convert::To_m_Chars, _vs_tag, _v_To_m_Chars1);
     883            uintptr_t _v_len15 = _v_To_m_Chars1.get_len ();
     884            uintptr_t _v_len16 = 1;
     885            if ((_v_len15 < _v_len16))
     886            {
     887              goto _continue1;
     888            }
     889            uintptr_t _v_len__2 = (_v_len15 - _v_len16);
     890            if (!_v_To_m_Chars1.symbol_at (0))
     891            {
     892              goto _continue1;
     893            }
     894            Expr _vs_1 (_v_To_m_Chars1, 0, 1);
     895            Expr _ve_2 (_v_To_m_Chars1, (0 + 1), _v_len__2);
     896            Expr _v_To_m_Lower1;
     897            RF_CALL (Convert::To_m_Lower, _ve_2, _v_To_m_Lower1);
     898            Expr _ve_class_m_name ((_c_28 + _vs_1 + _v_To_m_Lower1));
     899            RF_CALL (Table::Bind, (Inputs, (_c_29 + _ve_class_m_name), empty), /*void*/);
     900            Expr _gs_auxcall14;
     901            RF_CALL (Access_m_Mode, _vt_name, _gs_auxcall14);
     902            Expr _gs_auxcall15;
     903            RF_CALL (Arithm::_p_, (_c_25, _gs_auxcall14), _gs_auxcall15);
     904            Expr _vs_accessMode;
     905            RF_CALL (Arithm::_p_, (_c_15, _gs_auxcall15), _vs_accessMode);
     906            Expr _ge_auxcall16;
     907            RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall16);
     908            Expr _gs_auxcall17;
     909            RF_CALL (Convert::To_m_Word, _ge_auxcall16, _gs_auxcall17);
     910            Expr _gs_auxcall18;
     911            RF_CALL (Java::Null, /*void*/, _gs_auxcall18);
     912            Expr _gs_auxcall19;
     913            RF_CALL (Java::Null, /*void*/, _gs_auxcall19);
     914            Expr _vs_fv;
     915            RF_CALL (Error::Not_m_Available, (Expr::create<Word>("ClassWriter") + Expr::create<Word>("visitField")), /*void*/);
     916            RF_CALL (Error::Not_m_Available, (Expr::create<Word>("FieldVisitor") + Expr::create<Word>("FVvisitEnd")), /*void*/);
     917            goto _block2;
     918          }
     919        _block2__branch3: {}
     920          {
     921            if ((1 != 1))
     922            {
     923              goto _block2__branch4;
     924            }
     925            if (_vt_item.symbol_at (0))
     926            {
     927              goto _block2__branch4;
     928            }
     929            Expr _v_deref__item4 (_vt_item, 0);
     930            if ((_v_deref__item4.get_len () != 2))
     931            {
     932              goto _block2__branch4;
     933            }
     934            if (!_c_30.term_eq (_v_deref__item4, 0))
     935            {
     936              goto _block2__branch4;
     937            }
     938            Expr _vt_name (_v_deref__item4, (0 + 1), 1);
     939            goto _block2;
     940          }
     941        _block2__branch4: {}
     942          if ((1 != 1))
     943          {
     944            RF_FUNC_ERROR (unexpected_fail);
     945          }
     946          if (_vt_item.symbol_at (0))
     947          {
     948            RF_FUNC_ERROR (unexpected_fail);
     949          }
     950          Expr _v_deref__item5 (_vt_item, 0);
     951          if ((_v_deref__item5.get_len () != 2))
     952          {
     953            RF_FUNC_ERROR (unexpected_fail);
     954          }
     955          if (!_c_31.term_eq (_v_deref__item5, 0))
     956          {
     957            RF_FUNC_ERROR (unexpected_fail);
     958          }
     959          Expr _vt_name (_v_deref__item5, (0 + 1), 1);
     960        }
     961      _block2: {}
     962      }
     963  _continue1: {}
     964    }
     965  _exit1: {}
    612966  }
    613 _block3: {}
     967_block1__branch1: {}
    614968RF_END
    615969
    616 RF_FUNC (ASAIL_m_To_m_JBC, (RF_ARG _ve_asail;;), (RF_RES _v_res1;;))
     970RF_FUNC (ASAIL_m_To_m_JBC, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     971  uintptr_t _v_len1 = _ge_arg1.get_len ();
     972  uintptr_t _v_len2 = 1;
     973  if ((_v_len1 < _v_len2))
    617974  {
    618     {
    619       uintptr_t _v_len1 = _ve_asail.get_len ();
    620       uintptr_t _v_len2 = 1;
    621       if ((_v_len1 < _v_len2))
     975    RF_FUNC_ERROR (unexpected_fail);
     976  }
     977  uintptr_t _v_len__module = (_v_len1 - _v_len2);
     978  if (!_ge_arg1.symbol_at (0))
     979  {
     980    RF_FUNC_ERROR (unexpected_fail);
     981  }
     982  Expr _vs_cw (_ge_arg1, 0, 1);
     983  Expr _ve_module (_ge_arg1, (0 + 1), _v_len__module);
     984  {
     985    {
     986      uintptr_t _v_len3 = _v_len__module;
     987      uintptr_t _v_len4 = 1;
     988      if ((_v_len3 < _v_len4))
    622989      {
    623990        goto _block1__branch1;
    624991      }
    625       uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    626       Expr _vt_item (_ve_asail, 0, 1);
    627       Expr _ve_rest (_ve_asail, (0 + 1), _v_len__rest);
     992      uintptr_t _v_len__rest = (_v_len3 - _v_len4);
     993      Expr _vt_item (_ve_module, 0, 1);
     994      Expr _ve_rest (_ve_module, (0 + 1), _v_len__rest);
    628995      Expr _ve_java_m_item;
    629996      {
     
    6381005          }
    6391006          Expr _v_deref__item (_vt_item, 0);
    640           uintptr_t _v_len3 = _v_deref__item.get_len ();
    641           uintptr_t _v_len4 = 4;
    642           if ((_v_len3 < _v_len4))
     1007          uintptr_t _v_len5 = _v_deref__item.get_len ();
     1008          uintptr_t _v_len6 = 4;
     1009          if ((_v_len5 < _v_len6))
    6431010          {
    6441011            goto _block2__branch1;
    6451012          }
    646           uintptr_t _v_len__body = (_v_len3 - _v_len4);
     1013          uintptr_t _v_len__body = (_v_len5 - _v_len6);
    6471014          if (_v_deref__item.symbol_at ((0 + 1 + 1)))
    6481015          {
     
    6551022          Expr _v_deref__deref__item (_v_deref__item, (0 + 1 + 1));
    6561023          Expr _v_deref__deref__item2 (_v_deref__item, (0 + 1 + 1 + 1));
    657           uintptr_t _v_len5 = _v_deref__deref__item2.get_len ();
    658           uintptr_t _v_len6 = 0;
    659           if ((_v_len5 < _v_len6))
    660           {
    661             goto _block2__branch1;
    662           }
    663           uintptr_t _v_len__ress = (_v_len5 - _v_len6);
    664           uintptr_t _v_len7 = _v_deref__deref__item.get_len ();
     1024          uintptr_t _v_len7 = _v_deref__deref__item2.get_len ();
    6651025          uintptr_t _v_len8 = 0;
    6661026          if ((_v_len7 < _v_len8))
     
    6681028            goto _block2__branch1;
    6691029          }
    670           uintptr_t _v_len__args = (_v_len7 - _v_len8);
     1030          uintptr_t _v_len__ress = (_v_len7 - _v_len8);
     1031          uintptr_t _v_len9 = _v_deref__deref__item.get_len ();
     1032          uintptr_t _v_len10 = 0;
     1033          if ((_v_len9 < _v_len10))
     1034          {
     1035            goto _block2__branch1;
     1036          }
     1037          uintptr_t _v_len__args = (_v_len9 - _v_len10);
    6711038          if (!_v_deref__item.symbol_at (0))
    6721039          {
     
    6861053                goto _block3__branch1;
    6871054              }
    688               if (!_vs_tag.term_eq (_c_20, 0))
     1055              if (!_vs_tag.term_eq (_c_11, 0))
    6891056              {
    6901057                goto _block3__branch1;
    6911058              }
    692               _ve_return_m_type = _c_21;
     1059              _ve_return_m_type = _c_32;
    6931060              _ve_return = empty;
    6941061              goto _block3;
     
    6991066              goto _block2__branch1;
    7001067            }
    701             if (!_vs_tag.term_eq (_c_22, 0))
     1068            if (!_vs_tag.term_eq (_c_13, 0))
    7021069            {
    7031070              goto _block2__branch1;
    7041071            }
    705             _ve_return_m_type = _c_23;
    706             _ve_return = _c_24;
     1072            _ve_return_m_type = _c_33;
     1073            _ve_return = _c_34;
    7071074          }
    7081075        _block3: {}
     
    7171084                goto _block4__branch1;
    7181085              }
    719               RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_124_m_23, _v_lsplit___q_1);
     1086              RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_164_m_23, _v_lsplit___q_1);
    7201087              for ( ; ; RF_iter(_v__q_1)++)
    7211088              {
     
    7251092                    goto _block4__branch1;
    7261093                  }
    727                   uintptr_t _v_len9 = _v_lsplit___q_1.get_len ();
    728                   uintptr_t _v_len10 = 1;
    729                   if ((_v_len9 < _v_len10))
     1094                  uintptr_t _v_len11 = _v_lsplit___q_1.get_len ();
     1095                  uintptr_t _v_len12 = 1;
     1096                  if ((_v_len11 < _v_len12))
    7301097                  {
    7311098                    goto _block4__branch1;
    7321099                  }
    733                   uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_124_m_32 = (_v_len9 - _v_len10);
     1100                  uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_164_m_32 = (_v_len11 - _v_len12);
    7341101                  if (!_vt_name.term_eq (_v_lsplit___q_1, 0))
    7351102                  {
    7361103                    goto _continue1;
    7371104                  }
    738                   Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_124_m_32 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_124_m_32);
     1105                  Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_164_m_32 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_164_m_32);
    7391106                  Expr _ge_auxcall1;
    7401107                  RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ge_auxcall1);
     
    7531120          RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall2);
    7541121          RF_CALL (Box::Store, (Func_m_Name, _ge_auxcall2), /*void*/);
    755           Expr _ge_auxcall3;
    756           RF_CALL (Access_m_Mode, _vt_name, _ge_auxcall3);
     1122          Expr _gs_auxcall3;
     1123          RF_CALL (Access_m_Mode, _vt_name, _gs_auxcall3);
    7571124          Expr _ge_auxcall4;
    7581125          RF_CALL (Box::_q_, Func_m_Name, _ge_auxcall4);
    7591126          Expr _ge_auxcall5;
    760           RF_CALL (Var_m_Args_m_To_m_JBC, (_c_26 + _ve_args + _c_25 + _ve_ress), _ge_auxcall5);
     1127          RF_CALL (Var_m_Args_m_To_m_JBC, (_c_36 + _ve_args + _c_35 + _ve_ress), _ge_auxcall5);
    7611128          Expr _ge_auxcall6;
    7621129          RF_CALL (ASAIL_m_To_m_JBC, _ve_body, _ge_auxcall6);
    763           _ve_java_m_item = (_c_14 + (_c_30 + _ge_auxcall3 + _c_29 + _ve_return_m_type + _c_29 + _ge_auxcall4 + _c_28 + _ge_auxcall5 + _c_27) () + (_c_31 + (_ge_auxcall6 + _ve_return) () + _c_10) ());
     1130          _ve_java_m_item = (_c_43 + (_c_40 + _gs_auxcall3 + _c_39 + _ve_return_m_type + _c_39 + _ge_auxcall4 + _c_38 + _ge_auxcall5 + _c_37) () + (_c_42 + (_ge_auxcall6 + _ve_return) () + _c_41) ());
    7641131          goto _block2;
    7651132        }
     
    7791146            goto _block2__branch2;
    7801147          }
    781           if (!_c_32.term_eq (_v_deref__item2, 0))
     1148          if (!_c_44.term_eq (_v_deref__item2, 0))
    7821149          {
    7831150            goto _block2__branch2;
     
    7991166          }
    8001167          Expr _v_deref__item3 (_vt_item, 0);
    801           uintptr_t _v_len11 = _v_deref__item3.get_len ();
    802           uintptr_t _v_len12 = 2;
    803           if ((_v_len11 < _v_len12))
     1168          uintptr_t _v_len13 = _v_deref__item3.get_len ();
     1169          uintptr_t _v_len14 = 2;
     1170          if ((_v_len13 < _v_len14))
    8041171          {
    8051172            goto _block2__branch3;
    8061173          }
    807           uintptr_t _v_len__body2 = (_v_len11 - _v_len12);
     1174          uintptr_t _v_len__body2 = (_v_len13 - _v_len14);
    8081175          if (_v_deref__item3.symbol_at ((0 + 1)))
    8091176          {
     
    8111178          }
    8121179          Expr _v_deref__deref__item3 (_v_deref__item3, (0 + 1));
    813           uintptr_t _v_len13 = _v_deref__deref__item3.get_len ();
    814           uintptr_t _v_len14 = 0;
    815           if ((_v_len13 < _v_len14))
     1180          uintptr_t _v_len15 = _v_deref__deref__item3.get_len ();
     1181          uintptr_t _v_len16 = 0;
     1182          if ((_v_len15 < _v_len16))
    8161183          {
    8171184            goto _block2__branch3;
    8181185          }
    819           uintptr_t _v_len__cond = (_v_len13 - _v_len14);
    820           if (!_c_33.term_eq (_v_deref__item3, 0))
     1186          uintptr_t _v_len__cond = (_v_len15 - _v_len16);
     1187          if (!_c_45.term_eq (_v_deref__item3, 0))
    8211188          {
    8221189            goto _block2__branch3;
     
    8501217              }
    8511218              Expr _v_deref__deref__cond (_v_deref__cond, (0 + 1));
    852               uintptr_t _v_len15 = _v_deref__deref__cond.get_len ();
    853               uintptr_t _v_len16 = 1;
    854               if ((_v_len15 < _v_len16))
     1219              uintptr_t _v_len17 = _v_deref__deref__cond.get_len ();
     1220              uintptr_t _v_len18 = 1;
     1221              if ((_v_len17 < _v_len18))
    8551222              {
    8561223                goto _block5__branch1;
    8571224              }
    858               uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_137_m_30 = (_v_len15 - _v_len16);
    859               if (!_c_35.term_eq (_v_deref__cond, 0))
     1225              uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_177_m_30 = (_v_len17 - _v_len18);
     1226              if (!_c_47.term_eq (_v_deref__cond, 0))
    8601227              {
    8611228                goto _block5__branch1;
    8621229              }
    863               if (!_c_34.term_eq (_v_deref__deref__cond, 0))
     1230              if (!_c_46.term_eq (_v_deref__deref__cond, 0))
    8641231              {
    8651232                goto _block5__branch1;
    8661233              }
    867               Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_137_m_30 (_v_deref__deref__cond, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_137_m_30);
     1234              Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_177_m_30 (_v_deref__deref__cond, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_177_m_30);
    8681235              Expr _ge_auxcall7;
    8691236              RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall7);
     
    8851252          Expr _ge_auxcall10;
    8861253          RF_CALL (ASAIL_m_To_m_JBC, _ve_body, _ge_auxcall10);
    887           _ve_java_m_item = (_ge_auxcall9 + (_c_37 + _ve_j_m_cond + _c_36) () + (_c_31 + (_ve_if_m_yes_m_assigns + _ge_auxcall10) () + _c_10) () + _ve_if_m_not_m_assigns);
     1254          _ve_java_m_item = (_ge_auxcall9 + (_c_48 + _ve_j_m_cond + _c_18) () + (_c_42 + (_ve_if_m_yes_m_assigns + _ge_auxcall10) () + _c_41) () + _ve_if_m_not_m_assigns);
    8881255          goto _block2;
    8891256        }
     
    8991266          }
    9001267          Expr _v_deref__item4 (_vt_item, 0);
    901           uintptr_t _v_len17 = _v_deref__item4.get_len ();
    902           uintptr_t _v_len18 = 5;
    903           if ((_v_len17 < _v_len18))
     1268          uintptr_t _v_len19 = _v_deref__item4.get_len ();
     1269          uintptr_t _v_len20 = 5;
     1270          if ((_v_len19 < _v_len20))
    9041271          {
    9051272            goto _block2__branch4;
    9061273          }
    907           uintptr_t _v_len__body3 = (_v_len17 - _v_len18);
     1274          uintptr_t _v_len__body3 = (_v_len19 - _v_len20);
    9081275          if (_v_deref__item4.symbol_at ((0 + 1)))
    9091276          {
     
    9261293          Expr _v_deref__deref__item43 (_v_deref__item4, (0 + 1 + 1 + 1));
    9271294          Expr _v_deref__deref__item44 (_v_deref__item4, (0 + 1 + 1 + 1 + 1));
    928           uintptr_t _v_len19 = _v_deref__deref__item4.get_len ();
    929           uintptr_t _v_len20 = 0;
    930           if ((_v_len19 < _v_len20))
    931           {
    932             goto _block2__branch4;
    933           }
    934           uintptr_t _v_len__cont_m_label = (_v_len19 - _v_len20);
    935           uintptr_t _v_len21 = _v_deref__deref__item42.get_len ();
     1295          uintptr_t _v_len21 = _v_deref__deref__item4.get_len ();
    9361296          uintptr_t _v_len22 = 0;
    9371297          if ((_v_len21 < _v_len22))
     
    9391299            goto _block2__branch4;
    9401300          }
    941           uintptr_t _v_len__break_m_label = (_v_len21 - _v_len22);
    942           uintptr_t _v_len23 = _v_deref__deref__item44.get_len ();
     1301          uintptr_t _v_len__cont_m_label = (_v_len21 - _v_len22);
     1302          uintptr_t _v_len23 = _v_deref__deref__item42.get_len ();
    9431303          uintptr_t _v_len24 = 0;
    9441304          if ((_v_len23 < _v_len24))
     
    9461306            goto _block2__branch4;
    9471307          }
    948           uintptr_t _v_len__step = (_v_len23 - _v_len24);
    949           uintptr_t _v_len25 = _v_deref__deref__item43.get_len ();
     1308          uintptr_t _v_len__break_m_label = (_v_len23 - _v_len24);
     1309          uintptr_t _v_len25 = _v_deref__deref__item44.get_len ();
    9501310          uintptr_t _v_len26 = 0;
    9511311          if ((_v_len25 < _v_len26))
     
    9531313            goto _block2__branch4;
    9541314          }
    955           uintptr_t _v_len__cond2 = (_v_len25 - _v_len26);
    956           if (!_c_38.term_eq (_v_deref__item4, 0))
     1315          uintptr_t _v_len__step = (_v_len25 - _v_len26);
     1316          uintptr_t _v_len27 = _v_deref__deref__item43.get_len ();
     1317          uintptr_t _v_len28 = 0;
     1318          if ((_v_len27 < _v_len28))
     1319          {
     1320            goto _block2__branch4;
     1321          }
     1322          uintptr_t _v_len__cond2 = (_v_len27 - _v_len28);
     1323          if (!_c_49.term_eq (_v_deref__item4, 0))
    9571324          {
    9581325            goto _block2__branch4;
     
    9701337                goto _block6__branch1;
    9711338              }
    972               Expr _vt__e__e_tmp_m_rfp__asail__jbcrf_m_150_m_25 (_ve_cont_m_label, 0, 1);
     1339              Expr _vt__e__e_tmp_m_rfp__asail__jbcrf_m_190_m_25 (_ve_cont_m_label, 0, 1);
    9731340              Expr _ge_auxcall11;
    974               RF_CALL (JavaMangle::Rfp2Java, (_c_39 + _ve_cont_m_label) (), _ge_auxcall11);
    975               _ve_cont = (_ge_auxcall11 + _c_40);
     1341              RF_CALL (JavaMangle::Rfp2Java, (_c_50 + _ve_cont_m_label) (), _ge_auxcall11);
     1342              _ve_cont = (_ge_auxcall11 + _c_51);
    9761343              goto _block6;
    9771344            }
     
    9871354                goto _block7__branch1;
    9881355              }
    989               Expr _vt__e__e_tmp_m_rfp__asail__jbcrf_m_153_m_26 (_ve_break_m_label, 0, 1);
     1356              Expr _vt__e__e_tmp_m_rfp__asail__jbcrf_m_193_m_26 (_ve_break_m_label, 0, 1);
    9901357              Expr _ge_auxcall12;
    991               RF_CALL (JavaMangle::Rfp2Java, (_c_39 + _ve_break_m_label) (), _ge_auxcall12);
    992               _ve_break = (_ge_auxcall12 + _c_40);
     1358              RF_CALL (JavaMangle::Rfp2Java, (_c_50 + _ve_break_m_label) (), _ge_auxcall12);
     1359              _ve_break = (_ge_auxcall12 + _c_51);
    9931360              goto _block7;
    9941361            }
     
    10131380              }
    10141381              Expr _v_deref__step (_ve_step, 0);
    1015               uintptr_t _v_len27 = _v_deref__step.get_len ();
    1016               uintptr_t _v_len28 = 1;
    1017               if ((_v_len27 < _v_len28))
     1382              uintptr_t _v_len29 = _v_deref__step.get_len ();
     1383              uintptr_t _v_len30 = 1;
     1384              if ((_v_len29 < _v_len30))
    10181385              {
    10191386                goto _block8__branch1;
    10201387              }
    1021               uintptr_t _v_len__var = (_v_len27 - _v_len28);
     1388              uintptr_t _v_len__var = (_v_len29 - _v_len30);
    10221389              if (!_v_deref__step.symbol_at (0))
    10231390              {
     
    10321399                    goto _block9__branch1;
    10331400                  }
    1034                   if (!_vs_d.term_eq (_c_41, 0))
     1401                  if (!_vs_d.term_eq (_c_52, 0))
    10351402                  {
    10361403                    goto _block9__branch1;
     
    10431410                  goto _block8__branch1;
    10441411                }
    1045                 if (!_vs_d.term_eq (_c_42, 0))
     1412                if (!_vs_d.term_eq (_c_53, 0))
    10461413                {
    10471414                  goto _block8__branch1;
     
    10541421                goto _block1__branch1;
    10551422              }
    1056               uintptr_t _v_len29 = _v_Lookup1.get_len ();
    1057               uintptr_t _v_len30 = 2;
    1058               if ((_v_len29 < _v_len30))
     1423              uintptr_t _v_len31 = _v_Lookup1.get_len ();
     1424              uintptr_t _v_len32 = 2;
     1425              if ((_v_len31 < _v_len32))
    10591426              {
    10601427                goto _block1__branch1;
    10611428              }
    1062               uintptr_t _v_len__new_m_var = (_v_len29 - _v_len30);
     1429              uintptr_t _v_len__new_m_var = (_v_len31 - _v_len32);
    10631430              Expr _ve_new_m_var (_v_Lookup1, 0, _v_len__new_m_var);
    10641431              Expr _vt_var1 (_v_Lookup1, (0 + _v_len__new_m_var), 1);
     
    10681435              Expr _ge_auxcall14;
    10691436              RF_CALL (JavaMangle::Rfp2Java, _vt_var2, _ge_auxcall14);
    1070               _ve_split_m_vars = ((_c_45 + _ge_auxcall13 + _c_44 + _ve_new_m_var + _c_43) () + (_c_45 + _ge_auxcall14 + _c_44 + _ve_new_m_var + _c_46) ());
     1437              _ve_split_m_vars = ((_c_56 + _ge_auxcall13 + _c_55 + _ve_new_m_var + _c_54) () + (_c_56 + _ge_auxcall14 + _c_55 + _ve_new_m_var + _c_57) ());
    10711438              goto _block8;
    10721439            }
     
    10841451          Expr _ge_auxcall18;
    10851452          RF_CALL (ASAIL_m_To_m_JBC, _ve_body, _ge_auxcall18);
    1086           _ve_java_m_item = (_ge_auxcall15 + (_ve_break + _ve_cont + _c_48 + _ge_cond__6 + _c_47 + _ge_auxcall16 + _c_36) () + (_c_31 + (_ve_split_m_vars + _ge_auxcall17 + _ge_auxcall18) () + _c_10) ());
     1453          _ve_java_m_item = (_ge_auxcall15 + (_ve_break + _ve_cont + _c_59 + _ge_cond__6 + _c_58 + _ge_auxcall16 + _c_18) () + (_c_42 + (_ve_split_m_vars + _ge_auxcall17 + _ge_auxcall18) () + _c_41) ());
    10871454          goto _block2;
    10881455        }
     
    10981465          }
    10991466          Expr _v_deref__item5 (_vt_item, 0);
    1100           uintptr_t _v_len31 = _v_deref__item5.get_len ();
    1101           uintptr_t _v_len32 = 2;
    1102           if ((_v_len31 < _v_len32))
     1467          uintptr_t _v_len33 = _v_deref__item5.get_len ();
     1468          uintptr_t _v_len34 = 2;
     1469          if ((_v_len33 < _v_len34))
    11031470          {
    11041471            goto _block2__branch5;
    11051472          }
    1106           uintptr_t _v_len__body4 = (_v_len31 - _v_len32);
     1473          uintptr_t _v_len__body4 = (_v_len33 - _v_len34);
    11071474          if (_v_deref__item5.symbol_at ((0 + 1)))
    11081475          {
     
    11101477          }
    11111478          Expr _v_deref__deref__item5 (_v_deref__item5, (0 + 1));
    1112           uintptr_t _v_len33 = _v_deref__deref__item5.get_len ();
    1113           uintptr_t _v_len34 = 0;
    1114           if ((_v_len33 < _v_len34))
     1479          uintptr_t _v_len35 = _v_deref__deref__item5.get_len ();
     1480          uintptr_t _v_len36 = 0;
     1481          if ((_v_len35 < _v_len36))
    11151482          {
    11161483            goto _block2__branch5;
    11171484          }
    1118           uintptr_t _v_len__label = (_v_len33 - _v_len34);
    1119           if (!_c_39.term_eq (_v_deref__item5, 0))
     1485          uintptr_t _v_len__label = (_v_len35 - _v_len36);
     1486          if (!_c_50.term_eq (_v_deref__item5, 0))
    11201487          {
    11211488            goto _block2__branch5;
     
    11241491          Expr _ve_label (_v_deref__deref__item5, 0, _v_len__label);
    11251492          Expr _ge_auxcall19;
    1126           RF_CALL (JavaMangle::Rfp2Java, (_c_39 + _ve_label) (), _ge_auxcall19);
     1493          RF_CALL (JavaMangle::Rfp2Java, (_c_50 + _ve_label) (), _ge_auxcall19);
    11271494          Expr _ge_auxcall20;
    11281495          RF_CALL (ASAIL_m_To_m_JBC, _ve_body, _ge_auxcall20);
    1129           _ve_java_m_item = (_ge_auxcall19 + _c_49 + _ge_auxcall20 () + _c_10) ();
     1496          _ve_java_m_item = (_ge_auxcall19 + _c_60 + _ge_auxcall20 () + _c_41) ();
    11301497          goto _block2;
    11311498        }
     
    11411508          }
    11421509          Expr _v_deref__item6 (_vt_item, 0);
    1143           uintptr_t _v_len35 = _v_deref__item6.get_len ();
    1144           uintptr_t _v_len36 = 1;
    1145           if ((_v_len35 < _v_len36))
     1510          uintptr_t _v_len37 = _v_deref__item6.get_len ();
     1511          uintptr_t _v_len38 = 1;
     1512          if ((_v_len37 < _v_len38))
    11461513          {
    11471514            goto _block2__branch6;
    11481515          }
    1149           uintptr_t _v_len__body5 = (_v_len35 - _v_len36);
    1150           if (!_c_50.term_eq (_v_deref__item6, 0))
     1516          uintptr_t _v_len__body5 = (_v_len37 - _v_len38);
     1517          if (!_c_61.term_eq (_v_deref__item6, 0))
    11511518          {
    11521519            goto _block2__branch6;
     
    11591526          Expr _ge_auxcall23;
    11601527          RF_CALL (ASAIL_m_To_m_JBC, _ve_body, _ge_auxcall23);
    1161           _ve_java_m_item = (_c_55 + (_c_31 + ((_c_54 + (_c_53 + _ge_auxcall21 + _c_52 + _ge_auxcall22 + _c_51) ()) () + _ge_auxcall23) () + _c_10) ());
     1528          _ve_java_m_item = (_c_66 + (_c_42 + ((_c_65 + (_c_64 + _ge_auxcall21 + _c_63 + _ge_auxcall22 + _c_62) ()) () + _ge_auxcall23) () + _c_41) ());
    11621529          goto _block2;
    11631530        }
     
    11731540          }
    11741541          Expr _v_deref__item7 (_vt_item, 0);
    1175           uintptr_t _v_len37 = _v_deref__item7.get_len ();
    1176           uintptr_t _v_len38 = 1;
    1177           if ((_v_len37 < _v_len38))
     1542          uintptr_t _v_len39 = _v_deref__item7.get_len ();
     1543          uintptr_t _v_len40 = 1;
     1544          if ((_v_len39 < _v_len40))
    11781545          {
    11791546            goto _block2__branch7;
    11801547          }
    1181           uintptr_t _v_len__body6 = (_v_len37 - _v_len38);
    1182           if (!_c_56.term_eq (_v_deref__item7, 0))
     1548          uintptr_t _v_len__body6 = (_v_len39 - _v_len40);
     1549          if (!_c_67.term_eq (_v_deref__item7, 0))
    11831550          {
    11841551            goto _block2__branch7;
     
    11871554          Expr _ge_auxcall24;
    11881555          RF_CALL (ASAIL_m_To_m_JBC, _ve_body, _ge_auxcall24);
    1189           _ve_java_m_item = (_c_58 + (_c_57 + _ge_auxcall24 ()) () + _c_10) ();
     1556          _ve_java_m_item = (_c_69 + (_c_68 + _ge_auxcall24 ()) () + _c_41) ();
    11901557          goto _block2;
    11911558        }
     
    11961563            goto _block2__branch8;
    11971564          }
    1198           if (!_vt_item.term_eq (_c_59, 0))
     1565          if (!_vt_item.term_eq (_c_70, 0))
    11991566          {
    12001567            goto _block2__branch8;
    12011568          }
    1202           _ve_java_m_item = _c_60;
     1569          _ve_java_m_item = _c_71;
    12031570          goto _block2;
    12041571        }
     
    12091576            goto _block2__branch9;
    12101577          }
    1211           if (!_vt_item.term_eq (_c_61, 0))
     1578          if (!_vt_item.term_eq (_c_72, 0))
    12121579          {
    12131580            goto _block2__branch9;
     
    12171584          Expr _ge_auxcall26;
    12181585          RF_CALL (Box::_q_, Func_m_Name, _ge_auxcall26);
    1219           _ve_java_m_item = (_c_53 + _ge_auxcall25 + _c_52 + _ge_auxcall26 + _c_62) ();
     1586          _ve_java_m_item = (_c_64 + _ge_auxcall25 + _c_63 + _ge_auxcall26 + _c_73) ();
    12201587          goto _block2;
    12211588        }
     
    12401607          }
    12411608          Expr _v_deref__deref__item8 (_v_deref__item8, (0 + 1 + 1));
    1242           uintptr_t _v_len39 = _v_deref__deref__item8.get_len ();
    1243           uintptr_t _v_len40 = 0;
    1244           if ((_v_len39 < _v_len40))
     1609          uintptr_t _v_len41 = _v_deref__deref__item8.get_len ();
     1610          uintptr_t _v_len42 = 0;
     1611          if ((_v_len41 < _v_len42))
    12451612          {
    12461613            goto _block2__branch10;
    12471614          }
    1248           uintptr_t _v_len__min = (_v_len39 - _v_len40);
    1249           if (!_c_63.term_eq (_v_deref__item8, 0))
     1615          uintptr_t _v_len__min = (_v_len41 - _v_len42);
     1616          if (!_c_74.term_eq (_v_deref__item8, 0))
    12501617          {
    12511618            goto _block2__branch10;
     
    12601627          Expr _v_Free_m_Index1;
    12611628          RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
    1262           Expr _ve_new_m_var ((_c_64 + _v_Free_m_Index1));
     1629          Expr _ve_new_m_var ((_c_75 + _v_Free_m_Index1));
    12631630          RF_CALL (Table::Bind, (Iter_m_Vars, _vt_name, (_ve_new_m_var + _vt_var1 + _vt_var2)), /*void*/);
    12641631          Expr _vs_acc;
     
    12671634          Expr _ge_auxcall27;
    12681635          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall27);
    1269           _ve_java_m_item = (_ve_a + _ge_auxcall27 + (_c_67 + _ve_new_m_var + _c_44 + _ve_n + _c_66 + _ve_min + _c_65) ());
     1636          _ve_java_m_item = (_ve_a + _ge_auxcall27 + (_c_78 + _ve_new_m_var + _c_55 + _ve_n + _c_77 + _ve_min + _c_76) ());
    12701637          goto _block2;
    12711638        }
     
    12901657          }
    12911658          Expr _v_deref__deref__item9 (_v_deref__item9, (0 + 1 + 1));
    1292           uintptr_t _v_len41 = _v_deref__deref__item9.get_len ();
    1293           uintptr_t _v_len42 = 0;
    1294           if ((_v_len41 < _v_len42))
     1659          uintptr_t _v_len43 = _v_deref__deref__item9.get_len ();
     1660          uintptr_t _v_len44 = 0;
     1661          if ((_v_len43 < _v_len44))
    12951662          {
    12961663            goto _block2__branch11;
    12971664          }
    1298           uintptr_t _v_len__min2 = (_v_len41 - _v_len42);
    1299           if (!_c_68.term_eq (_v_deref__item9, 0))
     1665          uintptr_t _v_len__min2 = (_v_len43 - _v_len44);
     1666          if (!_c_79.term_eq (_v_deref__item9, 0))
    13001667          {
    13011668            goto _block2__branch11;
     
    13101677          Expr _v_Free_m_Index2;
    13111678          RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index2);
    1312           Expr _ve_new_m_var ((_c_64 + _v_Free_m_Index2));
     1679          Expr _ve_new_m_var ((_c_75 + _v_Free_m_Index2));
    13131680          RF_CALL (Table::Bind, (Iter_m_Vars, _vt_name, (_ve_new_m_var + _vt_var1 + _vt_var2)), /*void*/);
    13141681          Expr _vs_acc;
     
    13171684          Expr _ge_auxcall28;
    13181685          RF_CALL (Box::_q_, _vs_acc, _ge_auxcall28);
    1319           _ve_java_m_item = (_ve_a + _ge_auxcall28 + (_c_67 + _ve_new_m_var + _c_44 + _ve_n + _c_69 + _ve_min + _c_65) ());
     1686          _ve_java_m_item = (_ve_a + _ge_auxcall28 + (_c_78 + _ve_new_m_var + _c_55 + _ve_n + _c_80 + _ve_min + _c_76) ());
    13201687          goto _block2;
    13211688        }
     
    13311698          }
    13321699          Expr _v_deref__item10 (_vt_item, 0);
    1333           uintptr_t _v_len43 = _v_deref__item10.get_len ();
    1334           uintptr_t _v_len44 = 2;
    1335           if ((_v_len43 < _v_len44))
     1700          uintptr_t _v_len45 = _v_deref__item10.get_len ();
     1701          uintptr_t _v_len46 = 2;
     1702          if ((_v_len45 < _v_len46))
    13361703          {
    13371704            goto _block2__branch12;
    13381705          }
    1339           uintptr_t _v_len__expr = (_v_len43 - _v_len44);
    1340           if (!_c_70.term_eq (_v_deref__item10, 0))
     1706          uintptr_t _v_len__expr = (_v_len45 - _v_len46);
     1707          if (!_c_81.term_eq (_v_deref__item10, 0))
    13411708          {
    13421709            goto _block2__branch12;
     
    13551722                goto _block10__branch1;
    13561723              }
    1357               RF_lsplit (_v__q_2, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_206_m_22, _v_lsplit___q_2);
     1724              RF_lsplit (_v__q_2, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_246_m_22, _v_lsplit___q_2);
    13581725              for ( ; ; RF_iter(_v__q_2)++)
    13591726              {
     
    13631730                    goto _block10__branch1;
    13641731                  }
    1365                   uintptr_t _v_len45 = _v_lsplit___q_2.get_len ();
    1366                   uintptr_t _v_len46 = 1;
    1367                   if ((_v_len45 < _v_len46))
     1732                  uintptr_t _v_len47 = _v_lsplit___q_2.get_len ();
     1733                  uintptr_t _v_len48 = 1;
     1734                  if ((_v_len47 < _v_len48))
    13681735                  {
    13691736                    goto _block10__branch1;
    13701737                  }
    1371                   uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_206_m_30 = (_v_len45 - _v_len46);
     1738                  uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_246_m_30 = (_v_len47 - _v_len48);
    13721739                  if (!_vt_var.term_eq (_v_lsplit___q_2, 0))
    13731740                  {
    13741741                    goto _continue2;
    13751742                  }
    1376                   Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_206_m_30 (_v_lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_206_m_30);
     1743                  Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_246_m_30 (_v_lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_246_m_30);
    13771744                  Expr _ge_auxcall29;
    13781745                  RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall29);
    1379                   _ve_java_m_item = (_ve_a + (_ge_auxcall29 + _c_71 + _ve_j_m_expr + _c_65) ());
     1746                  _ve_java_m_item = (_ve_a + (_ge_auxcall29 + _c_82 + _ve_j_m_expr + _c_76) ());
    13801747                  goto _exit2;
    13811748                }
     
    13921759                goto _block10__branch2;
    13931760              }
    1394               _ve_java_m_item = (_ve_a + (_ge_auxcall30 + _c_71 + _ve_j_m_expr + _c_65) ());
     1761              _ve_java_m_item = (_ve_a + (_ge_auxcall30 + _c_82 + _ve_j_m_expr + _c_76) ());
    13951762              goto _block10;
    13961763            }
     
    13981765            Expr _ge_auxcall31;
    13991766            RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall31);
    1400             _ve_java_m_item = (_ve_a + (_ge_auxcall31 + _c_44 + _ve_j_m_expr + _c_72) ());
     1767            _ve_java_m_item = (_ve_a + (_ge_auxcall31 + _c_55 + _ve_j_m_expr + _c_83) ());
    14011768          }
    14021769        _block10: {}
     
    14181785            goto _block2__branch13;
    14191786          }
    1420           if (!_c_73.term_eq (_v_deref__item11, 0))
     1787          if (!_c_84.term_eq (_v_deref__item11, 0))
    14211788          {
    14221789            goto _block2__branch13;
     
    14361803                goto _block11__branch1;
    14371804              }
    1438               if (!_vs_type.term_eq (_c_25, 0))
     1805              if (!_vs_type.term_eq (_c_35, 0))
    14391806              {
    14401807                goto _block11__branch1;
    14411808              }
    14421809              RF_CALL (Table::Bind, (Result, _vt_var, _ve_j_m_var), /*void*/);
    1443               _ve_java_m_item = (_c_75 + _ve_j_m_var + _c_74) ();
     1810              _ve_java_m_item = (_c_86 + _ve_j_m_var + _c_85) ();
    14441811              goto _block11;
    14451812            }
    14461813          _block11__branch1: {}
    14471814            RF_CALL (Table::Unbind, (Result, _vt_var), /*void*/);
    1448             _ve_java_m_item = (_c_45 + _ve_j_m_var + _c_76) ();
     1815            _ve_java_m_item = (_c_56 + _ve_j_m_var + _c_87) ();
    14491816          }
    14501817        _block11: {}
     
    14621829          }
    14631830          Expr _v_deref__item12 (_vt_item, 0);
    1464           uintptr_t _v_len47 = _v_deref__item12.get_len ();
    1465           uintptr_t _v_len48 = 2;
    1466           if ((_v_len47 < _v_len48))
     1831          uintptr_t _v_len49 = _v_deref__item12.get_len ();
     1832          uintptr_t _v_len50 = 2;
     1833          if ((_v_len49 < _v_len50))
    14671834          {
    14681835            goto _block2__branch14;
    14691836          }
    1470           uintptr_t _v_len__expr2 = (_v_len47 - _v_len48);
     1837          uintptr_t _v_len__expr2 = (_v_len49 - _v_len50);
    14711838          if (!_c_0.term_eq (_v_deref__item12, 0))
    14721839          {
     
    14821849          Expr _ge_auxcall33;
    14831850          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall33);
    1484           _ve_java_m_item = (_ge_auxcall32 + (_c_77 + _ge_auxcall33 + _c_44 + _ve_expr + _c_72) ());
     1851          _ve_java_m_item = (_ge_auxcall32 + (_c_88 + _ge_auxcall33 + _c_55 + _ve_expr + _c_83) ());
    14851852          goto _block2;
    14861853        }
     
    14961863          }
    14971864          Expr _v_deref__item13 (_vt_item, 0);
    1498           uintptr_t _v_len49 = _v_deref__item13.get_len ();
    1499           uintptr_t _v_len50 = 2;
    1500           if ((_v_len49 < _v_len50))
     1865          uintptr_t _v_len51 = _v_deref__item13.get_len ();
     1866          uintptr_t _v_len52 = 2;
     1867          if ((_v_len51 < _v_len52))
    15011868          {
    15021869            goto _block2__branch15;
    15031870          }
    1504           uintptr_t _v_len__expr3 = (_v_len49 - _v_len50);
    1505           if (!_c_78.term_eq (_v_deref__item13, 0))
     1871          uintptr_t _v_len__expr3 = (_v_len51 - _v_len52);
     1872          if (!_c_89.term_eq (_v_deref__item13, 0))
    15061873          {
    15071874            goto _block2__branch15;
     
    15151882          Expr _ge_auxcall34;
    15161883          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall34);
    1517           _ve_java_m_item = (_ve_a + (_c_45 + _ge_auxcall34 + _c_44 + _ve_j_m_expr + _c_72) ());
     1884          _ve_java_m_item = (_ve_a + (_c_56 + _ge_auxcall34 + _c_55 + _ve_j_m_expr + _c_83) ());
    15181885          goto _block2;
    15191886        }
     
    15291896          }
    15301897          Expr _v_deref__item14 (_vt_item, 0);
    1531           uintptr_t _v_len51 = _v_deref__item14.get_len ();
    1532           uintptr_t _v_len52 = 3;
    1533           if ((_v_len51 < _v_len52))
     1898          uintptr_t _v_len53 = _v_deref__item14.get_len ();
     1899          uintptr_t _v_len54 = 3;
     1900          if ((_v_len53 < _v_len54))
    15341901          {
    15351902            goto _block2__branch16;
    15361903          }
    1537           uintptr_t _v_len__expr4 = (_v_len51 - _v_len52);
     1904          uintptr_t _v_len__expr4 = (_v_len53 - _v_len54);
    15381905          if (_v_deref__item14.symbol_at ((0 + 1 + 1 + _v_len__expr4)))
    15391906          {
     
    15411908          }
    15421909          Expr _v_deref__deref__item14 (_v_deref__item14, (0 + 1 + 1 + _v_len__expr4));
    1543           uintptr_t _v_len53 = _v_deref__deref__item14.get_len ();
    1544           uintptr_t _v_len54 = 0;
    1545           if ((_v_len53 < _v_len54))
     1910          uintptr_t _v_len55 = _v_deref__deref__item14.get_len ();
     1911          uintptr_t _v_len56 = 0;
     1912          if ((_v_len55 < _v_len56))
    15461913          {
    15471914            goto _block2__branch16;
    15481915          }
    1549           uintptr_t _v_len__pos = (_v_len53 - _v_len54);
    1550           if (!_c_79.term_eq (_v_deref__item14, 0))
     1916          uintptr_t _v_len__pos = (_v_len55 - _v_len56);
     1917          if (!_c_90.term_eq (_v_deref__item14, 0))
    15511918          {
    15521919            goto _block2__branch16;
     
    15661933          Expr _ge_auxcall36;
    15671934          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall36);
    1568           _ve_java_m_item = (_ve_a + _ge_auxcall35 + (_c_45 + _ge_auxcall36 + _c_81 + _ve_j_m_expr + _c_80 + _ve_pos + _c_65) ());
     1935          _ve_java_m_item = (_ve_a + _ge_auxcall35 + (_c_56 + _ge_auxcall36 + _c_92 + _ve_j_m_expr + _c_91 + _ve_pos + _c_76) ());
    15691936          goto _block2;
    15701937        }
     
    15801947          }
    15811948          Expr _v_deref__item15 (_vt_item, 0);
    1582           uintptr_t _v_len55 = _v_deref__item15.get_len ();
    1583           uintptr_t _v_len56 = 4;
    1584           if ((_v_len55 < _v_len56))
     1949          uintptr_t _v_len57 = _v_deref__item15.get_len ();
     1950          uintptr_t _v_len58 = 4;
     1951          if ((_v_len57 < _v_len58))
    15851952          {
    15861953            goto _block2__branch17;
    15871954          }
    1588           uintptr_t _v_len__expr5 = (_v_len55 - _v_len56);
     1955          uintptr_t _v_len__expr5 = (_v_len57 - _v_len58);
    15891956          if (_v_deref__item15.symbol_at ((0 + 1 + 1 + _v_len__expr5)))
    15901957          {
     
    15971964          Expr _v_deref__deref__item15 (_v_deref__item15, (0 + 1 + 1 + _v_len__expr5));
    15981965          Expr _v_deref__deref__item152 (_v_deref__item15, (0 + 1 + 1 + _v_len__expr5 + 1));
    1599           uintptr_t _v_len57 = _v_deref__deref__item152.get_len ();
    1600           uintptr_t _v_len58 = 0;
    1601           if ((_v_len57 < _v_len58))
    1602           {
    1603             goto _block2__branch17;
    1604           }
    1605           uintptr_t _v_len__len = (_v_len57 - _v_len58);
    1606           uintptr_t _v_len59 = _v_deref__deref__item15.get_len ();
     1966          uintptr_t _v_len59 = _v_deref__deref__item152.get_len ();
    16071967          uintptr_t _v_len60 = 0;
    16081968          if ((_v_len59 < _v_len60))
     
    16101970            goto _block2__branch17;
    16111971          }
    1612           uintptr_t _v_len__pos2 = (_v_len59 - _v_len60);
    1613           if (!_c_82.term_eq (_v_deref__item15, 0))
     1972          uintptr_t _v_len__len = (_v_len59 - _v_len60);
     1973          uintptr_t _v_len61 = _v_deref__deref__item15.get_len ();
     1974          uintptr_t _v_len62 = 0;
     1975          if ((_v_len61 < _v_len62))
     1976          {
     1977            goto _block2__branch17;
     1978          }
     1979          uintptr_t _v_len__pos2 = (_v_len61 - _v_len62);
     1980          if (!_c_93.term_eq (_v_deref__item15, 0))
    16141981          {
    16151982            goto _block2__branch17;
     
    16311998          Expr _ge_auxcall38;
    16321999          RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall38);
    1633           _ve_java_m_item = (_ve_a + _ge_auxcall37 + (_c_45 + _ge_auxcall38 + _c_84 + _ve_j_m_expr + _c_83 + _ve_pos + _c_83 + _ve_len + _c_65) ());
     2000          _ve_java_m_item = (_ve_a + _ge_auxcall37 + (_c_56 + _ge_auxcall38 + _c_95 + _ve_j_m_expr + _c_94 + _ve_pos + _c_94 + _ve_len + _c_76) ());
    16342001          goto _block2;
    16352002        }
     
    16492016            goto _block2__branch18;
    16502017          }
    1651           if (!_c_85.term_eq (_v_deref__item16, 0))
     2018          if (!_c_96.term_eq (_v_deref__item16, 0))
    16522019          {
    16532020            goto _block2__branch18;
     
    16562023          Expr _ge_auxcall39;
    16572024          RF_CALL (Var_m_To_m_JBC, _vt_var, _ge_auxcall39);
    1658           _ve_java_m_item = (_ge_auxcall39 + _c_86) ();
     2025          _ve_java_m_item = (_ge_auxcall39 + _c_97) ();
    16592026          goto _block2;
    16602027        }
     
    16742041            goto _block2__branch19;
    16752042          }
    1676           if (!_c_87.term_eq (_v_deref__item17, 0))
     2043          if (!_c_98.term_eq (_v_deref__item17, 0))
    16772044          {
    16782045            goto _block2__branch19;
     
    16802047          Expr _vt_label (_v_deref__item17, (0 + 1), 1);
    16812048          Expr _ge_auxcall40;
    1682           RF_CALL (JavaMangle::Rfp2Java, (_c_39 + _vt_label) (), _ge_auxcall40);
    1683           _ve_java_m_item = (_c_88 + _ge_auxcall40 + _c_72) ();
     2049          RF_CALL (JavaMangle::Rfp2Java, (_c_50 + _vt_label) (), _ge_auxcall40);
     2050          _ve_java_m_item = (_c_99 + _ge_auxcall40 + _c_83) ();
    16842051          goto _block2;
    16852052        }
     
    16992066            goto _block2__branch20;
    17002067          }
    1701           if (!_c_89.term_eq (_v_deref__item18, 0))
     2068          if (!_c_100.term_eq (_v_deref__item18, 0))
    17022069          {
    17032070            goto _block2__branch20;
     
    17052072          Expr _vt_label (_v_deref__item18, (0 + 1), 1);
    17062073          Expr _ge_auxcall41;
    1707           RF_CALL (JavaMangle::Rfp2Java, (_c_39 + _vt_label) (), _ge_auxcall41);
    1708           _ve_java_m_item = (_c_90 + _ge_auxcall41 + _c_72) ();
     2074          RF_CALL (JavaMangle::Rfp2Java, (_c_50 + _vt_label) (), _ge_auxcall41);
     2075          _ve_java_m_item = (_c_101 + _ge_auxcall41 + _c_83) ();
    17092076          goto _block2;
    17102077        }
     
    17202087          }
    17212088          Expr _v_deref__item19 (_vt_item, 0);
    1722           uintptr_t _v_len61 = _v_deref__item19.get_len ();
    1723           uintptr_t _v_len62 = 1;
    1724           if ((_v_len61 < _v_len62))
     2089          uintptr_t _v_len63 = _v_deref__item19.get_len ();
     2090          uintptr_t _v_len64 = 1;
     2091          if ((_v_len63 < _v_len64))
    17252092          {
    17262093            goto _block2__branch21;
    17272094          }
    1728           uintptr_t _v_len__expr6 = (_v_len61 - _v_len62);
    1729           if (!_c_91.term_eq (_v_deref__item19, 0))
     2095          uintptr_t _v_len__expr6 = (_v_len63 - _v_len64);
     2096          if (!_c_102.term_eq (_v_deref__item19, 0))
    17302097          {
    17312098            goto _block2__branch21;
     
    17352102          Expr _ve_j_m_expr;
    17362103          RF_CALL (Expr_m_Ref_m_To_m_JBC, _ve_expr, (_ve_a, _ve_j_m_expr));
    1737           _ve_java_m_item = (_ve_a + (_c_92 + _ve_j_m_expr + _c_65) ());
     2104          _ve_java_m_item = (_ve_a + (_c_103 + _ve_j_m_expr + _c_76) ());
    17382105          goto _block2;
    17392106        }
     
    17492116          }
    17502117          Expr _v_deref__item20 (_vt_item, 0);
    1751           uintptr_t _v_len63 = _v_deref__item20.get_len ();
    1752           uintptr_t _v_len64 = 4;
    1753           if ((_v_len63 < _v_len64))
     2118          uintptr_t _v_len65 = _v_deref__item20.get_len ();
     2119          uintptr_t _v_len66 = 4;
     2120          if ((_v_len65 < _v_len66))
    17542121          {
    17552122            goto _block2__branch22;
    17562123          }
    1757           uintptr_t _v_len__expr7 = (_v_len63 - _v_len64);
     2124          uintptr_t _v_len__expr7 = (_v_len65 - _v_len66);
    17582125          if (_v_deref__item20.symbol_at ((0 + 1 + 1 + 1)))
    17592126          {
     
    17612128          }
    17622129          Expr _v_deref__deref__item20 (_v_deref__item20, (0 + 1 + 1 + 1));
    1763           uintptr_t _v_len65 = _v_deref__deref__item20.get_len ();
    1764           uintptr_t _v_len66 = 0;
    1765           if ((_v_len65 < _v_len66))
     2130          uintptr_t _v_len67 = _v_deref__deref__item20.get_len ();
     2131          uintptr_t _v_len68 = 0;
     2132          if ((_v_len67 < _v_len68))
    17662133          {
    17672134            goto _block2__branch22;
    17682135          }
    1769           uintptr_t _v_len__comment = (_v_len65 - _v_len66);
    1770           if (!_c_93.term_eq (_v_deref__item20, 0))
     2136          uintptr_t _v_len__comment = (_v_len67 - _v_len68);
     2137          if (!_c_24.term_eq (_v_deref__item20, 0))
    17712138          {
    17722139            goto _block2__branch22;
     
    17922159              }
    17932160              Expr _v_deref__name (_vt_name, 0);
    1794               uintptr_t _v_len67 = _v_deref__name.get_len ();
    1795               uintptr_t _v_len68 = 1;
    1796               if ((_v_len67 < _v_len68))
     2161              uintptr_t _v_len69 = _v_deref__name.get_len ();
     2162              uintptr_t _v_len70 = 1;
     2163              if ((_v_len69 < _v_len70))
    17972164              {
    17982165                goto _block12__branch1;
    17992166              }
    1800               uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_252_m_27 = (_v_len67 - _v_len68);
    1801               if (!_c_94.term_eq (_v_deref__name, 0))
     2167              uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_292_m_27 = (_v_len69 - _v_len70);
     2168              if (!_c_26.term_eq (_v_deref__name, 0))
    18022169              {
    18032170                goto _block12__branch1;
    18042171              }
    1805               Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_252_m_27 (_v_deref__name, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_252_m_27);
     2172              Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_292_m_27 (_v_deref__name, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_292_m_27);
    18062173              RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ve_n);
    18072174              goto _block12;
     
    18142181          Expr _ve_j_m_expr;
    18152182          RF_CALL (Const_m_Expr_m_To_m_JBC, _ve_expr, (_ve_a, _ve_j_m_expr));
    1816           Expr _ge_auxcall42;
    1817           RF_CALL (Access_m_Mode, _vt_name, _ge_auxcall42);
    1818           _ve_java_m_item = (_ve_a + (_c_30 + _ge_auxcall42 + _c_95 + _ve_n + _c_44 + _ve_j_m_expr + _c_72) ());
     2183          Expr _gs_auxcall42;
     2184          RF_CALL (Access_m_Mode, _vt_name, _gs_auxcall42);
     2185          _ve_java_m_item = (_ve_a + (_c_40 + _gs_auxcall42 + _c_104 + _ve_n + _c_55 + _ve_j_m_expr + _c_83) ());
    18192186          goto _block2;
    18202187        }
     
    18342201            goto _block2__branch23;
    18352202          }
    1836           if (!_c_96.term_eq (_v_deref__item21, 0))
     2203          if (!_c_27.term_eq (_v_deref__item21, 0))
    18372204          {
    18382205            goto _block2__branch23;
     
    18512218          Expr _v_To_m_Chars1;
    18522219          RF_CALL (Convert::To_m_Chars, _vs_tag, _v_To_m_Chars1);
    1853           uintptr_t _v_len69 = _v_To_m_Chars1.get_len ();
    1854           uintptr_t _v_len70 = 1;
    1855           if ((_v_len69 < _v_len70))
     2220          uintptr_t _v_len71 = _v_To_m_Chars1.get_len ();
     2221          uintptr_t _v_len72 = 1;
     2222          if ((_v_len71 < _v_len72))
    18562223          {
    18572224            goto _block1__branch1;
    18582225          }
    1859           uintptr_t _v_len__2 = (_v_len69 - _v_len70);
     2226          uintptr_t _v_len__2 = (_v_len71 - _v_len72);
    18602227          if (!_v_To_m_Chars1.symbol_at (0))
    18612228          {
     
    18662233          Expr _v_To_m_Lower1;
    18672234          RF_CALL (Convert::To_m_Lower, _ve_2, _v_To_m_Lower1);
    1868           Expr _ve_class_m_name ((_c_97 + _vs_1 + _v_To_m_Lower1));
    1869           RF_CALL (Table::Bind, (Inputs, (_c_98 + _ve_class_m_name), empty), /*void*/);
     2235          Expr _ve_class_m_name ((_c_28 + _vs_1 + _v_To_m_Lower1));
     2236          RF_CALL (Table::Bind, (Inputs, (_c_29 + _ve_class_m_name), empty), /*void*/);
    18702237          Expr _ve_qualifiers;
    18712238          Expr _ve_n;
    18722239          RF_CALL (rfp__helper::RFP_m_Extract_m_Qualifiers, _vt_name, (_ve_qualifiers, _ve_n));
    1873           Expr _ge_auxcall43;
    1874           RF_CALL (Access_m_Mode, _vt_name, _ge_auxcall43);
     2240          Expr _gs_auxcall43;
     2241          RF_CALL (Access_m_Mode, _vt_name, _gs_auxcall43);
    18752242          Expr _ge_auxcall44;
    18762243          RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall44);
    1877           _ve_java_m_item = (_c_30 + _ge_auxcall43 + _c_95 + _ge_auxcall44 + _c_101 + _ve_class_m_name + _c_100 + _ve_n + _c_99) ();
     2244          _ve_java_m_item = (_c_40 + _gs_auxcall43 + _c_104 + _ge_auxcall44 + _c_107 + _ve_class_m_name + _c_106 + _ve_n + _c_105) ();
    18782245          goto _block2;
    18792246        }
     
    18932260            goto _block2__branch24;
    18942261          }
    1895           if (!_c_102.term_eq (_v_deref__item22, 0))
     2262          if (!_c_30.term_eq (_v_deref__item22, 0))
    18962263          {
    18972264            goto _block2__branch24;
     
    19162283            goto _block2__branch25;
    19172284          }
    1918           if (!_c_103.term_eq (_v_deref__item23, 0))
     2285          if (!_c_31.term_eq (_v_deref__item23, 0))
    19192286          {
    19202287            goto _block2__branch25;
     
    19482315        Expr _v_deref__deref__item24 (_v_deref__item24, (0 + 1 + 1));
    19492316        Expr _v_deref__deref__item242 (_v_deref__item24, (0 + 1 + 1 + 1));
    1950         uintptr_t _v_len71 = _v_deref__deref__item242.get_len ();
    1951         uintptr_t _v_len72 = 0;
    1952         if ((_v_len71 < _v_len72))
    1953         {
    1954           RF_FUNC_ERROR (unexpected_fail);
    1955         }
    1956         uintptr_t _v_len__ress2 = (_v_len71 - _v_len72);
    1957         uintptr_t _v_len73 = _v_deref__deref__item24.get_len ();
     2317        uintptr_t _v_len73 = _v_deref__deref__item242.get_len ();
    19582318        uintptr_t _v_len74 = 0;
    19592319        if ((_v_len73 < _v_len74))
     
    19612321          RF_FUNC_ERROR (unexpected_fail);
    19622322        }
    1963         uintptr_t _v_len__args2 = (_v_len73 - _v_len74);
     2323        uintptr_t _v_len__ress2 = (_v_len73 - _v_len74);
     2324        uintptr_t _v_len75 = _v_deref__deref__item24.get_len ();
     2325        uintptr_t _v_len76 = 0;
     2326        if ((_v_len75 < _v_len76))
     2327        {
     2328          RF_FUNC_ERROR (unexpected_fail);
     2329        }
     2330        uintptr_t _v_len__args2 = (_v_len75 - _v_len76);
    19642331        if (!_v_deref__item24.symbol_at (0))
    19652332        {
     
    19732340        RF_CALL (Declare_m_Results, (_ve_ress, empty), (_ve_decls, _ve_ress));
    19742341        Expr _ve_arrays;
    1975         RF_CALL (Expr_m_Args_m_To_m_JBC, (_ve_args + _c_25 + _ve_ress), (_ve_arrays, _ve_args));
     2342        RF_CALL (Expr_m_Args_m_To_m_JBC, (_ve_args + _c_35 + _ve_ress), (_ve_arrays, _ve_args));
    19762343        Expr _ge_auxcall45;
    19772344        RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall45);
    1978         Expr _ve_c ((_ge_auxcall45 + _c_28 + _ve_args + _c_36));
     2345        Expr _ve_c ((_ge_auxcall45 + _c_38 + _ve_args + _c_18));
    19792346        {
    19802347          {
     
    19832350              goto _block13__branch1;
    19842351            }
    1985             if (!_vs_call.term_eq (_c_104, 0))
     2352            if (!_vs_call.term_eq (_c_108, 0))
    19862353            {
    19872354              goto _block13__branch1;
    19882355            }
    1989             _ve_java_m_item = (_ve_arrays + _ve_decls + (_c_106 + _ve_c + _c_105) ());
     2356            _ve_java_m_item = (_ve_arrays + _ve_decls + (_c_110 + _ve_c + _c_109) ());
    19902357            goto _block13;
    19912358          }
     
    19942361          RF_CALL (Box::_q_, Res_m_Assigns, _ge_auxcall46);
    19952362          RF_CALL (Box::Store, (Res_m_Assigns, empty), /*void*/);
    1996           _ve_java_m_item = (_ve_arrays + _ve_decls + (_ve_c + _c_72) () + _ge_auxcall46);
     2363          _ve_java_m_item = (_ve_arrays + _ve_decls + (_ve_c + _c_83) () + _ge_auxcall46);
    19972364        }
    19982365      _block13: {}
     
    20102377          }
    20112378          Expr _v_deref__java_m_item (_ve_java_m_item, 0);
    2012           uintptr_t _v_len75 = _v_deref__java_m_item.get_len ();
    2013           uintptr_t _v_len76 = 6;
    2014           if ((_v_len75 < _v_len76))
     2379          uintptr_t _v_len77 = _v_deref__java_m_item.get_len ();
     2380          uintptr_t _v_len78 = 6;
     2381          if ((_v_len77 < _v_len78))
    20152382          {
    20162383            goto _block14__branch1;
    20172384          }
    2018           uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_282_m_32 = (_v_len75 - _v_len76);
    2019           if (!_c_90.eq (_v_deref__java_m_item, 0))
     2385          uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_322_m_32 = (_v_len77 - _v_len78);
     2386          if (!_c_101.eq (_v_deref__java_m_item, 0))
    20202387          {
    20212388            goto _block14__branch1;
    20222389          }
    2023           Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_282_m_32 (_v_deref__java_m_item, (0 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_282_m_32);
     2390          Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_322_m_32 (_v_deref__java_m_item, (0 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_322_m_32);
    20242391          _v_res1 = _ve_java_m_item;
    20252392          goto _block14;
     
    20842451            goto _block2__branch2;
    20852452          }
    2086           RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_291_m_18, _v_lsplit___q_1);
     2453          RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_331_m_18, _v_lsplit___q_1);
    20872454          for ( ; ; RF_iter(_v__q_1)++)
    20882455          {
     
    20982465                goto _block2__branch2;
    20992466              }
    2100               uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_291_m_26 = (_v_len5 - _v_len6);
     2467              uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_331_m_26 = (_v_len5 - _v_len6);
    21012468              if (!_vt_var.term_eq (_v_lsplit___q_1, 0))
    21022469              {
    21032470                goto _continue1;
    21042471              }
    2105               Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_291_m_26 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_291_m_26);
     2472              Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_331_m_26 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_331_m_26);
    21062473              Expr _ge_auxcall2;
    21072474              RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall2);
     
    21172484        Expr _v_Free_m_Index1;
    21182485        RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
    2119         Expr _ve_new_m_var ((_c_64 + _v_Free_m_Index1));
     2486        Expr _ve_new_m_var ((_c_75 + _v_Free_m_Index1));
    21202487        Expr _ge_auxcall3;
    21212488        RF_CALL (JavaMangle::Rfp2Java, _vt_var, _ge_auxcall3);
    2122         RF_CALL (Box::Put, (Res_m_Assigns, (_ge_auxcall3 + _c_44 + _ve_new_m_var + _c_107) ()), /*void*/);
     2489        RF_CALL (Box::Put, (Res_m_Assigns, (_ge_auxcall3 + _c_55 + _ve_new_m_var + _c_111) ()), /*void*/);
    21232490        Expr _v_Declare_m_Results1;
    21242491        RF_CALL (Declare_m_Results, (_ve_r, (_ve_ress + _ve_new_m_var ())), (_v_Declare_m_Results1, _v_res2));
    2125         _v_res1 = ((_c_75 + _ve_new_m_var + _c_74) () + _v_Declare_m_Results1);
     2492        _v_res1 = ((_c_86 + _ve_new_m_var + _c_85) () + _v_Declare_m_Results1);
    21262493      }
    21272494    _block2: {}
     
    21372504    uintptr_t _v_len__ress2 = (_v_len7 - _v_len8);
    21382505    Expr _v_compose2 ((_ge_arg1 () + _ge_arg2));
    2139     if (!_c_14.term_eq (_v_compose2, 0))
     2506    if (!_c_43.term_eq (_v_compose2, 0))
    21402507    {
    21412508      RF_FUNC_ERROR (unexpected_fail);
     
    21792546      }
    21802547      uintptr_t _v_len__expr = (_v_len3 - _v_len4);
    2181       if (!_c_108.term_eq (_v_deref__expr_m_all, 0))
     2548      if (!_c_112.term_eq (_v_deref__expr_m_all, 0))
    21822549      {
    21832550        goto _block1__branch2;
     
    22092576      }
    22102577      uintptr_t _v_len__expr2 = (_v_len7 - _v_len8);
    2211       if (!_c_78.term_eq (_v_deref__expr_m_all2, 0))
     2578      if (!_c_89.term_eq (_v_deref__expr_m_all2, 0))
    22122579      {
    22132580        goto _block1__branch3;
     
    22392606      }
    22402607      uintptr_t _v_len__expr3 = (_v_len11 - _v_len12);
    2241       if (!_c_79.term_eq (_v_deref__expr_m_all3, 0))
     2608      if (!_c_90.term_eq (_v_deref__expr_m_all3, 0))
    22422609      {
    22432610        goto _block1__branch4;
     
    22692636      }
    22702637      uintptr_t _v_len__expr4 = (_v_len15 - _v_len16);
    2271       if (!_c_82.term_eq (_v_deref__expr_m_all4, 0))
     2638      if (!_c_93.term_eq (_v_deref__expr_m_all4, 0))
    22722639      {
    22732640        goto _block1__branch5;
     
    22992666      }
    23002667      uintptr_t _v_len__expr5 = (_v_len19 - _v_len20);
    2301       if (!_c_109.term_eq (_v_deref__expr_m_all5, 0))
     2668      if (!_c_113.term_eq (_v_deref__expr_m_all5, 0))
    23022669      {
    23032670        goto _block1__branch6;
     
    23062673      Expr _ve_expr (_v_deref__expr_m_all5, (0 + 1), _v_len__expr5);
    23072674      Expr _ge_auxcall1;
    2308       RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_110, (_ve_init + _ve_expr_m_all)), _ge_auxcall1);
     2675      RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_114, (_ve_init + _ve_expr_m_all)), _ge_auxcall1);
    23092676      _v_res1 = empty;
    23102677      _v_res2 = _ge_auxcall1;
     
    23322699      }
    23332700      uintptr_t _v_len__args = (_v_len23 - _v_len24);
    2334       if (!_c_111.term_eq (_v_deref__expr_m_all6, 0))
     2701      if (!_c_115.term_eq (_v_deref__expr_m_all6, 0))
    23352702      {
    23362703        goto _block1__branch7;
     
    23392706      Expr _ve_args (_v_deref__expr_m_all6, (0 + 1), _v_len__args);
    23402707      Expr _ge_auxcall2;
    2341       RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_110, (_ve_init + _ve_expr_m_all)), _ge_auxcall2);
     2708      RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_114, (_ve_init + _ve_expr_m_all)), _ge_auxcall2);
    23422709      _v_res1 = empty;
    23432710      _v_res2 = _ge_auxcall2;
     
    23652732      }
    23662733      uintptr_t _v_len__args2 = (_v_len27 - _v_len28);
    2367       if (!_c_112.term_eq (_v_deref__expr_m_all7, 0))
     2734      if (!_c_116.term_eq (_v_deref__expr_m_all7, 0))
    23682735      {
    23692736        goto _block1__branch8;
     
    23722739      Expr _ve_args (_v_deref__expr_m_all7, (0 + 1), _v_len__args2);
    23732740      Expr _ge_auxcall3;
    2374       RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_110, (_ve_init + _ve_expr_m_all)), _ge_auxcall3);
     2741      RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_114, (_ve_init + _ve_expr_m_all)), _ge_auxcall3);
    23752742      _v_res1 = empty;
    23762743      _v_res2 = _ge_auxcall3;
     
    23982765      }
    23992766      uintptr_t _v_len__args3 = (_v_len31 - _v_len32);
    2400       if (!_c_113.term_eq (_v_deref__expr_m_all8, 0))
     2767      if (!_c_117.term_eq (_v_deref__expr_m_all8, 0))
    24012768      {
    24022769        goto _block1__branch9;
     
    24102777      Expr _ve_args (_v_deref__expr_m_all8, (0 + 1 + 1), _v_len__args3);
    24112778      Expr _ge_auxcall4;
    2412       RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_110, (_ve_init + _ve_expr_m_all)), _ge_auxcall4);
     2779      RF_CALL (Expr_m_Int_m_To_m_JBC, (_c_114, (_ve_init + _ve_expr_m_all)), _ge_auxcall4);
    24132780      _v_res1 = empty;
    24142781      _v_res2 = _ge_auxcall4;
     
    24642831      }
    24652832      _v_res1 = empty;
    2466       _v_res2 = _c_114;
     2833      _v_res2 = _c_118;
    24672834      goto _block1;
    24682835    }
     
    25012868      RF_CALL (Box::_q_, _vs_acc, _ge_auxcall2);
    25022869      _v_res1 = _ge_auxcall2;
    2503       _v_res2 = (_c_115 + _ve_t1 + _c_83 + _ve_t2 + _c_36);
     2870      _v_res2 = (_c_119 + _ve_t1 + _c_94 + _ve_t2 + _c_18);
    25042871      goto _block1;
    25052872    }
     
    25072874    Expr _v_Free_m_Index1;
    25082875    RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
    2509     Expr _ve_new_m_var ((_c_64 + _v_Free_m_Index1));
     2876    Expr _ve_new_m_var ((_c_75 + _v_Free_m_Index1));
    25102877    Expr _vs_acc;
    25112878    RF_CALL (Box::Box, empty, _vs_acc);
     
    25132880    RF_CALL (List::Paren, _ge_arg1, _ge_auxcall3);
    25142881    Expr _ve_arr_m_init;
    2515     RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_116, _c_117, _ge_auxcall3), _ve_arr_m_init);
     2882    RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_120, _c_121, _ge_auxcall3), _ve_arr_m_init);
    25162883    Expr _ge_auxcall4;
    25172884    RF_CALL (Box::_q_, _vs_acc, _ge_auxcall4);
    2518     _v_res1 = (_ge_auxcall4 + (_c_120 + _ve_new_m_var + _c_119 + _ve_arr_m_init + _c_118) ());
    2519     _v_res2 = (_c_121 + _ve_new_m_var + _c_36);
     2885    _v_res1 = (_ge_auxcall4 + (_c_124 + _ve_new_m_var + _c_123 + _ve_arr_m_init + _c_122) ());
     2886    _v_res2 = (_c_125 + _ve_new_m_var + _c_18);
    25202887  }
    25212888_block1: {}
     
    25412908      }
    25422909      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
    2543       if (!_c_108.term_eq (_v_deref__erm, 0))
     2910      if (!_c_112.term_eq (_v_deref__erm, 0))
    25442911      {
    25452912        goto _block1__branch1;
     
    25502917      RF_CALL (Expr_m_Ref_m_To_m_JBC, _ve_expr, (_ve_a, _ve_j_m_expr));
    25512918      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
    2552       _v_res1 = (_c_122 + _ve_j_m_expr + _c_36);
     2919      _v_res1 = (_c_126 + _ve_j_m_expr + _c_18);
    25532920      goto _block1;
    25542921    }
     
    25832950      }
    25842951      uintptr_t _v_len__pos = (_v_len5 - _v_len6);
    2585       if (!_c_79.term_eq (_v_deref__erm2, 0))
     2952      if (!_c_90.term_eq (_v_deref__erm2, 0))
    25862953      {
    25872954        goto _block1__branch2;
     
    25942961      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
    25952962      RF_CALL (Expr_m_Int_m_To_m_JBC, (_vs_acc, _ve_pos), _ve_pos);
    2596       _v_res1 = (_c_123 + _ve_j_m_expr + _c_80 + _ve_pos + _c_36);
     2963      _v_res1 = (_c_127 + _ve_j_m_expr + _c_91 + _ve_pos + _c_18);
    25972964      goto _block1;
    25982965    }
     
    26393006      }
    26403007      uintptr_t _v_len__pos2 = (_v_len11 - _v_len12);
    2641       if (!_c_82.term_eq (_v_deref__erm3, 0))
     3008      if (!_c_93.term_eq (_v_deref__erm3, 0))
    26423009      {
    26433010        goto _block1__branch3;
     
    26523019      RF_CALL (Expr_m_Int_m_To_m_JBC, (_vs_acc, _ve_pos), _ve_pos);
    26533020      RF_CALL (Expr_m_Int_m_To_m_JBC, (_vs_acc, _ve_len), _ve_len);
    2654       _v_res1 = (_c_115 + _ve_j_m_expr + _c_83 + _ve_pos + _c_83 + _ve_len + _c_36);
     3021      _v_res1 = (_c_119 + _ve_j_m_expr + _c_94 + _ve_pos + _c_94 + _ve_len + _c_18);
    26553022      goto _block1;
    26563023    }
     
    26703037        goto _block1__branch4;
    26713038      }
    2672       if (!_c_124.term_eq (_v_deref__erm4, 0))
     3039      if (!_c_128.term_eq (_v_deref__erm4, 0))
    26733040      {
    26743041        goto _block1__branch4;
     
    26843051        goto _block1__branch5;
    26853052      }
    2686       if (!_vt_erm.term_eq (_c_125, 0))
     3053      if (!_vt_erm.term_eq (_c_129, 0))
    26873054      {
    26883055        goto _block1__branch5;
    26893056      }
    2690       _v_res1 = _c_126;
     3057      _v_res1 = _c_130;
    26913058      goto _block1;
    26923059    }
     
    27423109        }
    27433110      _block2__branch1: {}
    2744         RF_ERROR ((_c_127 + _vs_ObjectSymbol) ());
     3111        RF_ERROR ((_c_131 + _vs_ObjectSymbol) ());
    27453112      }
    27463113    _block2: {}
     
    27653132      }
    27663133      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
    2767       if (!_c_109.term_eq (_v_deref__xpr, 0))
     3134      if (!_c_113.term_eq (_v_deref__xpr, 0))
    27683135      {
    27693136        goto _block1__branch2;
     
    27743141      RF_CALL (Expr_m_Ref_m_To_m_JBC, _ve_expr, (_ve_a, _ve_j_m_expr));
    27753142      RF_CALL (Box::Put, (_vs_acc, _ve_a), /*void*/);
    2776       _v_res1 = (_ve_j_m_expr + _c_128);
     3143      _v_res1 = (_ve_j_m_expr + _c_132);
    27773144      goto _block1;
    27783145    }
     
    27953162      }
    27963163      uintptr_t _v_len__args = (_v_len3 - _v_len4);
    2797       if (!_c_111.term_eq (_v_deref__xpr2, 0))
     3164      if (!_c_115.term_eq (_v_deref__xpr2, 0))
    27983165      {
    27993166        goto _block1__branch3;
     
    28023169      Expr _ge_auxcall1;
    28033170      RF_CALL (Int_m_Args_m_To_m_JBC, (_vs_acc, _ve_args), _ge_auxcall1);
    2804       _v_res1 = (_c_129 + _ge_auxcall1 + _c_36);
     3171      _v_res1 = (_c_133 + _ge_auxcall1 + _c_18);
    28053172      goto _block1;
    28063173    }
     
    28233190      }
    28243191      uintptr_t _v_len__args2 = (_v_len5 - _v_len6);
    2825       if (!_c_112.term_eq (_v_deref__xpr3, 0))
     3192      if (!_c_116.term_eq (_v_deref__xpr3, 0))
    28263193      {
    28273194        goto _block1__branch4;
     
    28303197      Expr _ge_auxcall2;
    28313198      RF_CALL (Int_m_Args_m_To_m_JBC, (_vs_acc, _ve_args), _ge_auxcall2);
    2832       _v_res1 = (_c_130 + _ge_auxcall2 + _c_36);
     3199      _v_res1 = (_c_134 + _ge_auxcall2 + _c_18);
    28333200      goto _block1;
    28343201    }
     
    28513218      }
    28523219      uintptr_t _v_len__args3 = (_v_len7 - _v_len8);
    2853       if (!_c_113.term_eq (_v_deref__xpr4, 0))
     3220      if (!_c_117.term_eq (_v_deref__xpr4, 0))
    28543221      {
    28553222        goto _block1__branch5;
     
    28623229      Expr _ve_args (_v_deref__xpr4, (0 + 1 + 1), _v_len__args3);
    28633230      Expr _ge_auxcall3;
    2864       RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_131, _vs_op, _ve_args), _ge_auxcall3);
    2865       _v_res1 = (_c_132 + _ge_auxcall3 + _c_36);
     3231      RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_135, _vs_op, _ve_args), _ge_auxcall3);
     3232      _v_res1 = (_c_19 + _ge_auxcall3 + _c_18);
    28663233      goto _block1;
    28673234    }
     
    29023269    RF_CALL (List::Paren, _ve_xpr, _ge_auxcall4);
    29033270    Expr _ge_auxcall5;
    2904     RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_131, _c_133, _ge_auxcall4), _ge_auxcall5);
    2905     _v_res1 = (_c_132 + _ge_auxcall5 + _c_36);
     3271    RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_135, _c_136, _ge_auxcall4), _ge_auxcall5);
     3272    _v_res1 = (_c_19 + _ge_auxcall5 + _c_18);
    29063273  }
    29073274_block1: {}
     
    29573324      }
    29583325      uintptr_t _v_len__args = (_v_len3 - _v_len4);
    2959       if (!_c_34.term_eq (_v_deref__xpr, 0))
     3326      if (!_c_46.term_eq (_v_deref__xpr, 0))
    29603327      {
    29613328        goto _block1__branch2;
     
    29673334      RF_CALL (Declare_m_Results, (_ve_ress, empty), (_ve_decls, _ve_ress));
    29683335      Expr _ve_arrays;
    2969       RF_CALL (Expr_m_Args_m_To_m_JBC, (_ve_args + _c_25 + _ve_ress), (_ve_arrays, _ve_args));
     3336      RF_CALL (Expr_m_Args_m_To_m_JBC, (_ve_args + _c_35 + _ve_ress), (_ve_arrays, _ve_args));
    29703337      RF_CALL (Box::Put, (_vs_acc, (_ve_arrays + _ve_decls)), /*void*/);
    29713338      Expr _ge_auxcall1;
    29723339      RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall1);
    2973       _v_res1 = (_ge_auxcall1 + _c_28 + _ve_args + _c_36);
     3340      _v_res1 = (_ge_auxcall1 + _c_38 + _ve_args + _c_18);
    29743341      goto _block1;
    29753342    }
     
    30043371      }
    30053372      uintptr_t _v_len__pos = (_v_len7 - _v_len8);
    3006       if (!_c_134.term_eq (_v_deref__xpr2, 0))
     3373      if (!_c_137.term_eq (_v_deref__xpr2, 0))
    30073374      {
    30083375        goto _block1__branch3;
     
    30163383      Expr _ge_auxcall2;
    30173384      RF_CALL (Expr_m_Int_m_To_m_JBC, (_vs_acc, _ve_pos), _ge_auxcall2);
    3018       _v_res1 = (_ve_j_m_expr + _c_135 + _ge_auxcall2 + _c_36);
     3385      _v_res1 = (_ve_j_m_expr + _c_138 + _ge_auxcall2 + _c_18);
    30193386      goto _block1;
    30203387    }
     
    30373404      }
    30383405      uintptr_t _v_len__expr2 = (_v_len9 - _v_len10);
    3039       if (!_c_136.term_eq (_v_deref__xpr3, 0))
     3406      if (!_c_139.term_eq (_v_deref__xpr3, 0))
    30403407      {
    30413408        goto _block1__branch4;
     
    30483415      }
    30493416      Expr _ge_auxcall4;
    3050       if (!RF_CALL (Access::Middle, (_c_137, _c_6, _ge_auxcall3), _ge_auxcall4))
     3417      if (!RF_CALL (Access::Middle, (_c_140, _c_7, _ge_auxcall3), _ge_auxcall4))
    30513418      {
    30523419        RF_FUNC_ERROR (unexpected_fail);
    30533420      }
    3054       _v_res1 = (_ge_auxcall4 + _c_138);
     3421      _v_res1 = (_ge_auxcall4 + _c_141);
    30553422      goto _block1;
    30563423    }
     
    30973464      }
    30983465      uintptr_t _v_len__expr22 = (_v_len15 - _v_len16);
    3099       if (!_c_139.term_eq (_v_deref__xpr4, 0))
     3466      if (!_c_142.term_eq (_v_deref__xpr4, 0))
    31003467      {
    31013468        goto _block1__branch5;
     
    31133480      Expr _ge_auxcall5;
    31143481      RF_CALL (Expr_m_Int_m_To_m_JBC, (_vs_acc, _ve_pos), _ge_auxcall5);
    3115       _v_res1 = (_ve_j_m_expr1 + _c_140 + _ve_j_m_expr2 + _c_83 + _ge_auxcall5 + _c_36);
     3482      _v_res1 = (_ve_j_m_expr1 + _c_143 + _ve_j_m_expr2 + _c_94 + _ge_auxcall5 + _c_18);
    31163483      goto _block1;
    31173484    }
     
    31583525      }
    31593526      uintptr_t _v_len__expr23 = (_v_len21 - _v_len22);
    3160       if (!_c_141.term_eq (_v_deref__xpr5, 0))
     3527      if (!_c_144.term_eq (_v_deref__xpr5, 0))
    31613528      {
    31623529        goto _block1__branch6;
     
    31743541      Expr _ge_auxcall6;
    31753542      RF_CALL (Expr_m_Int_m_To_m_JBC, (_vs_acc, _ve_pos), _ge_auxcall6);
    3176       _v_res1 = (_ve_j_m_expr1 + _c_140 + _ve_j_m_expr2 + _c_83 + _ge_auxcall6 + _c_36);
     3543      _v_res1 = (_ve_j_m_expr1 + _c_143 + _ve_j_m_expr2 + _c_94 + _ge_auxcall6 + _c_18);
    31773544      goto _block1;
    31783545    }
     
    31953562      }
    31963563      uintptr_t _v_len__cond = (_v_len23 - _v_len24);
    3197       if (!_c_35.term_eq (_v_deref__xpr6, 0))
     3564      if (!_c_47.term_eq (_v_deref__xpr6, 0))
    31983565      {
    31993566        goto _block1__branch7;
     
    32023569      Expr _v_Cond_m_To_m_JBC1;
    32033570      RF_CALL (Cond_m_To_m_JBC, (_vs_acc, _ve_cond), _v_Cond_m_To_m_JBC1);
    3204       _v_res1 = (_c_142 + _v_Cond_m_To_m_JBC1);
     3571      _v_res1 = (_c_145 + _v_Cond_m_To_m_JBC1);
    32053572      goto _block1;
    32063573    }
     
    32233590      }
    32243591      uintptr_t _v_len__args2 = (_v_len25 - _v_len26);
    3225       if (!_c_113.term_eq (_v_deref__xpr7, 0))
     3592      if (!_c_117.term_eq (_v_deref__xpr7, 0))
    32263593      {
    32273594        goto _block1__branch8;
     
    32413608                goto _block3__branch1;
    32423609              }
    3243               if (!_vs_op.term_eq (_c_133, 0))
     3610              if (!_vs_op.term_eq (_c_136, 0))
    32443611              {
    32453612                goto _block3__branch1;
     
    32533620                goto _block3__branch2;
    32543621              }
    3255               if (!_vs_op.term_eq (_c_143, 0))
     3622              if (!_vs_op.term_eq (_c_146, 0))
    32563623              {
    32573624                goto _block3__branch2;
     
    32653632                goto _block3__branch3;
    32663633              }
    3267               if (!_vs_op.term_eq (_c_144, 0))
     3634              if (!_vs_op.term_eq (_c_147, 0))
    32683635              {
    32693636                goto _block3__branch3;
     
    32773644                goto _block3__branch4;
    32783645              }
    3279               if (!_vs_op.term_eq (_c_145, 0))
     3646              if (!_vs_op.term_eq (_c_148, 0))
    32803647              {
    32813648                goto _block3__branch4;
     
    32883655              goto _block2__branch1;
    32893656            }
    3290             if (!_vs_op.term_eq (_c_146, 0))
     3657            if (!_vs_op.term_eq (_c_149, 0))
    32913658            {
    32923659              goto _block2__branch1;
     
    32953662        _block3: {}
    32963663          Expr _ge_auxcall7;
    3297           RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_131, _vs_op, _ve_args), _ge_auxcall7);
    3298           _v_res1 = (_ge_auxcall7 + _c_147);
     3664          RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_135, _vs_op, _ve_args), _ge_auxcall7);
     3665          _v_res1 = (_ge_auxcall7 + _c_150);
    32993666          goto _block2;
    33003667        }
     
    33043671        Expr _ge_auxcall9;
    33053672        RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _gs_auxcall8, _vs_op, _ve_args), _ge_auxcall9);
    3306         _v_res1 = (_c_132 + _ge_auxcall9 + _c_36);
     3673        _v_res1 = (_c_19 + _ge_auxcall9 + _c_18);
    33073674      }
    33083675    _block2: {}
     
    33213688    RF_CALL (List::Paren, _ve_xpr, _ge_auxcall10);
    33223689    Expr _ge_auxcall11;
    3323     RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_148, _c_149, _ge_auxcall10), _ge_auxcall11);
    3324     _v_res1 = (_c_132 + _ge_auxcall11 + _c_36);
     3690    RF_CALL (Infix_m_To_m_JBC, (_vs_acc, _c_151, _c_152, _ge_auxcall10), _ge_auxcall11);
     3691    _v_res1 = (_c_19 + _ge_auxcall11 + _c_18);
    33253692  }
    33263693_block1: {}
     
    33643731            goto _block2__branch1;
    33653732          }
    3366           uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_423_m_28 = (_v_len5 - _v_len6);
     3733          uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_463_m_28 = (_v_len5 - _v_len6);
    33673734          uintptr_t _v_len7 = _ve_arg.get_len ();
    33683735          uintptr_t _v_len8 = 0;
     
    33713738            goto _block2__branch1;
    33723739          }
    3373           uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_423_m_16 = (_v_len7 - _v_len8);
    3374           Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_423_m_16 (_ve_arg, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_423_m_16);
    3375           Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_423_m_28 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_423_m_28);
    3376           _v_res1 = (_ve_arg + _c_29 + _vs_op + _c_29 + _ve_rest);
     3740          uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_463_m_16 = (_v_len7 - _v_len8);
     3741          Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_463_m_16 (_ve_arg, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_463_m_16);
     3742          Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_463_m_28 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_463_m_28);
     3743          _v_res1 = (_ve_arg + _c_39 + _vs_op + _c_39 + _ve_rest);
    33773744          goto _block2;
    33783745        }
     
    33983765            goto _block2__branch1;
    33993766          }
    3400           if (!_vs_op.term_eq (_c_149, 0))
     3767          if (!_vs_op.term_eq (_c_152, 0))
    34013768          {
    34023769            goto _block2__branch1;
     
    34093776          goto _block1__branch1;
    34103777        }
    3411         if (!_vs_op.term_eq (_c_150, 0))
     3778        if (!_vs_op.term_eq (_c_153, 0))
    34123779        {
    34133780          goto _block1__branch1;
     
    34153782      }
    34163783    _block2: {}
    3417       _v_res1 = _c_148;
     3784      _v_res1 = _c_151;
    34183785      goto _block1;
    34193786    }
     
    34253792          goto _block3__branch1;
    34263793        }
    3427         if (!_vs_op.term_eq (_c_151, 0))
     3794        if (!_vs_op.term_eq (_c_154, 0))
    34283795        {
    34293796          goto _block3__branch1;
     
    34373804          goto _block3__branch2;
    34383805        }
    3439         if (!_vs_op.term_eq (_c_152, 0))
     3806        if (!_vs_op.term_eq (_c_155, 0))
    34403807        {
    34413808          goto _block3__branch2;
     
    34493816          goto _block3__branch3;
    34503817        }
    3451         if (!_vs_op.term_eq (_c_153, 0))
     3818        if (!_vs_op.term_eq (_c_156, 0))
    34523819        {
    34533820          goto _block3__branch3;
     
    34613828          goto _block3__branch4;
    34623829        }
    3463         if (!_vs_op.term_eq (_c_154, 0))
     3830        if (!_vs_op.term_eq (_c_157, 0))
    34643831        {
    34653832          goto _block3__branch4;
     
    34733840          goto _block3__branch5;
    34743841        }
    3475         if (!_vs_op.term_eq (_c_155, 0))
     3842        if (!_vs_op.term_eq (_c_158, 0))
    34763843        {
    34773844          goto _block3__branch5;
     
    34853852          goto _block3__branch6;
    34863853        }
    3487         if (!_vs_op.term_eq (_c_156, 0))
     3854        if (!_vs_op.term_eq (_c_159, 0))
    34883855        {
    34893856          goto _block3__branch6;
     
    34973864          goto _block3__branch7;
    34983865        }
    3499         if (!_vs_op.term_eq (_c_133, 0))
     3866        if (!_vs_op.term_eq (_c_136, 0))
    35003867        {
    35013868          goto _block3__branch7;
     
    35093876          goto _block3__branch8;
    35103877        }
    3511         if (!_vs_op.term_eq (_c_143, 0))
     3878        if (!_vs_op.term_eq (_c_146, 0))
    35123879        {
    35133880          goto _block3__branch8;
     
    35213888          goto _block3__branch9;
    35223889        }
    3523         if (!_vs_op.term_eq (_c_144, 0))
     3890        if (!_vs_op.term_eq (_c_147, 0))
    35243891        {
    35253892          goto _block3__branch9;
     
    35333900          goto _block3__branch10;
    35343901        }
    3535         if (!_vs_op.term_eq (_c_145, 0))
     3902        if (!_vs_op.term_eq (_c_148, 0))
    35363903        {
    35373904          goto _block3__branch10;
     
    35443911        RF_FUNC_ERROR (unexpected_fail);
    35453912      }
    3546       if (!_vs_op.term_eq (_c_146, 0))
     3913      if (!_vs_op.term_eq (_c_149, 0))
    35473914      {
    35483915        RF_FUNC_ERROR (unexpected_fail);
     
    35503917    }
    35513918  _block3: {}
    3552     _v_res1 = _c_131;
     3919    _v_res1 = _c_135;
    35533920  }
    35543921_block1: {}
     
    35833950      }
    35843951      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
    3585       if (!_c_41.term_eq (_v_deref__arg1, 0))
     3952      if (!_c_52.term_eq (_v_deref__arg1, 0))
    35863953      {
    35873954        goto _block1__branch2;
     
    35943961      }
    35953962      Expr _ge_auxcall2;
    3596       if (!RF_CALL (Access::Middle, (_c_137, _c_6, _ge_auxcall1), _ge_auxcall2))
     3963      if (!RF_CALL (Access::Middle, (_c_140, _c_7, _ge_auxcall1), _ge_auxcall2))
    35973964      {
    35983965        RF_FUNC_ERROR (unexpected_fail);
    35993966      }
    3600       _v_res1 = (_ge_auxcall2 + _c_157);
     3967      _v_res1 = (_ge_auxcall2 + _c_160);
    36013968      goto _block1;
    36023969    }
     
    36183985    }
    36193986    uintptr_t _v_len__expr2 = (_v_len3 - _v_len4);
    3620     if (!_c_42.term_eq (_v_deref__arg12, 0))
     3987    if (!_c_53.term_eq (_v_deref__arg12, 0))
    36213988    {
    36223989      RF_FUNC_ERROR (unexpected_fail);
     
    36293996    }
    36303997    Expr _ge_auxcall4;
    3631     if (!RF_CALL (Access::Middle, (_c_137, _c_6, _ge_auxcall3), _ge_auxcall4))
     3998    if (!RF_CALL (Access::Middle, (_c_140, _c_7, _ge_auxcall3), _ge_auxcall4))
    36323999    {
    36334000      RF_FUNC_ERROR (unexpected_fail);
    36344001    }
    3635     _v_res1 = (_ge_auxcall4 + _c_158);
     4002    _v_res1 = (_ge_auxcall4 + _c_161);
    36364003  }
    36374004_block1: {}
     
    36464013      }
    36474014      _v_res1 = empty;
    3648       _v_res2 = _c_114;
     4015      _v_res2 = _c_118;
    36494016      goto _block1;
    36504017    }
     
    36644031        goto _block1__branch2;
    36654032      }
    3666       if (!_c_82.term_eq (_v_deref__arg1, 0))
     4033      if (!_c_93.term_eq (_v_deref__arg1, 0))
    36674034      {
    36684035        goto _block1__branch2;
     
    36824049      RF_CALL (JavaMangle::Rfp2Java, _vt_name, _ge_auxcall1);
    36834050      _v_res1 = empty;
    3684       _v_res2 = (_c_115 + _ge_auxcall1 + _c_83 + _vs_pos + _c_83 + _vs_len + _c_36);
     4051      _v_res2 = (_c_119 + _ge_auxcall1 + _c_94 + _vs_pos + _c_94 + _vs_len + _c_18);
    36854052      goto _block1;
    36864053    }
     
    37734140        Expr _ve_2 (_v_deref__compose23, 0, _v_len__2);
    37744141        _v_res1 = _ve_arrays;
    3775         _v_res2 = (_c_115 + _ve_1 + _c_83 + _ve_2 + _c_36);
     4142        _v_res2 = (_c_119 + _ve_1 + _c_94 + _ve_2 + _c_18);
    37764143        goto _block2;
    37774144      }
     
    38014168      Expr _v_Free_m_Index1;
    38024169      RF_CALL (Free_m_Index, /*void*/, _v_Free_m_Index1);
    3803       Expr _ve_new_m_var ((_c_64 + _v_Free_m_Index1));
     4170      Expr _ve_new_m_var ((_c_75 + _v_Free_m_Index1));
    38044171      Expr _ge_auxcall2;
    3805       RF_CALL (List::Intersperse, (_c_83, _ve_concat), _ge_auxcall2);
     4172      RF_CALL (List::Intersperse, (_c_94, _ve_concat), _ge_auxcall2);
    38064173      Expr _ge_auxcall3;
    38074174      RF_CALL (List::Concat, _ge_auxcall2, _ge_auxcall3);
    3808       _v_res1 = (_ve_arrays + (_c_159 + _ve_new_m_var + _c_119 + _ge_auxcall3 + _c_118) ());
    3809       _v_res2 = (_c_121 + _ve_new_m_var + _c_36);
     4175      _v_res1 = (_ve_arrays + (_c_162 + _ve_new_m_var + _c_123 + _ge_auxcall3 + _c_122) ());
     4176      _v_res2 = (_c_125 + _ve_new_m_var + _c_18);
    38104177    }
    38114178  _block2: {}
     
    38474214        goto _block1__branch2;
    38484215      }
    3849       uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_464_m_14 = (_v_len3 - _v_len4);
    3850       Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_464_m_14 (_ve_accum, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_464_m_14);
     4216      uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_504_m_14 = (_v_len3 - _v_len4);
     4217      Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_504_m_14 (_ve_accum, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_504_m_14);
    38514218      Expr _ve_arrays;
    38524219      Expr _ve_j_m_expr;
    38534220      RF_CALL (Const_m_Expr_m_Aux, (empty, _ve_expr), (_ve_arrays, _ve_j_m_expr));
    38544221      _v_res1 = _ve_arrays;
    3855       _v_res2 = ((_c_161 + _ve_accum + _c_160) () + _ve_j_m_expr);
     4222      _v_res2 = ((_c_164 + _ve_accum + _c_163) () + _ve_j_m_expr);
    38564223      goto _block1;
    38574224    }
     
    38874254          }
    38884255          uintptr_t _v_len__paren_m_expr = (_v_len7 - _v_len8);
    3889           if (!_c_108.term_eq (_v_deref__item, 0))
     4256          if (!_c_112.term_eq (_v_deref__item, 0))
    38904257          {
    38914258            goto _block2__branch1;
     
    38964263          RF_CALL (Const_m_Expr_m_To_m_JBC, _ve_paren_m_expr, (_ge_arrays__4, _ve_j_m_expr));
    38974264          _ve_arrays = _ge_arrays__4;
    3898           _ve_java_m_item = (_c_115 + _ve_j_m_expr + _c_36) ();
     4265          _ve_java_m_item = (_c_119 + _ve_j_m_expr + _c_18) ();
    38994266          goto _block2;
    39004267        }
     
    39144281            goto _block2__branch2;
    39154282          }
    3916           if (!_c_124.term_eq (_v_deref__item2, 0))
     4283          if (!_c_128.term_eq (_v_deref__item2, 0))
    39174284          {
    39184285            goto _block2__branch2;
     
    39424309            goto _block2__branch3;
    39434310          }
    3944           uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_473_m_14 = (_v_len9 - _v_len10);
    3945           if (!_c_94.term_eq (_v_deref__item3, 0))
     4311          uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_513_m_14 = (_v_len9 - _v_len10);
     4312          if (!_c_26.term_eq (_v_deref__item3, 0))
    39464313          {
    39474314            goto _block2__branch3;
    39484315          }
    3949           Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_473_m_14 (_v_deref__item3, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_473_m_14);
     4316          Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_513_m_14 (_v_deref__item3, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_513_m_14);
    39504317          Expr _ge_auxcall3;
    39514318          RF_CALL (JavaMangle::Rfp2Java, _vt_item, _ge_auxcall3);
     
    39694336            goto _block2__branch4;
    39704337          }
    3971           if (!_c_22.term_eq (_v_deref__item4, 0))
     4338          if (!_c_13.term_eq (_v_deref__item4, 0))
    39724339          {
    39734340            goto _block2__branch4;
     
    39774344          RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall4);
    39784345          _ve_arrays = empty;
    3979           _ve_java_m_item = (_c_166 + (_c_164 + (_c_163 + _ge_auxcall4 + _c_162) () + _c_10) () + _c_165) ();
     4346          _ve_java_m_item = (_c_169 + (_c_167 + (_c_166 + _ge_auxcall4 + _c_165) () + _c_41) () + _c_168) ();
    39804347          goto _block2;
    39814348        }
     
    39954362            goto _block2__branch5;
    39964363          }
    3997           if (!_c_20.term_eq (_v_deref__item5, 0))
     4364          if (!_c_11.term_eq (_v_deref__item5, 0))
    39984365          {
    39994366            goto _block2__branch5;
     
    40034370          RF_CALL (Name_m_To_m_JBC, _vt_name, _ge_auxcall5);
    40044371          _ve_arrays = empty;
    4005           _ve_java_m_item = (_c_166 + (_c_164 + ((_ge_auxcall5 + _c_162) () + _c_24) () + _c_10) () + _c_165) ();
     4372          _ve_java_m_item = (_c_169 + (_c_167 + ((_ge_auxcall5 + _c_165) () + _c_34) () + _c_41) () + _c_168) ();
    40064373          goto _block2;
    40074374        }
     
    40344401                  goto _block4__branch1;
    40354402                }
    4036                 RF_CALL (Table::Bind, (Inputs, _c_167, empty), /*void*/);
     4403                RF_CALL (Table::Bind, (Inputs, _c_170, empty), /*void*/);
    40374404                goto _block4;
    40384405              }
     
    40434410            RF_CALL (Box::_q_, Int, _ge_auxcall6);
    40444411            _ve_arrays = empty;
    4045             _ve_java_m_item = (_c_169 + _ge_auxcall6 + _c_100 + _vs_sym + _c_168) ();
     4412            _ve_java_m_item = (_c_172 + _ge_auxcall6 + _c_106 + _vs_sym + _c_171) ();
    40464413            goto _block3;
    40474414          }
     
    40544421          RF_CALL (Symbol_m_To_m_JBC, _vs_sym, _ge_auxcall7);
    40554422          _ve_arrays = empty;
    4056           _ve_java_m_item = (_c_170 + _ge_auxcall7 + _c_168) ();
     4423          _ve_java_m_item = (_c_173 + _ge_auxcall7 + _c_171) ();
    40574424        }
    40584425      _block3: {}
     
    41094476          goto _block3__branch1;
    41104477        }
    4111         if (!_vs_char.term_eq (_c_171, 0))
     4478        if (!_vs_char.term_eq (_c_174, 0))
    41124479        {
    41134480          goto _block3__branch1;
    41144481        }
    4115         _ve_java_m_char = _c_172;
     4482        _ve_java_m_char = _c_175;
    41164483        goto _block3;
    41174484      }
     
    41224489          goto _block3__branch2;
    41234490        }
    4124         if (!_vs_char.term_eq (_c_173, 0))
     4491        if (!_vs_char.term_eq (_c_176, 0))
    41254492        {
    41264493          goto _block3__branch2;
    41274494        }
    4128         _ve_java_m_char = _c_174;
     4495        _ve_java_m_char = _c_177;
    41294496        goto _block3;
    41304497      }
     
    41354502          goto _block3__branch3;
    41364503        }
    4137         if (!_vs_char.term_eq (_c_175, 0))
     4504        if (!_vs_char.term_eq (_c_178, 0))
    41384505        {
    41394506          goto _block3__branch3;
    41404507        }
    4141         _ve_java_m_char = _c_176;
     4508        _ve_java_m_char = _c_179;
    41424509        goto _block3;
    41434510      }
     
    41484515          goto _block3__branch4;
    41494516        }
    4150         if (!_vs_char.term_eq (_c_177, 0))
     4517        if (!_vs_char.term_eq (_c_180, 0))
    41514518        {
    41524519          goto _block3__branch4;
    41534520        }
    4154         _ve_java_m_char = _c_178;
     4521        _ve_java_m_char = _c_181;
    41554522        goto _block3;
    41564523      }
     
    41614528          goto _block3__branch5;
    41624529        }
    4163         if (!_vs_char.term_eq (_c_179, 0))
     4530        if (!_vs_char.term_eq (_c_182, 0))
    41644531        {
    41654532          goto _block3__branch5;
    41664533        }
    4167         _ve_java_m_char = _c_180;
     4534        _ve_java_m_char = _c_183;
    41684535        goto _block3;
    41694536      }
     
    41774544        RF_FUNC_ERROR (unexpected_fail);
    41784545      }
    4179       Expr _vs__e__e_tmp_m_rfp__asail__jbcrf_m_512_m_8 (_vs_char, 0, 1);
     4546      Expr _vs__e__e_tmp_m_rfp__asail__jbcrf_m_552_m_8 (_vs_char, 0, 1);
    41804547      _ve_java_m_char = _vs_char;
    41814548    }
     
    42314598          goto _block2__branch1;
    42324599        }
    4233         uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_524_m_19 = (_v_len5 - _v_len6);
    4234         Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_524_m_19 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_524_m_19);
    4235         _ve_comma = _c_83;
     4600        uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_564_m_19 = (_v_len5 - _v_len6);
     4601        Expr _vv__e__e_tmp_m_rfp__asail__jbcrf_m_564_m_19 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_564_m_19);
     4602        _ve_comma = _c_94;
    42364603        goto _block2;
    42374604      }
     
    42994666            goto _block2__branch1;
    43004667          }
    4301           RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_538_m_19, _v_lsplit__rest);
     4668          RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_578_m_19, _v_lsplit__rest);
    43024669          for ( ; ; RF_iter(_ve_rest)++)
    43034670          {
     
    43134680                goto _block2__branch1;
    43144681              }
    4315               uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_538_m_25 = (_v_len5 - _v_len6);
     4682              uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_578_m_25 = (_v_len5 - _v_len6);
    43164683              if (_v_lsplit__rest.symbol_at (0))
    43174684              {
     
    43254692                goto _continue1;
    43264693              }
    4327               uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_538_m_22 = (_v_len7 - _v_len8);
    4328               Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_538_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_538_m_25);
    4329               Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_538_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_538_m_22);
    4330               _ve_comma = _c_83;
     4694              uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_578_m_22 = (_v_len7 - _v_len8);
     4695              Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_578_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_578_m_25);
     4696              Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_578_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_578_m_22);
     4697              _ve_comma = _c_94;
    43314698              goto _exit1;
    43324699            }
     
    43434710      RF_CALL (JavaMangle::Rfp2Java, _vt_arg, _ge_auxcall1);
    43444711      _ge_args__0 = _ve_rest;
    4345       _ve_java_m_args = (_ve_java_m_args + _ve_type + _c_29 + _ge_auxcall1 + _ve_comma);
     4712      _ve_java_m_args = (_ve_java_m_args + _ve_type + _c_39 + _ge_auxcall1 + _ve_comma);
    43464713    }
    43474714  _block1: {}
     
    44154782            goto _block2__branch1;
    44164783          }
    4417           RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_552_m_19, _v_lsplit__rest);
     4784          RF_lsplit (_ve_rest, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_592_m_19, _v_lsplit__rest);
    44184785          for ( ; ; RF_iter(_ve_rest)++)
    44194786          {
     
    44294796                goto _block2__branch1;
    44304797              }
    4431               uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_552_m_25 = (_v_len7 - _v_len8);
     4798              uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_592_m_25 = (_v_len7 - _v_len8);
    44324799              if (_v_lsplit__rest.symbol_at (0))
    44334800              {
     
    44414808                goto _continue1;
    44424809              }
    4443               uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_552_m_22 = (_v_len9 - _v_len10);
    4444               Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_552_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_552_m_25);
    4445               Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_552_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_552_m_22);
    4446               _ve_comma = _c_83;
     4810              uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_592_m_22 = (_v_len9 - _v_len10);
     4811              Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_592_m_25 (_v_lsplit__rest, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_592_m_25);
     4812              Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_592_m_22 (_v_deref__lsplit__rest, 0, _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_592_m_22);
     4813              _ve_comma = _c_94;
    44474814              goto _exit1;
    44484815            }
     
    45194886        goto _block1__branch1;
    45204887      }
    4521       _v_res1 = (_ge_auxcall1 + _c_181);
     4888      _v_res1 = (_ge_auxcall1 + _c_184);
    45224889      goto _block1;
    45234890    }
     
    45374904        goto _block1__branch1;
    45384905      }
    4539       RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_580_m_19, _v_lsplit___q_1);
     4906      RF_lsplit (_v__q_1, 0, _ve__e__e_tmp_m_rfp__asail__jbcrf_m_620_m_19, _v_lsplit___q_1);
    45404907      for ( ; ; RF_iter(_v__q_1)++)
    45414908      {
     
    45514918            goto _block1__branch1;
    45524919          }
    4553           uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_580_m_28 = (_v_len1 - _v_len2);
     4920          uintptr_t _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_620_m_28 = (_v_len1 - _v_len2);
    45544921          if (!_vt_name.term_eq (_v_lsplit___q_1, 0))
    45554922          {
    45564923            goto _continue1;
    45574924          }
    4558           Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_580_m_28 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_580_m_28);
    4559           _v_res1 = _c_182;
     4925          Expr _ve__e__e_tmp_m_rfp__asail__jbcrf_m_620_m_28 (_v_lsplit___q_1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail__jbcrf_m_620_m_28);
     4926          _v_res1 = _c_6;
    45604927          goto _exit1;
    45614928        }
     
    45664933    }
    45674934  _block1__branch1: {}
    4568     _v_res1 = _c_183;
     4935    _v_res1 = _c_140;
    45694936  }
    45704937_block1: {}
     
    45814948        goto _block1__branch1;
    45824949      }
    4583       _vs_idx = _c_5;
     4950      _vs_idx = _c_6;
    45844951      goto _block1;
    45854952    }
     
    45944961    }
    45954962    Expr _gs_idx__2 (_v__q_1, 0, 1);
    4596     RF_CALL (Arithm::_p_, (_gs_idx__2, _c_5), _vs_idx);
     4963    RF_CALL (Arithm::_p_, (_gs_idx__2, _c_6), _vs_idx);
    45974964  }
    45984965_block1: {}
     
    46064973  if ((_v_len1 < _v_len2))
    46074974  {
    4608     RF_ERROR (_c_184);
     4975    RF_ERROR (_c_185);
    46094976  }
    46104977  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
    46114978  if (!_ge_arg1.symbol_at (0))
    46124979  {
    4613     RF_ERROR (_c_184);
     4980    RF_ERROR (_c_185);
    46144981  }
    46154982  Expr _v_stub2 (_ge_arg1, 0, 1);
     
    46184985RF_END
    46194986
     4987RF_FUNC (To_m_Word__0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     4988  uintptr_t _v_len1 = _ge_arg1.get_len ();
     4989  uintptr_t _v_len2 = 0;
     4990  if ((_v_len1 < _v_len2))
     4991  {
     4992    RF_ERROR (_c_185);
     4993  }
     4994  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
     4995  Expr _v_stub1 (_ge_arg1, 0, _v_len__stub1);
     4996  RF_CALL (Convert::To_m_Word, _v_stub1, _v_res1);
     4997RF_END
     4998
    46204999RF_FUNC (Term_m_Ref_m_To_m_JBC__0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
    46215000  if ((_ge_arg1.get_len () != 2))
    46225001  {
    4623     RF_ERROR (_c_184);
     5002    RF_ERROR (_c_185);
    46245003  }
    46255004  if (!_ge_arg1.symbol_at (0))
    46265005  {
    4627     RF_ERROR (_c_184);
     5006    RF_ERROR (_c_185);
    46285007  }
    46295008  Expr _v_stub1 (_ge_arg1, 0, 1);
     
    46375016  if ((_v_len1 < _v_len2))
    46385017  {
    4639     RF_ERROR (_c_184);
     5018    RF_ERROR (_c_185);
    46405019  }
    46415020  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
    46425021  if (!_ge_arg1.symbol_at (0))
    46435022  {
    4644     RF_ERROR (_c_184);
     5023    RF_ERROR (_c_185);
    46455024  }
    46465025  Expr _v_stub2 (_ge_arg1, 0, 1);
     
    46735052  _c_2 = Expr::create<Word>("ENTRIES");
    46745053  _c_3 = Expr::create<Word>("Main");
    4675   _c_8 = Char::create_expr (L"RefalRuntime.setArgs (\"");
    4676   _c_4 = Expr (_c_8, 12, 1);
    4677   _c_5 = Expr::create<Integer>("1");
    4678   _c_6 = Expr::create<Integer>("2");
    4679   _c_7 = Char::create_expr (L"\", args);");
    4680   _c_9 = Char::create_expr (L" (new Result ());");
    4681   _c_185 = Char::create_expr (L"java.lang.System.out.println (\"$error: \" + e);");
    4682   _c_186 = Char::create_expr (L"catch (RefalException e) {") + ((_c_185) () + (Char::create_expr (L"java.lang.System.exit (100);")) ()) () + Char::create_expr (L"}");
    4683   _c_10 = Expr (_c_186, 27, 1);
    4684   _c_11 = Char::create_expr (L"try {");
    4685   _c_12 = (_c_186) ();
    4686   _c_13 = Char::create_expr (L"public static void main (java.lang.String[] args) {");
    4687   _c_14 = (empty) ();
    4688   _c_15 = Expr::create<Integer>("46");
    4689   _c_16 = Expr::create<Word>("java/lang/Object");
    4690   _c_17 = Expr::create<Word>("jbc-test.class");
    4691   _c_18 = Char::create_expr (L"\n{");
    4692   _c_19 = Char::create_expr (L"public class ");
    4693   _c_20 = Expr::create<Word>("FUNC");
    4694   _c_21 = Expr (_c_13, 14, 4);
    4695   _c_22 = Expr::create<Word>("FUNC?");
    4696   _c_164 = Char::create_expr (L"public boolean eval (Expr arg, Result res) throws RefalException {");
    4697   _c_23 = Expr (_c_164, 7, 7);
    4698   _c_24 = (Char::create_expr (L"return true;")) ();
    4699   _c_25 = Expr::create<Word>("Result");
    4700   _c_26 = Expr::create<Word>("Expr");
    4701   _c_27 = Expr (_c_164, 41, 23);
    4702   _c_28 = Expr (_c_186, 5, 2);
    4703   _c_29 = Expr (_c_28, 0, 1);
    4704   _c_30 = Expr (_c_13, 7, 7);
    4705   _c_31 = Expr (_c_18, 1, 1);
    4706   _c_32 = Expr::create<Word>("TRACE");
    4707   _c_33 = Expr::create<Word>("IF");
    4708   _c_34 = Expr::create<Word>("CALL");
    4709   _c_35 = Expr::create<Word>("NOT");
    4710   _c_36 = Expr (_c_7, 7, 1);
    4711   _c_54 = Char::create_expr (L"if (false)");
    4712   _c_37 = Expr (_c_54, 0, 4);
    4713   _c_38 = Expr::create<Word>("FOR");
    4714   _c_39 = Expr::create<Word>("LABEL");
    4715   _c_40 = Expr (_c_185, 37, 2);
    4716   _c_41 = Expr::create<Word>("INC-ITER");
    4717   _c_42 = Expr::create<Word>("DEC-ITER");
    4718   _c_43 = Char::create_expr (L".getLeft();");
     5054  _c_29 = Char::create_expr (L"org.refal.plus.library.");
     5055  _c_4 = Expr (_c_29, 3, 1);
     5056  _c_5 = Expr::create_sym<Func> (To_m_Word__0);
     5057  _c_6 = Expr::create<Integer>("1");
     5058  _c_7 = Expr::create<Integer>("2");
     5059  _c_8 = Char::create_expr (L"/");
     5060  _c_9 = Expr::create<Integer>("46");
     5061  _c_10 = Expr::create<Word>("java/lang/Object");
     5062  _c_11 = Expr::create<Word>("FUNC");
     5063  _c_141 = Char::create_expr (L".isValid ()");
     5064  _c_12 = Expr (_c_141, 3, 1);
     5065  _c_13 = Expr::create<Word>("FUNC?");
     5066  _c_14 = Char::create_expr (L"Z");
     5067  _c_15 = Expr::create<Integer>("8");
     5068  _c_16 = Expr::create<Word>("Lorg/refal/plus/Expr;");
     5069  _c_17 = Expr::create<Word>("Lorg/refal/plus/Result;");
     5070  _c_167 = Char::create_expr (L"public boolean eval (Expr arg, Result res) throws RefalException {");
     5071  _c_37 = Expr (_c_167, 41, 23);
     5072  _c_18 = Expr (_c_37, 0, 1);
     5073  _c_65 = Char::create_expr (L"if (false)");
     5074  _c_48 = Expr (_c_65, 0, 4);
     5075  _c_38 = Expr (_c_48, 2, 2);
     5076  _c_19 = Expr (_c_38, 1, 1);
     5077  _c_20 = Expr::create<Word>("org/refal/plus/RefalException");
     5078  _c_21 = Expr::create<Integer>("177");
     5079  _c_22 = Expr::create<Integer>("4");
     5080  _c_23 = Expr::create<Integer>("172");
     5081  _c_24 = Expr::create<Word>("CONSTEXPR");
     5082  _c_25 = Expr::create<Integer>("16");
     5083  _c_26 = Expr::create<Word>("STATIC");
     5084  _c_27 = Expr::create<Word>("OBJ");
     5085  _c_28 = Char::create_expr (L"Named");
     5086  _c_30 = Expr::create<Word>("DECL-OBJ");
     5087  _c_31 = Expr::create<Word>("DECL-FUNC");
     5088  _c_62 = Char::create_expr (L"\", \"This is for avoiding 'Unreachable code' errors\");");
     5089  _c_32 = Expr (_c_62, 17, 4);
     5090  _c_33 = Expr (_c_167, 7, 7);
     5091  _c_34 = (Char::create_expr (L"return true;")) ();
     5092  _c_35 = Expr::create<Word>("Result");
     5093  _c_36 = Expr::create<Word>("Expr");
     5094  _c_39 = Expr (_c_38, 0, 1);
     5095  _c_162 = Char::create_expr (L"static private final Expr[] ");
     5096  _c_40 = Expr (_c_162, 0, 7);
     5097  _c_186 = Char::create_expr (L"return false;");
     5098  _c_109 = Char::create_expr (L") {") + (_c_186) () + Char::create_expr (L"}");
     5099  _c_41 = Expr (_c_109, 4, 1);
     5100  _c_60 = Char::create_expr (L": {");
     5101  _c_42 = Expr (_c_60, 2, 1);
     5102  _c_43 = (empty) ();
     5103  _c_44 = Expr::create<Word>("TRACE");
     5104  _c_45 = Expr::create<Word>("IF");
     5105  _c_46 = Expr::create<Word>("CALL");
     5106  _c_47 = Expr::create<Word>("NOT");
     5107  _c_49 = Expr::create<Word>("FOR");
     5108  _c_50 = Expr::create<Word>("LABEL");
     5109  _c_51 = Expr (_c_60, 0, 2);
     5110  _c_52 = Expr::create<Word>("INC-ITER");
     5111  _c_53 = Expr::create<Word>("DEC-ITER");
     5112  _c_54 = Char::create_expr (L".getLeft();");
    47195113  _c_187 = Char::create_expr (L"Expr err = error.getExpr ();");
    4720   _c_44 = Expr (_c_187, 8, 3);
    4721   _c_45 = Expr (_c_187, 0, 5);
    4722   _c_46 = Char::create_expr (L".getRight();");
    4723   _c_48 = Char::create_expr (L"for ( ; ");
    4724   _c_47 = Expr (_c_48, 6, 2);
    4725   _c_49 = Char::create_expr (L": {");
    4726   _c_50 = Expr::create<Word>("TRY");
    4727   _c_51 = Char::create_expr (L"\", \"This is for avoiding 'Unreachable code' errors\");");
    4728   _c_52 = Expr (_c_51, 0, 4);
    4729   _c_53 = Char::create_expr (L"throw new RefalException (\"");
    4730   _c_55 = (Expr (_c_11, 0, 3)) ();
    4731   _c_56 = Expr::create<Word>("CATCH-ERROR");
    4732   _c_57 = (_c_187) ();
    4733   _c_58 = Char::create_expr (L"catch (RefalException error) {");
    4734   _c_59 = Expr::create<Word>("RETFAIL");
    4735   _c_188 = Char::create_expr (L"return false;");
    4736   _c_105 = Char::create_expr (L") {") + (_c_188) () + Char::create_expr (L"}");
    4737   _c_60 = Expr (_c_105, 3, 1);
    4738   _c_61 = Expr::create<Word>("FATAL");
    4739   _c_62 = Char::create_expr (L"\", \"Unexpected fail\");");
    4740   _c_63 = Expr::create<Word>("LSPLIT");
    4741   _c_64 = Char::create_expr (L"_va_");
    4742   _c_65 = Expr (_c_46, 10, 2);
    4743   _c_66 = Char::create_expr (L".leftSplit(");
    4744   _c_67 = Char::create_expr (L"Expr.SplitIterator ");
    4745   _c_68 = Expr::create<Word>("RSPLIT");
    4746   _c_69 = Char::create_expr (L".rightSplit(");
    4747   _c_70 = Expr::create<Word>("ASSIGN");
    4748   _c_71 = Char::create_expr (L".assign (");
    4749   _c_72 = Expr (_c_65, 1, 1);
    4750   _c_73 = Expr::create<Word>("DECL");
    4751   _c_74 = Char::create_expr (L" = new Result ();");
    4752   _c_75 = Expr (_c_74, 7, 7);
    4753   _c_76 = Char::create_expr (L" = Expr.empty;");
    4754   _c_77 = Char::create_expr (L"int ");
    4755   _c_78 = Expr::create<Word>("EXPR");
    4756   _c_79 = Expr::create<Word>("DEREF");
    4757   _c_80 = Char::create_expr (L".at (");
    4758   _c_81 = Char::create_expr (L" = (Expr) ");
    4759   _c_82 = Expr::create<Word>("SUBEXPR");
    4760   _c_83 = Expr (_c_52, 1, 2);
    4761   _c_101 = Char::create_expr (L" = new Expr (new ");
    4762   _c_84 = Expr (_c_101, 0, 13);
    4763   _c_85 = Expr::create<Word>("DROP");
    4764   _c_86 = Char::create_expr (L".drop ();");
    4765   _c_87 = Expr::create<Word>("CONTINUE");
    4766   _c_88 = Char::create_expr (L"continue ");
    4767   _c_89 = Expr::create<Word>("BREAK");
    4768   _c_90 = Char::create_expr (L"break ");
    4769   _c_91 = Expr::create<Word>("ERROR");
    4770   _c_92 = Expr (_c_53, 0, 26);
    4771   _c_93 = Expr::create<Word>("CONSTEXPR");
    4772   _c_94 = Expr::create<Word>("STATIC");
    4773   _c_95 = Char::create_expr (L" final Expr ");
    4774   _c_96 = Expr::create<Word>("OBJ");
    4775   _c_97 = Char::create_expr (L"Named");
    4776   _c_98 = Char::create_expr (L"org.refal.plus.library.");
    4777   _c_99 = Char::create_expr (L"\"));");
    4778   _c_100 = Expr (_c_53, 24, 3);
    4779   _c_102 = Expr::create<Word>("DECL-OBJ");
    4780   _c_103 = Expr::create<Word>("DECL-FUNC");
    4781   _c_104 = Expr::create<Word>("TAILCALL?");
    4782   _c_106 = Char::create_expr (L"if (!");
    4783   _c_107 = Expr (_c_187, 16, 12);
    4784   _c_108 = Expr::create<Word>("PAREN");
    4785   _c_109 = Expr::create<Word>("LENGTH");
    4786   _c_110 = Expr::create<Word>("XXX");
    4787   _c_111 = Expr::create<Word>("MAX");
    4788   _c_112 = Expr::create<Word>("MIN");
    4789   _c_113 = Expr::create<Word>("INFIX");
    4790   _c_114 = Expr (_c_76, 3, 10);
    4791   _c_115 = Expr (_c_84, 3, 10);
    4792   _c_116 = Expr::create_sym<Func> (Term_m_Ref_m_To_m_JBC__0);
    4793   _c_117 = Expr::create<Word>(",");
    4794   _c_118 = Char::create_expr (L" };");
    4795   _c_119 = Char::create_expr (L" = { ");
    4796   _c_159 = Char::create_expr (L"static private final Expr[] ");
    4797   _c_120 = Expr (_c_159, 21, 7);
    4798   _c_121 = Char::create_expr (L"Expr.concat (");
    4799   _c_122 = Char::create_expr (L"new Expr(");
    4800   _c_123 = Expr (_c_81, 3, 7);
    4801   _c_124 = Expr::create<Word>("REF");
    4802   _c_125 = Expr::create<Word>("ERROR-EXPR");
    4803   _c_126 = Expr (_c_187, 5, 3);
    4804   _c_127 = Expr::create<Word>("Illegal int-symbol: ");
    4805   _c_128 = Char::create_expr (L".getLen ()");
    4806   _c_129 = Char::create_expr (L"java.lang.Math.max (");
    4807   _c_130 = Char::create_expr (L"java.lang.Math.min (");
    4808   _c_131 = Expr::create_sym<Func> (Expr_m_Int_m_To_m_JBC__0);
    4809   _c_132 = Expr (_c_28, 1, 1);
    4810   _c_133 = Expr::create<Word>("+");
    4811   _c_134 = Expr::create<Word>("SYMBOL?");
    4812   _c_135 = Char::create_expr (L".symbolAt (");
    4813   _c_136 = Expr::create<Word>("CHECK-ITER");
    4814   _c_137 = Expr::create<Integer>("0");
    4815   _c_138 = Char::create_expr (L".isValid ()");
    4816   _c_139 = Expr::create<Word>("EQ");
    4817   _c_140 = Char::create_expr (L".eq (");
    4818   _c_141 = Expr::create<Word>("TERM-EQ");
    4819   _c_142 = Expr (_c_106, 4, 1);
    4820   _c_143 = Expr::create<Word>("-");
    4821   _c_144 = Expr::create<Word>("%");
    4822   _c_145 = Expr::create<Word>("*");
    4823   _c_146 = Expr::create<Word>("/");
    4824   _c_147 = Char::create_expr (L" != 0");
    4825   _c_148 = Expr::create_sym<Func> (Cond_m_To_m_JBC__0);
    4826   _c_149 = Expr::create<Word>("&&");
    4827   _c_150 = Expr::create<Word>("||");
    4828   _c_151 = Expr::create<Word>("<");
    4829   _c_152 = Expr::create<Word>(">");
    4830   _c_153 = Expr::create<Word>("<=");
    4831   _c_154 = Expr::create<Word>(">=");
    4832   _c_155 = Expr::create<Word>("==");
    4833   _c_156 = Expr::create<Word>("!=");
    4834   _c_157 = Char::create_expr (L".next ()");
    4835   _c_158 = Char::create_expr (L".prev ()");
    4836   _c_160 = Expr (_c_99, 0, 2);
    4837   _c_161 = Char::create_expr (L"Expr.fromSequence (\"");
    4838   _c_162 = Char::create_expr (L" (arg, res);");
    4839   _c_163 = Expr (_c_188, 0, 7);
    4840   _c_165 = Char::create_expr (L"})");
    4841   _c_166 = Char::create_expr (L"new Expr (new Func () {");
    4842   _c_167 = Char::create_expr (L"java.math.BigInteger");
    4843   _c_168 = Expr (_c_99, 0, 3);
    4844   _c_169 = Expr (_c_101, 3, 14);
    4845   _c_170 = Char::create_expr (L"new Expr (new Word (\"");
    4846   _c_172 = Char::create_expr (L"\\\\");
    4847   _c_171 = Expr (_c_172, 0, 1);
    4848   _c_173 = Expr (_c_18, 0, 1);
    4849   _c_174 = Char::create_expr (L"\\n");
    4850   _c_175 = Char::create_expr (L"\t");
    4851   _c_176 = Char::create_expr (L"\\t");
    4852   _c_177 = Char::create_expr (L"\r");
    4853   _c_178 = Char::create_expr (L"\\r");
    4854   _c_179 = Expr (_c_160, 0, 1);
    4855   _c_180 = Char::create_expr (L"\\\"");
    4856   _c_181 = Expr (_c_107, 0, 11);
    4857   _c_182 = Expr (_c_19, 0, 6);
    4858   _c_183 = Expr (_c_159, 7, 7);
    4859   _c_184 = Expr::create<Word>("Apply") + Expr::create<Word>("Apply") + Expr::create<Word>("Unexpected fail");
     5114  _c_55 = Expr (_c_187, 8, 3);
     5115  _c_56 = Expr (_c_187, 0, 5);
     5116  _c_57 = Char::create_expr (L".getRight();");
     5117  _c_59 = Char::create_expr (L"for ( ; ");
     5118  _c_58 = Expr (_c_59, 6, 2);
     5119  _c_61 = Expr::create<Word>("TRY");
     5120  _c_63 = Expr (_c_62, 0, 4);
     5121  _c_64 = Char::create_expr (L"throw new RefalException (\"");
     5122  _c_66 = (Char::create_expr (L"try")) ();
     5123  _c_67 = Expr::create<Word>("CATCH-ERROR");
     5124  _c_68 = (_c_187) ();
     5125  _c_69 = Char::create_expr (L"catch (RefalException error) {");
     5126  _c_70 = Expr::create<Word>("RETFAIL");
     5127  _c_71 = Expr (_c_109, 3, 1);
     5128  _c_72 = Expr::create<Word>("FATAL");
     5129  _c_73 = Char::create_expr (L"\", \"Unexpected fail\");");
     5130  _c_74 = Expr::create<Word>("LSPLIT");
     5131  _c_75 = Char::create_expr (L"_va_");
     5132  _c_76 = Expr (_c_57, 10, 2);
     5133  _c_77 = Char::create_expr (L".leftSplit(");
     5134  _c_78 = Char::create_expr (L"Expr.SplitIterator ");
     5135  _c_79 = Expr::create<Word>("RSPLIT");
     5136  _c_80 = Char::create_expr (L".rightSplit(");
     5137  _c_81 = Expr::create<Word>("ASSIGN");
     5138  _c_82 = Char::create_expr (L".assign (");
     5139  _c_83 = Expr (_c_76, 1, 1);
     5140  _c_84 = Expr::create<Word>("DECL");
     5141  _c_85 = Char::create_expr (L" = new Result ();");
     5142  _c_86 = Expr (_c_85, 7, 7);
     5143  _c_87 = Char::create_expr (L" = Expr.empty;");
     5144  _c_88 = Char::create_expr (L"int ");
     5145  _c_89 = Expr::create<Word>("EXPR");
     5146  _c_90 = Expr::create<Word>("DEREF");
     5147  _c_91 = Char::create_expr (L".at (");
     5148  _c_92 = Char::create_expr (L" = (Expr) ");
     5149  _c_93 = Expr::create<Word>("SUBEXPR");
     5150  _c_94 = Expr (_c_63, 1, 2);
     5151  _c_107 = Char::create_expr (L" = new Expr (new ");
     5152  _c_95 = Expr (_c_107, 0, 13);
     5153  _c_96 = Expr::create<Word>("DROP");
     5154  _c_97 = Char::create_expr (L".drop ();");
     5155  _c_98 = Expr::create<Word>("CONTINUE");
     5156  _c_99 = Char::create_expr (L"continue ");
     5157  _c_100 = Expr::create<Word>("BREAK");
     5158  _c_101 = Char::create_expr (L"break ");
     5159  _c_102 = Expr::create<Word>("ERROR");
     5160  _c_103 = Expr (_c_64, 0, 26);
     5161  _c_104 = Char::create_expr (L" final Expr ");
     5162  _c_105 = Char::create_expr (L"\"));");
     5163  _c_106 = Expr (_c_64, 24, 3);
     5164  _c_108 = Expr::create<Word>("TAILCALL?");
     5165  _c_110 = Char::create_expr (L"if (!");
     5166  _c_111 = Expr (_c_187, 16, 12);
     5167  _c_112 = Expr::create<Word>("PAREN");
     5168  _c_113 = Expr::create<Word>("LENGTH");
     5169  _c_114 = Expr::create<Word>("XXX");
     5170  _c_115 = Expr::create<Word>("MAX");
     5171  _c_116 = Expr::create<Word>("MIN");
     5172  _c_117 = Expr::create<Word>("INFIX");
     5173  _c_118 = Expr (_c_87, 3, 10);
     5174  _c_119 = Expr (_c_95, 3, 10);
     5175  _c_120 = Expr::create_sym<Func> (Term_m_Ref_m_To_m_JBC__0);
     5176  _c_121 = Expr::create<Word>(",");
     5177  _c_122 = Char::create_expr (L" };");
     5178  _c_123 = Char::create_expr (L" = { ");
     5179  _c_124 = Expr (_c_162, 21, 7);
     5180  _c_125 = Char::create_expr (L"Expr.concat (");
     5181  _c_126 = Char::create_expr (L"new Expr(");
     5182  _c_127 = Expr (_c_92, 3, 7);
     5183  _c_128 = Expr::create<Word>("REF");
     5184  _c_129 = Expr::create<Word>("ERROR-EXPR");
     5185  _c_130 = Expr (_c_69, 22, 3);
     5186  _c_131 = Expr::create<Word>("Illegal int-symbol: ");
     5187  _c_132 = Char::create_expr (L".getLen ()");
     5188  _c_133 = Char::create_expr (L"java.lang.Math.max (");
     5189  _c_134 = Char::create_expr (L"java.lang.Math.min (");
     5190  _c_135 = Expr::create_sym<Func> (Expr_m_Int_m_To_m_JBC__0);
     5191  _c_136 = Expr::create<Word>("+");
     5192  _c_137 = Expr::create<Word>("SYMBOL?");
     5193  _c_138 = Char::create_expr (L".symbolAt (");
     5194  _c_139 = Expr::create<Word>("CHECK-ITER");
     5195  _c_140 = Expr::create<Integer>("0");
     5196  _c_142 = Expr::create<Word>("EQ");
     5197  _c_143 = Char::create_expr (L".eq (");
     5198  _c_144 = Expr::create<Word>("TERM-EQ");
     5199  _c_145 = Expr (_c_110, 4, 1);
     5200  _c_146 = Expr::create<Word>("-");
     5201  _c_147 = Expr::create<Word>("%");
     5202  _c_148 = Expr::create<Word>("*");
     5203  _c_149 = Expr::create<Word>("/");
     5204  _c_150 = Char::create_expr (L" != 0");
     5205  _c_151 = Expr::create_sym<Func> (Cond_m_To_m_JBC__0);
     5206  _c_152 = Expr::create<Word>("&&");
     5207  _c_153 = Expr::create<Word>("||");
     5208  _c_154 = Expr::create<Word>("<");
     5209  _c_155 = Expr::create<Word>(">");
     5210  _c_156 = Expr::create<Word>("<=");
     5211  _c_157 = Expr::create<Word>(">=");
     5212  _c_158 = Expr::create<Word>("==");
     5213  _c_159 = Expr::create<Word>("!=");
     5214  _c_160 = Char::create_expr (L".next ()");
     5215  _c_161 = Char::create_expr (L".prev ()");
     5216  _c_163 = Expr (_c_105, 0, 2);
     5217  _c_164 = Char::create_expr (L"Expr.fromSequence (\"");
     5218  _c_165 = Char::create_expr (L" (arg, res);");
     5219  _c_166 = Expr (_c_186, 0, 7);
     5220  _c_168 = Char::create_expr (L"})");
     5221  _c_169 = Char::create_expr (L"new Expr (new Func () {");
     5222  _c_170 = Char::create_expr (L"java.math.BigInteger");
     5223  _c_171 = Expr (_c_105, 0, 3);
     5224  _c_172 = Expr (_c_107, 3, 14);
     5225  _c_173 = Char::create_expr (L"new Expr (new Word (\"");
     5226  _c_175 = Char::create_expr (L"\\\\");
     5227  _c_174 = Expr (_c_175, 0, 1);
     5228  _c_176 = Char::create_expr (L"\n");
     5229  _c_177 = Char::create_expr (L"\\n");
     5230  _c_178 = Char::create_expr (L"\t");
     5231  _c_179 = Char::create_expr (L"\\t");
     5232  _c_180 = Char::create_expr (L"\r");
     5233  _c_181 = Char::create_expr (L"\\r");
     5234  _c_182 = Expr (_c_163, 0, 1);
     5235  _c_183 = Char::create_expr (L"\\\"");
     5236  _c_184 = Expr (_c_111, 0, 11);
     5237  _c_185 = Expr::create<Word>("Apply") + Expr::create<Word>("Apply") + Expr::create<Word>("Unexpected fail");
    48605238}
    48615239
  • to-imperative/trunk/c++/compiler/rfpc.cc

    r2324 r2341  
    77#include <refal/Compare.hh>
    88#include <refal/Box.hh>
     9#include <refal/Error.hh>
     10#include <refal/File.hh>
    911#include <refal/JavaMangle.hh>
    10 #include <refal/File.hh>
    1112#include <refal/StdIO.hh>
    1213#include <refal/List.hh>
     14#include <refal/Dos.hh>
     15#include "rfp_asail2asail.hh"
    1316#include "rfp_as2as.hh"
    14 #include "rfp_asail_cpp.hh"
    15 #include "rfp_asail2asail.hh"
    16 #include "rfp_asail_jbc.hh"
     17#include "rfp_asail_java.hh"
    1718#include "rfp_asail_tpp.hh"
    1819#include "rfp_asail_optim.hh"
    19 #include "rfp_asail_java.hh"
    20 #include <refal/Table.hh>
    21 #include <refal/Dos.hh>
     20#include "rfp_asail_jbc.hh"
     21#include "rfp_asail_cpp.hh"
    2222#include "rfp_compile.hh"
     23#include "rfp_err.hh"
    2324#include "rfp_helper.hh"
    2425#include "rfp_format.hh"
    25 #include "rfp_err.hh"
    2626#include "rfp_parse.hh"
    2727#include "rfp_src.hh"
    2828#include "rfp_lex.hh"
    2929#include "rfp_check.hh"
     30#include <refal/Table.hh>
    3031
    3132namespace refal
     
    8990static Expr _c_54;
    9091
     92static Expr _c_149;
     93
     94static Expr _c_1;
     95
     96static Expr _c_2;
     97
     98static Expr _c_3;
     99
     100static Expr _c_4;
     101
     102static Expr _c_5;
     103
     104static Expr _c_6;
     105
     106static Expr _c_7;
     107
     108static Expr _c_8;
     109
     110static Expr _c_9;
     111
     112static Expr _c_10;
     113
     114static Expr _c_11;
     115
     116static Expr _c_12;
     117
     118static Expr _c_13;
     119
     120static Expr _c_14;
     121
     122static Expr _c_150;
     123
     124static Expr _c_151;
     125
     126static Expr _c_152;
     127
     128static Expr _c_15;
     129
     130static Expr _c_55;
     131
     132static Expr _c_16;
     133
     134static Expr _c_18;
     135
     136static Expr _c_17;
     137
     138static Expr _c_19;
     139
     140static Expr _c_20;
     141
     142static Expr _c_153;
     143
     144static Expr _c_21;
     145
     146static Expr _c_22;
     147
     148static Expr _c_23;
     149
     150static Expr _c_24;
     151
     152static Expr _c_154;
     153
     154static Expr _c_25;
     155
     156static Expr _c_26;
     157
     158static Expr _c_27;
     159
     160static Expr _c_28;
     161
     162static Expr _c_29;
     163
     164static Expr _c_30;
     165
     166static Expr _c_31;
     167
     168static Expr _c_155;
     169
     170static Expr _c_32;
     171
     172static Expr _c_33;
     173
     174static Expr _c_34;
     175
     176static Expr _c_156;
     177
     178static Expr _c_35;
     179
     180static Expr _c_157;
     181
     182static Expr _c_36;
     183
     184static Expr _c_158;
     185
     186static Expr _c_37;
     187
     188static Expr _c_159;
     189
     190static Expr _c_38;
     191
     192static Expr _c_160;
     193
     194static Expr _c_39;
     195
     196static Expr _c_161;
     197
     198static Expr _c_40;
     199
     200static Expr _c_41;
     201
     202static Expr _c_42;
     203
     204static Expr _c_43;
     205
     206static Expr _c_44;
     207
     208static Expr _c_45;
     209
     210static Expr _c_46;
     211
     212static Expr _c_47;
     213
     214static Expr _c_162;
     215
     216static Expr _c_48;
     217
     218static Expr _c_49;
     219
     220static Expr _c_50;
     221
     222static Expr _c_51;
     223
     224static Expr _c_52;
     225
     226static Expr _c_53;
     227
     228static Expr _c_56;
     229
     230static Expr _c_57;
     231
     232static Expr _c_59;
     233
     234static Expr _c_60;
     235
     236static Expr _c_163;
     237
     238static Expr _c_61;
     239
     240static Expr _c_62;
     241
     242static Expr _c_63;
     243
     244static Expr _c_64;
     245
     246static Expr _c_90;
     247
     248static Expr _c_65;
     249
     250static Expr _c_66;
     251
     252static Expr _c_67;
     253
     254static Expr _c_68;
     255
     256static Expr _c_69;
     257
     258static Expr _c_70;
     259
     260static Expr _c_71;
     261
     262static Expr _c_72;
     263
     264static Expr _c_73;
     265
     266static Expr _c_74;
     267
     268static Expr _c_75;
     269
     270static Expr _c_92;
     271
     272static Expr _c_76;
     273
     274static Expr _c_77;
     275
     276static Expr _c_78;
     277
     278static Expr _c_79;
     279
     280static Expr _c_80;
     281
     282static Expr _c_81;
     283
     284static Expr _c_82;
     285
     286static Expr _c_83;
     287
     288static Expr _c_84;
     289
     290static Expr _c_85;
     291
     292static Expr _c_86;
     293
     294static Expr _c_87;
     295
     296static Expr _c_88;
     297
     298static Expr _c_89;
     299
     300static Expr _c_91;
     301
     302static Expr _c_93;
     303
     304static Expr _c_94;
     305
     306static Expr _c_95;
     307
     308static Expr _c_96;
     309
     310static Expr _c_97;
     311
     312static Expr _c_164;
     313
     314static Expr _c_165;
     315
     316static Expr _c_166;
     317
     318static Expr _c_167;
     319
     320static Expr _c_168;
     321
     322static Expr _c_169;
     323
     324static Expr _c_170;
     325
     326static Expr _c_171;
     327
     328static Expr _c_172;
     329
     330static Expr _c_173;
     331
     332static Expr _c_174;
     333
     334static Expr _c_175;
     335
     336static Expr _c_176;
     337
     338static Expr _c_177;
     339
     340static Expr _c_178;
     341
     342static Expr _c_179;
     343
     344static Expr _c_180;
     345
     346static Expr _c_181;
     347
     348static Expr _c_98;
     349
     350static Expr _c_99;
     351
     352static Expr _c_100;
     353
     354static Expr _c_101;
     355
     356static Expr _c_102;
     357
     358static Expr _c_103;
     359
     360static Expr _c_104;
     361
     362static Expr _c_105;
     363
     364static Expr _c_106;
     365
     366static Expr _c_107;
     367
     368static Expr _c_108;
     369
     370static Expr _c_109;
     371
     372static Expr _c_110;
     373
     374static Expr _c_111;
     375
     376static Expr _c_112;
     377
     378static Expr _c_113;
     379
     380static Expr _c_114;
     381
     382static Expr _c_115;
     383
     384static Expr _c_116;
     385
     386static Expr _c_117;
     387
     388static Expr _c_118;
     389
     390static Expr _c_119;
     391
     392static Expr _c_120;
     393
     394static Expr _c_121;
     395
     396static Expr _c_182;
     397
     398static Expr _c_183;
     399
     400static Expr _c_134;
     401
     402static Expr _c_122;
     403
     404static Expr _c_123;
     405
     406static Expr _c_124;
     407
     408static Expr _c_132;
     409
     410static Expr _c_129;
     411
     412static Expr _c_125;
     413
     414static Expr _c_126;
     415
     416static Expr _c_127;
     417
     418static Expr _c_128;
     419
     420static Expr _c_130;
     421
     422static Expr _c_131;
     423
     424static Expr _c_184;
     425
     426static Expr _c_133;
     427
     428static Expr _c_135;
     429
     430static Expr _c_136;
     431
     432static Expr _c_137;
     433
     434static Expr _c_138;
     435
     436static Expr _c_139;
     437
     438static Expr _c_140;
     439
     440static Expr _c_141;
     441
     442static Expr _c_142;
     443
     444static Expr _c_143;
     445
     446static Expr _c_144;
     447
     448static Expr _c_145;
     449
     450static Expr _c_146;
     451
     452static Expr _c_147;
     453
    91454static Expr _c_148;
    92 
    93 static Expr _c_1;
    94 
    95 static Expr _c_2;
    96 
    97 static Expr _c_3;
    98 
    99 static Expr _c_4;
    100 
    101 static Expr _c_5;
    102 
    103 static Expr _c_6;
    104 
    105 static Expr _c_7;
    106 
    107 static Expr _c_8;
    108 
    109 static Expr _c_9;
    110 
    111 static Expr _c_10;
    112 
    113 static Expr _c_11;
    114 
    115 static Expr _c_12;
    116 
    117 static Expr _c_13;
    118 
    119 static Expr _c_14;
    120 
    121 static Expr _c_149;
    122 
    123 static Expr _c_150;
    124 
    125 static Expr _c_151;
    126 
    127 static Expr _c_15;
    128 
    129 static Expr _c_55;
    130 
    131 static Expr _c_16;
    132 
    133 static Expr _c_18;
    134 
    135 static Expr _c_17;
    136 
    137 static Expr _c_19;
    138 
    139 static Expr _c_20;
    140 
    141 static Expr _c_152;
    142 
    143 static Expr _c_21;
    144 
    145 static Expr _c_22;
    146 
    147 static Expr _c_23;
    148 
    149 static Expr _c_24;
    150 
    151 static Expr _c_153;
    152 
    153 static Expr _c_25;
    154 
    155 static Expr _c_26;
    156 
    157 static Expr _c_27;
    158 
    159 static Expr _c_28;
    160 
    161 static Expr _c_29;
    162 
    163 static Expr _c_30;
    164 
    165 static Expr _c_31;
    166 
    167 static Expr _c_154;
    168 
    169 static Expr _c_32;
    170 
    171 static Expr _c_33;
    172 
    173 static Expr _c_34;
    174 
    175 static Expr _c_155;
    176 
    177 static Expr _c_35;
    178 
    179 static Expr _c_156;
    180 
    181 static Expr _c_36;
    182 
    183 static Expr _c_157;
    184 
    185 static Expr _c_37;
    186 
    187 static Expr _c_158;
    188 
    189 static Expr _c_38;
    190 
    191 static Expr _c_159;
    192 
    193 static Expr _c_39;
    194 
    195 static Expr _c_160;
    196 
    197 static Expr _c_40;
    198 
    199 static Expr _c_41;
    200 
    201 static Expr _c_42;
    202 
    203 static Expr _c_43;
    204 
    205 static Expr _c_44;
    206 
    207 static Expr _c_45;
    208 
    209 static Expr _c_46;
    210 
    211 static Expr _c_47;
    212 
    213 static Expr _c_161;
    214 
    215 static Expr _c_48;
    216 
    217 static Expr _c_49;
    218 
    219 static Expr _c_50;
    220 
    221 static Expr _c_51;
    222 
    223 static Expr _c_52;
    224 
    225 static Expr _c_53;
    226 
    227 static Expr _c_56;
    228 
    229 static Expr _c_57;
    230 
    231 static Expr _c_59;
    232 
    233 static Expr _c_60;
    234 
    235 static Expr _c_162;
    236 
    237 static Expr _c_61;
    238 
    239 static Expr _c_62;
    240 
    241 static Expr _c_63;
    242 
    243 static Expr _c_64;
    244 
    245 static Expr _c_90;
    246 
    247 static Expr _c_65;
    248 
    249 static Expr _c_66;
    250 
    251 static Expr _c_67;
    252 
    253 static Expr _c_68;
    254 
    255 static Expr _c_69;
    256 
    257 static Expr _c_70;
    258 
    259 static Expr _c_71;
    260 
    261 static Expr _c_72;
    262 
    263 static Expr _c_73;
    264 
    265 static Expr _c_74;
    266 
    267 static Expr _c_75;
    268 
    269 static Expr _c_92;
    270 
    271 static Expr _c_76;
    272 
    273 static Expr _c_77;
    274 
    275 static Expr _c_78;
    276 
    277 static Expr _c_79;
    278 
    279 static Expr _c_80;
    280 
    281 static Expr _c_81;
    282 
    283 static Expr _c_82;
    284 
    285 static Expr _c_83;
    286 
    287 static Expr _c_84;
    288 
    289 static Expr _c_85;
    290 
    291 static Expr _c_86;
    292 
    293 static Expr _c_87;
    294 
    295 static Expr _c_88;
    296 
    297 static Expr _c_89;
    298 
    299 static Expr _c_91;
    300 
    301 static Expr _c_93;
    302 
    303 static Expr _c_94;
    304 
    305 static Expr _c_95;
    306 
    307 static Expr _c_96;
    308 
    309 static Expr _c_163;
    310 
    311 static Expr _c_164;
    312 
    313 static Expr _c_165;
    314 
    315 static Expr _c_166;
    316 
    317 static Expr _c_167;
    318 
    319 static Expr _c_168;
    320 
    321 static Expr _c_169;
    322 
    323 static Expr _c_170;
    324 
    325 static Expr _c_171;
    326 
    327 static Expr _c_172;
    328 
    329 static Expr _c_173;
    330 
    331 static Expr _c_174;
    332 
    333 static Expr _c_175;
    334 
    335 static Expr _c_176;
    336 
    337 static Expr _c_177;
    338 
    339 static Expr _c_178;
    340 
    341 static Expr _c_179;
    342 
    343 static Expr _c_180;
    344 
    345 static Expr _c_97;
    346 
    347 static Expr _c_98;
    348 
    349 static Expr _c_99;
    350 
    351 static Expr _c_100;
    352 
    353 static Expr _c_101;
    354 
    355 static Expr _c_102;
    356 
    357 static Expr _c_103;
    358 
    359 static Expr _c_104;
    360 
    361 static Expr _c_105;
    362 
    363 static Expr _c_106;
    364 
    365 static Expr _c_107;
    366 
    367 static Expr _c_108;
    368 
    369 static Expr _c_109;
    370 
    371 static Expr _c_110;
    372 
    373 static Expr _c_111;
    374 
    375 static Expr _c_112;
    376 
    377 static Expr _c_113;
    378 
    379 static Expr _c_114;
    380 
    381 static Expr _c_115;
    382 
    383 static Expr _c_116;
    384 
    385 static Expr _c_117;
    386 
    387 static Expr _c_118;
    388 
    389 static Expr _c_119;
    390 
    391 static Expr _c_120;
    392 
    393 static Expr _c_181;
    394 
    395 static Expr _c_182;
    396 
    397 static Expr _c_133;
    398 
    399 static Expr _c_121;
    400 
    401 static Expr _c_122;
    402 
    403 static Expr _c_123;
    404 
    405 static Expr _c_131;
    406 
    407 static Expr _c_128;
    408 
    409 static Expr _c_124;
    410 
    411 static Expr _c_125;
    412 
    413 static Expr _c_126;
    414 
    415 static Expr _c_127;
    416 
    417 static Expr _c_129;
    418 
    419 static Expr _c_130;
    420 
    421 static Expr _c_183;
    422 
    423 static Expr _c_132;
    424 
    425 static Expr _c_134;
    426 
    427 static Expr _c_135;
    428 
    429 static Expr _c_136;
    430 
    431 static Expr _c_137;
    432 
    433 static Expr _c_138;
    434 
    435 static Expr _c_139;
    436 
    437 static Expr _c_140;
    438 
    439 static Expr _c_141;
    440 
    441 static Expr _c_142;
    442 
    443 static Expr _c_143;
    444 
    445 static Expr _c_144;
    446 
    447 static Expr _c_145;
    448 
    449 static Expr _c_146;
    450 
    451 static Expr _c_147;
    452455
    453456RF_FUNC (Main, RF_VOID, (RF_RES _v_res1;;))
     
    500503            goto _block3__branch1;
    501504          }
    502           RF_lsplit (_v__q_2, 0, _ve__e__e_tmp_m_rfpcrf_m_90_m_29, _v_lsplit___q_2);
     505          RF_lsplit (_v__q_2, 0, _ve__e__e_tmp_m_rfpcrf_m_92_m_29, _v_lsplit___q_2);
    503506          for ( ; ; RF_iter(_v__q_2)++)
    504507          {
     
    514517                goto _block3__branch1;
    515518              }
    516               uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_90_m_56 = (_v_len1 - _v_len2);
     519              uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_92_m_56 = (_v_len1 - _v_len2);
    517520              if (_v_lsplit___q_2.symbol_at (0))
    518521              {
     
    538541                goto _continue1;
    539542              }
    540               uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_90_m_42 = (_v_len5 - _v_len6);
     543              uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_92_m_42 = (_v_len5 - _v_len6);
    541544              if (_v_deref__deref__lsplit___q_2.symbol_at (0))
    542545              {
     
    551554              }
    552555              uintptr_t _v_len__next = (_v_len7 - _v_len8);
    553               Expr _ve__e__e_tmp_m_rfpcrf_m_90_m_56 (_v_lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_90_m_56);
    554               Expr _vt__e__e_tmp_m_rfpcrf_m_90_m_45 (_v_deref__lsplit___q_2, (0 + 1), 1);
     556              Expr _ve__e__e_tmp_m_rfpcrf_m_92_m_56 (_v_lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_92_m_56);
     557              Expr _vt__e__e_tmp_m_rfpcrf_m_92_m_45 (_v_deref__lsplit___q_2, (0 + 1), 1);
    555558              Expr _ve_descr (_v_deref__lsplit___q_2, (0 + 1 + 1), _v_len__descr);
    556               Expr _ve__e__e_tmp_m_rfpcrf_m_90_m_42 (_v_deref__deref__lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_90_m_42);
     559              Expr _ve__e__e_tmp_m_rfpcrf_m_92_m_42 (_v_deref__deref__lsplit___q_2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_92_m_42);
    557560              Expr _ve_next (_v_deref__deref__deref__lsplit___q_2, 0, _v_len__next);
    558561              Expr _gs_auxcall2;
     
    571574                    goto _block4__branch1;
    572575                  }
    573                   uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_93_m_36 = (_v_len9 - _v_len10);
     576                  uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_95_m_36 = (_v_len9 - _v_len10);
    574577                  if (_ve_descr.symbol_at (0))
    575578                  {
     
    584587                  }
    585588                  uintptr_t _v_len__arg = (_v_len11 - _v_len12);
    586                   Expr _ve__e__e_tmp_m_rfpcrf_m_93_m_36 (_ve_descr, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_93_m_36);
     589                  Expr _ve__e__e_tmp_m_rfpcrf_m_95_m_36 (_ve_descr, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_95_m_36);
    587590                  Expr _ve_arg (_v_deref__descr, 0, _v_len__arg);
    588591                  _ge_next__7 = (_c_7 + _ve_next + _c_6 + _ve_arg + _c_5);
     
    13271330                    }
    13281331                    Expr _v_compose1 ((_vt_interf + (_c_46 + _vt_asail_m_mod_m_name + _ge_module__10) ()));
    1329                     RF_lsplit (_v_compose1, 0, _ve__e__e_tmp_m_rfpcrf_m_232_m_64, _v_lsplit__compose1);
     1332                    RF_lsplit (_v_compose1, 0, _ve__e__e_tmp_m_rfpcrf_m_234_m_64, _v_lsplit__compose1);
    13301333                    for ( ; ; RF_iter(_v_compose1)++)
    13311334                    {
     
    13411344                          goto _block26__branch1;
    13421345                        }
    1343                         uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_232_m_73 = (_v_len29 - _v_len30);
     1346                        uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_234_m_73 = (_v_len29 - _v_len30);
    13441347                        Expr _vt_item (_v_lsplit__compose1, 0, 1);
    1345                         Expr _ve__e__e_tmp_m_rfpcrf_m_232_m_73 (_v_lsplit__compose1, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_232_m_73);
     1348                        Expr _ve__e__e_tmp_m_rfpcrf_m_234_m_73 (_v_lsplit__compose1, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_234_m_73);
    13461349                        RF_CALL (RFP_m_Pretty_m_Print, (_vs_channel, empty, _vt_item), /*void*/);
    13471350                      }
     
    13971400                  goto _block28__branch1;
    13981401                }
    1399                 Expr _vt__e__e_tmp_m_rfpcrf_m_240_m_38 (_v_deref__interf, (0 + 1), 1);
     1402                Expr _vt__e__e_tmp_m_rfpcrf_m_242_m_38 (_v_deref__interf, (0 + 1), 1);
    14001403                Expr _vv_headers (_v_deref__interf, (0 + 1 + 1), _v_len__headers);
    14011404                RF_CALL (Verbose, _c_52, /*void*/);
     
    15171520                  goto _block28__branch2;
    15181521                }
    1519                 uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_272_m_60 = (_v_len35 - _v_len36);
    1520                 Expr _vv__e__e_tmp_m_rfpcrf_m_272_m_60 (_ve_asail_m_module, 0, _v_len___e__e_tmp_m_rfpcrf_m_272_m_60);
     1522                uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_274_m_60 = (_v_len35 - _v_len36);
     1523                Expr _vv__e__e_tmp_m_rfpcrf_m_274_m_60 (_ve_asail_m_module, 0, _v_len___e__e_tmp_m_rfpcrf_m_274_m_60);
    15211524                RF_CALL (Verbose, _c_69, /*void*/);
    15221525                Expr _ge_module__10__12;
     
    15341537                    goto _block33__branch1;
    15351538                  }
    1536                   RF_lsplit (_v_Domain1, 0, _ve__e__e_tmp_m_rfpcrf_m_279_m_43, _v_lsplit__Domain1);
     1539                  RF_lsplit (_v_Domain1, 0, _ve__e__e_tmp_m_rfpcrf_m_281_m_43, _v_lsplit__Domain1);
    15371540                  for ( ; ; RF_iter(_v_Domain1)++)
    15381541                  {
     
    15481551                        goto _block33__branch1;
    15491552                      }
    1550                       uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_279_m_57 = (_v_len37 - _v_len38);
     1553                      uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_281_m_57 = (_v_len37 - _v_len38);
    15511554                      if (_v_lsplit__Domain1.symbol_at (0))
    15521555                      {
     
    15611564                      }
    15621565                      uintptr_t _v_len__include = (_v_len39 - _v_len40);
    1563                       Expr _ve__e__e_tmp_m_rfpcrf_m_279_m_57 (_v_lsplit__Domain1, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_279_m_57);
     1566                      Expr _ve__e__e_tmp_m_rfpcrf_m_281_m_57 (_v_lsplit__Domain1, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_281_m_57);
    15641567                      Expr _ve_include (_v_deref__lsplit__Domain1, 0, _v_len__include);
    15651568                      Expr _v_Lookup1;
     
    15771580                            goto _block34__branch1;
    15781581                          }
    1579                           uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_281_m_27 = (_v_len41 - _v_len42);
     1582                          uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_283_m_27 = (_v_len41 - _v_len42);
    15801583                          if (!_c_73.term_eq (_v_Lookup1, 0))
    15811584                          {
    15821585                            goto _block34__branch1;
    15831586                          }
    1584                           Expr _ve__e__e_tmp_m_rfpcrf_m_281_m_27 (_v_Lookup1, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_281_m_27);
     1587                          Expr _ve__e__e_tmp_m_rfpcrf_m_283_m_27 (_v_Lookup1, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_283_m_27);
    15851588                          _ge_include__15 = (_c_74 + _ve_include + _c_62);
    15861589                          goto _block34;
     
    15971600                          }
    15981601                          Expr _v_subexpr__Lookup1 (_v_Lookup1, (0 + 1), (_v_Lookup1.get_len () - (0 + 1 + 0)));
    1599                           RF_lsplit (_v_subexpr__Lookup1, 0, _ve__e__e_tmp_m_rfpcrf_m_282_m_28, _v_lsplit__Lookup1);
     1602                          RF_lsplit (_v_subexpr__Lookup1, 0, _ve__e__e_tmp_m_rfpcrf_m_284_m_28, _v_lsplit__Lookup1);
    16001603                          for ( ; ; RF_iter(_v_subexpr__Lookup1)++)
    16011604                          {
     
    16111614                                goto _block34__branch2;
    16121615                              }
    1613                               uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_282_m_68 = (_v_len43 - _v_len44);
     1616                              uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_284_m_68 = (_v_len43 - _v_len44);
    16141617                              if (!_c_78.eq (_v_lsplit__Lookup1, 0))
    16151618                              {
     
    16401643                                goto _continue7;
    16411644                              }
    1642                               Expr _vs__e__e_tmp_m_rfpcrf_m_282_m_36 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1), 1);
    1643                               Expr _vs__e__e_tmp_m_rfpcrf_m_282_m_46 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), 1);
    1644                               Expr _vs__e__e_tmp_m_rfpcrf_m_282_m_55 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), 1);
    1645                               Expr _ve__e__e_tmp_m_rfpcrf_m_282_m_68 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___e__e_tmp_m_rfpcrf_m_282_m_68);
     1645                              Expr _vs__e__e_tmp_m_rfpcrf_m_284_m_36 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1), 1);
     1646                              Expr _vs__e__e_tmp_m_rfpcrf_m_284_m_46 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), 1);
     1647                              Expr _vs__e__e_tmp_m_rfpcrf_m_284_m_55 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), 1);
     1648                              Expr _ve__e__e_tmp_m_rfpcrf_m_284_m_68 (_v_lsplit__Lookup1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___e__e_tmp_m_rfpcrf_m_284_m_68);
    16461649                              goto _continue6;
    16471650                            }
     
    17031706                  goto _block28__branch3;
    17041707                }
    1705                 uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_291_m_61 = (_v_len47 - _v_len48);
    1706                 Expr _vv__e__e_tmp_m_rfpcrf_m_291_m_61 (_ve_asail_m_module, 0, _v_len___e__e_tmp_m_rfpcrf_m_291_m_61);
     1708                uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_293_m_61 = (_v_len47 - _v_len48);
     1709                Expr _vv__e__e_tmp_m_rfpcrf_m_293_m_61 (_ve_asail_m_module, 0, _v_len___e__e_tmp_m_rfpcrf_m_293_m_61);
    17071710                RF_CALL (Verbose, _c_83, /*void*/);
    17081711                Expr _ge_module__10__12;
     
    17201723                    goto _block36__branch1;
    17211724                  }
    1722                   RF_lsplit (_v_Domain2, 0, _ve__e__e_tmp_m_rfpcrf_m_298_m_43, _v_lsplit__Domain2);
     1725                  RF_lsplit (_v_Domain2, 0, _ve__e__e_tmp_m_rfpcrf_m_300_m_43, _v_lsplit__Domain2);
    17231726                  for ( ; ; RF_iter(_v_Domain2)++)
    17241727                  {
     
    17341737                        goto _block36__branch1;
    17351738                      }
    1736                       uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_298_m_57 = (_v_len49 - _v_len50);
     1739                      uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_300_m_57 = (_v_len49 - _v_len50);
    17371740                      if (_v_lsplit__Domain2.symbol_at (0))
    17381741                      {
     
    17471750                      }
    17481751                      uintptr_t _v_len__include2 = (_v_len51 - _v_len52);
    1749                       Expr _ve__e__e_tmp_m_rfpcrf_m_298_m_57 (_v_lsplit__Domain2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_298_m_57);
     1752                      Expr _ve__e__e_tmp_m_rfpcrf_m_300_m_57 (_v_lsplit__Domain2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_300_m_57);
    17501753                      Expr _ve_include (_v_deref__lsplit__Domain2, 0, _v_len__include2);
    17511754                      Expr _v_Lookup2;
     
    17631766                            goto _block37__branch1;
    17641767                          }
    1765                           uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_300_m_27 = (_v_len53 - _v_len54);
     1768                          uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_302_m_27 = (_v_len53 - _v_len54);
    17661769                          if (!_c_73.term_eq (_v_Lookup2, 0))
    17671770                          {
    17681771                            goto _block37__branch1;
    17691772                          }
    1770                           Expr _ve__e__e_tmp_m_rfpcrf_m_300_m_27 (_v_Lookup2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_300_m_27);
     1773                          Expr _ve__e__e_tmp_m_rfpcrf_m_302_m_27 (_v_Lookup2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_302_m_27);
    17711774                          _ge_include__15 = (_c_74 + _ve_include + _c_62);
    17721775                          goto _block37;
     
    18401843                  goto _block28__branch4;
    18411844                }
    1842                 Expr _vt__e__e_tmp_m_rfpcrf_m_311_m_38 (_v_deref__interf2, (0 + 1), 1);
     1845                Expr _vt__e__e_tmp_m_rfpcrf_m_313_m_38 (_v_deref__interf2, (0 + 1), 1);
    18431846                Expr _ve_headers (_v_deref__interf2, (0 + 1 + 1), _v_len__headers2);
    18441847                Expr _ve_exports;
     
    19061909                      goto _block41__branch2;
    19071910                    }
    1908                     uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_325_m_30 = (_v_len61 - _v_len62);
    1909                     Expr _vv__e__e_tmp_m_rfpcrf_m_325_m_30 (_ve_dirname, 0, _v_len___e__e_tmp_m_rfpcrf_m_325_m_30);
     1911                    uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_327_m_30 = (_v_len61 - _v_len62);
     1912                    Expr _vv__e__e_tmp_m_rfpcrf_m_327_m_30 (_ve_dirname, 0, _v_len___e__e_tmp_m_rfpcrf_m_327_m_30);
    19101913                    _ge_java_m_module_m_name__14 = (_ve_dirname + _vs_dir_m_separator + _ve_java_m_module_m_name);
    19111914                    goto _block41;
     
    19271930                      goto _block42__branch1;
    19281931                    }
    1929                     RF_lsplit (_v__q_5, 0, _ve__e__e_tmp_m_rfpcrf_m_330_m_42, _v_lsplit___q_5);
     1932                    RF_lsplit (_v__q_5, 0, _ve__e__e_tmp_m_rfpcrf_m_332_m_42, _v_lsplit___q_5);
    19301933                    for ( ; ; RF_iter(_v__q_5)++)
    19311934                    {
     
    19411944                          goto _block42__branch1;
    19421945                        }
    1943                         uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_330_m_52 = (_v_len63 - _v_len64);
     1946                        uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_332_m_52 = (_v_len63 - _v_len64);
    19441947                        if (_v_lsplit___q_5.symbol_at (0))
    19451948                        {
     
    19541957                        }
    19551958                        uintptr_t _v_len__dir2 = (_v_len65 - _v_len66);
    1956                         Expr _ve__e__e_tmp_m_rfpcrf_m_330_m_52 (_v_lsplit___q_5, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_330_m_52);
     1959                        Expr _ve__e__e_tmp_m_rfpcrf_m_332_m_52 (_v_lsplit___q_5, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_332_m_52);
    19571960                        Expr _ve_dir (_v_deref__lsplit___q_5, 0, _v_len__dir2);
    19581961                        {
     
    20082011                      goto _block44__branch1;
    20092012                    }
    2010                     uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_338_m_30 = (_v_len69 - _v_len70);
    2011                     Expr _vv__e__e_tmp_m_rfpcrf_m_338_m_30 (_ve_package, 0, _v_len___e__e_tmp_m_rfpcrf_m_338_m_30);
     2013                    uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_340_m_30 = (_v_len69 - _v_len70);
     2014                    Expr _vv__e__e_tmp_m_rfpcrf_m_340_m_30 (_ve_package, 0, _v_len___e__e_tmp_m_rfpcrf_m_340_m_30);
    20122015                    Expr _ge_auxcall12;
    20132016                    RF_CALL (rfp__helper::Subst, (_vs_dir_m_separator, _c_89, _ve_package), _ge_auxcall12);
     
    20242027                    goto _block45__branch1;
    20252028                  }
    2026                   RF_lsplit (_ve_inputs, 0, _ve__e__e_tmp_m_rfpcrf_m_344_m_29, _v_lsplit__inputs);
     2029                  RF_lsplit (_ve_inputs, 0, _ve__e__e_tmp_m_rfpcrf_m_346_m_29, _v_lsplit__inputs);
    20272030                  for ( ; ; RF_iter(_ve_inputs)++)
    20282031                  {
     
    20382041                        goto _block45__branch1;
    20392042                      }
    2040                       uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_344_m_47 = (_v_len71 - _v_len72);
     2043                      uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_346_m_47 = (_v_len71 - _v_len72);
    20412044                      if (_v_lsplit__inputs.symbol_at (0))
    20422045                      {
     
    20512054                      }
    20522055                      uintptr_t _v_len__java_m_module = (_v_len73 - _v_len74);
    2053                       Expr _ve__e__e_tmp_m_rfpcrf_m_344_m_47 (_v_lsplit__inputs, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_344_m_47);
     2056                      Expr _ve__e__e_tmp_m_rfpcrf_m_346_m_47 (_v_lsplit__inputs, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_346_m_47);
    20542057                      Expr _vv_java_m_module (_v_deref__lsplit__inputs, 0, _v_len__java_m_module);
    20552058                      Expr _ge_java_m_module__18;
     
    20692072                                goto _block47__branch1;
    20702073                              }
    2071                               uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_346_m_27 = (_v_len75 - _v_len76);
     2074                              uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_348_m_27 = (_v_len75 - _v_len76);
    20722075                              if (!_c_73.term_eq (_v_Lookup3, 0))
    20732076                              {
    20742077                                goto _block47__branch1;
    20752078                              }
    2076                               Expr _ve__e__e_tmp_m_rfpcrf_m_346_m_27 (_v_Lookup3, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_346_m_27);
     2079                              Expr _ve__e__e_tmp_m_rfpcrf_m_348_m_27 (_v_Lookup3, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_348_m_27);
    20772080                              _ge_java_m_module__18 = (_c_93 + _vv_java_m_module);
    20782081                              goto _block47;
     
    20972100                              goto _block46__branch1;
    20982101                            }
    2099                             RF_lsplit (_v__q_6, 0, _ve__e__e_tmp_m_rfpcrf_m_348_m_48, _v_lsplit___q_6);
     2102                            RF_lsplit (_v__q_6, 0, _ve__e__e_tmp_m_rfpcrf_m_350_m_48, _v_lsplit___q_6);
    21002103                            for ( ; ; RF_iter(_v__q_6)++)
    21012104                            {
     
    21112114                                  goto _block46__branch1;
    21122115                                }
    2113                                 uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_348_m_58 = (_v_len79 - _v_len80);
     2116                                uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_350_m_58 = (_v_len79 - _v_len80);
    21142117                                if (_v_lsplit___q_6.symbol_at (0))
    21152118                                {
     
    21242127                                }
    21252128                                uintptr_t _v_len__dir3 = (_v_len81 - _v_len82);
    2126                                 Expr _ve__e__e_tmp_m_rfpcrf_m_348_m_58 (_v_lsplit___q_6, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_348_m_58);
     2129                                Expr _ve__e__e_tmp_m_rfpcrf_m_350_m_58 (_v_lsplit___q_6, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_350_m_58);
    21272130                                Expr _ve_dir (_v_deref__lsplit___q_6, 0, _v_len__dir3);
    21282131                                Expr _ve_p;
     
    21842187                        goto _continue10;
    21852188                      }
    2186                       RF_lsplit (_ge_java_m_module__18, 0, _ve__e__e_tmp_m_rfpcrf_m_358_m_39, _v_lsplit__java_m_module__18);
     2189                      RF_lsplit (_ge_java_m_module__18, 0, _ve__e__e_tmp_m_rfpcrf_m_360_m_39, _v_lsplit__java_m_module__18);
    21872190                      for ( ; ; RF_iter(_ge_java_m_module__18)++)
    21882191                      {
     
    21982201                            goto _continue10;
    21992202                          }
    2200                           uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_358_m_45 = (_v_len85 - _v_len86);
     2203                          uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_360_m_45 = (_v_len85 - _v_len86);
    22012204                          if (!_c_13.term_eq (_v_lsplit__java_m_module__18, 0))
    22022205                          {
    22032206                            goto _continue12;
    22042207                          }
    2205                           Expr _ve__e__e_tmp_m_rfpcrf_m_358_m_45 (_v_lsplit__java_m_module__18, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_358_m_45);
     2208                          Expr _ve__e__e_tmp_m_rfpcrf_m_360_m_45 (_v_lsplit__java_m_module__18, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_360_m_45);
    22062209                          goto _exit12;
    22072210                        }
     
    22402243              }
    22412244              RF_CALL (Verbose, _c_95, /*void*/);
    2242               if ((1 != 1))
    2243               {
    2244                 goto _continue2;
    2245               }
    2246               if (_vt_interf.symbol_at (0))
    2247               {
    2248                 goto _continue2;
    2249               }
    2250               Expr _v_deref__interf3 (_vt_interf, 0);
    2251               uintptr_t _v_len87 = _v_deref__interf3.get_len ();
    2252               uintptr_t _v_len88 = 2;
    2253               if ((_v_len87 < _v_len88))
    2254               {
    2255                 goto _continue2;
    2256               }
    2257               uintptr_t _v_len__headers3 = (_v_len87 - _v_len88);
    2258               if (!_c_45.term_eq (_v_deref__interf3, 0))
    2259               {
    2260                 goto _continue2;
    2261               }
    2262               Expr _vt__e__e_tmp_m_rfpcrf_m_367_m_38 (_v_deref__interf3, (0 + 1), 1);
    2263               Expr _ve_headers (_v_deref__interf3, (0 + 1 + 1), _v_len__headers3);
    2264               Expr _ve_exports;
    2265               Expr _ge_headers__14 (_ve_headers);
    2266               Expr _ge_exports__14 (empty);
    2267               for ( ; ; )
    2268               {
    2269                 {
    2270                   if ((_ge_headers__14.get_len () != 0))
    2271                   {
    2272                     goto _iter3;
    2273                   }
    2274                   _ve_exports = _ge_exports__14;
    2275                   goto _exit__iter3;
    2276                 }
    2277               _iter3: {}
    2278                 uintptr_t _v_len89 = _ge_headers__14.get_len ();
    2279                 uintptr_t _v_len90 = 1;
    2280                 if ((_v_len89 < _v_len90))
    2281                 {
    2282                   RF_FUNC_ERROR (unexpected_fail);
    2283                 }
    2284                 uintptr_t _v_len__rest2 = (_v_len89 - _v_len90);
    2285                 if (_ge_headers__14.symbol_at (0))
    2286                 {
    2287                   RF_FUNC_ERROR (unexpected_fail);
    2288                 }
    2289                 Expr _v_deref__headers__142 (_ge_headers__14, 0);
    2290                 if ((_v_deref__headers__142.get_len () != 2))
    2291                 {
    2292                   RF_FUNC_ERROR (unexpected_fail);
    2293                 }
    2294                 if (!_v_deref__headers__142.symbol_at (0))
    2295                 {
    2296                   RF_FUNC_ERROR (unexpected_fail);
    2297                 }
    2298                 Expr _ve_rest (_ge_headers__14, (0 + 1), _v_len__rest2);
    2299                 Expr _vs_decl (_v_deref__headers__142, 0, 1);
    2300                 Expr _vt_name (_v_deref__headers__142, (0 + 1), 1);
    2301                 _ge_headers__14 = _ve_rest;
    2302                 _ge_exports__14 = (_ge_exports__14 + _vt_name);
    2303               }
    2304             _exit__iter3: {}
    2305               Expr _ve_java_m_module_m_name;
    2306               Expr _ve_inputs;
    2307               Expr _ge_module__10__13;
    2308               RF_CALL (rfp__asail__jbc::RFP_m_ASAIL_m_To_m_JBC, (_vt_asail_m_mod_m_name, _ve_exports, _ge_module__10), (_ve_java_m_module_m_name, _ve_inputs, _ge_module__10__13));
    2309               RF_CALL (Verbose, _c_96, /*void*/);
    2310               Expr _ge_java_m_module_m_name__14;
    2311               {
    2312                 {
    2313                   if (!RF_CALL (Table::In_m_Table_q_, (rfp__helper::RFP_m_Options, _c_15), /*void*/))
    2314                   {
    2315                     goto _block53__branch1;
    2316                   }
    2317                   _ge_java_m_module_m_name__14 = _ve_basename;
    2318                   goto _block53;
    2319                 }
    2320               _block53__branch1: {}
    2321                 {
    2322                   uintptr_t _v_len91 = _ve_dirname.get_len ();
    2323                   uintptr_t _v_len92 = 0;
    2324                   if ((_v_len91 < (_v_len92 + 1)))
    2325                   {
    2326                     goto _block53__branch2;
    2327                   }
    2328                   uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_381_m_30 = (_v_len91 - _v_len92);
    2329                   Expr _vv__e__e_tmp_m_rfpcrf_m_381_m_30 (_ve_dirname, 0, _v_len___e__e_tmp_m_rfpcrf_m_381_m_30);
    2330                   _ge_java_m_module_m_name__14 = (_ve_dirname + _vs_dir_m_separator + _ve_java_m_module_m_name);
    2331                   goto _block53;
    2332                 }
    2333               _block53__branch2: {}
    2334                 _ge_java_m_module_m_name__14 = _ve_java_m_module_m_name;
    2335               }
    2336             _block53: {}
    2337               Expr _vs_channel;
    2338               Expr _vs_need_m_close_q_;
    2339               RF_CALL (Open_m_Channel, (_ge_java_m_module_m_name__14, _c_88), (_vs_channel, _vs_need_m_close_q_));
     2245              Expr _ve_dir;
    23402246              Expr _ve_package;
    23412247              {
     
    23452251                  if ((_v__q_7.get_len () < 1))
    23462252                  {
    2347                     goto _block54__branch1;
    2348                   }
    2349                   RF_lsplit (_v__q_7, 0, _ve__e__e_tmp_m_rfpcrf_m_386_m_42, _v_lsplit___q_7);
     2253                    goto _block51__branch1;
     2254                  }
     2255                  RF_lsplit (_v__q_7, 0, _ve__e__e_tmp_m_rfpcrf_m_370_m_42, _v_lsplit___q_7);
    23502256                  for ( ; ; RF_iter(_v__q_7)++)
    23512257                  {
     
    23532259                      if (!RF_iter(_v__q_7))
    23542260                      {
    2355                         goto _block54__branch1;
    2356                       }
    2357                       uintptr_t _v_len93 = _v_lsplit___q_7.get_len ();
    2358                       uintptr_t _v_len94 = 1;
    2359                       if ((_v_len93 < _v_len94))
    2360                       {
    2361                         goto _block54__branch1;
    2362                       }
    2363                       uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_386_m_52 = (_v_len93 - _v_len94);
     2261                        goto _block51__branch1;
     2262                      }
     2263                      uintptr_t _v_len87 = _v_lsplit___q_7.get_len ();
     2264                      uintptr_t _v_len88 = 1;
     2265                      if ((_v_len87 < _v_len88))
     2266                      {
     2267                        goto _block51__branch1;
     2268                      }
     2269                      uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_370_m_52 = (_v_len87 - _v_len88);
    23642270                      if (_v_lsplit___q_7.symbol_at (0))
    23652271                      {
     
    23672273                      }
    23682274                      Expr _v_deref__lsplit___q_7 (_v_lsplit___q_7, 0);
    2369                       uintptr_t _v_len95 = _v_deref__lsplit___q_7.get_len ();
    2370                       uintptr_t _v_len96 = 0;
    2371                       if ((_v_len95 < _v_len96))
     2275                      uintptr_t _v_len89 = _v_deref__lsplit___q_7.get_len ();
     2276                      uintptr_t _v_len90 = 0;
     2277                      if ((_v_len89 < _v_len90))
    23722278                      {
    23732279                        goto _continue13;
    23742280                      }
    2375                       uintptr_t _v_len__dir4 = (_v_len95 - _v_len96);
    2376                       Expr _ve__e__e_tmp_m_rfpcrf_m_386_m_52 (_v_lsplit___q_7, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_386_m_52);
    2377                       Expr _ve_dir (_v_deref__lsplit___q_7, 0, _v_len__dir4);
     2281                      uintptr_t _v_len__dir__14 = (_v_len89 - _v_len90);
     2282                      Expr _ve__e__e_tmp_m_rfpcrf_m_370_m_52 (_v_lsplit___q_7, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_370_m_52);
     2283                      Expr _ge_dir__14 (_v_deref__lsplit___q_7, 0, _v_len__dir__14);
    23782284                      {
    23792285                        {
    2380                           if ((_ve_dirname.get_len () != _v_len__dir4))
     2286                          if ((_ve_dirname.get_len () != _v_len__dir__14))
    23812287                          {
    2382                             goto _block55__branch1;
     2288                            goto _block52__branch1;
    23832289                          }
    2384                           if (!_ve_dir.eq (_ve_dirname, 0))
     2290                          if (!_ge_dir__14.eq (_ve_dirname, 0))
    23852291                          {
    2386                             goto _block55__branch1;
     2292                            goto _block52__branch1;
    23872293                          }
     2294                          _ve_dir = (_ge_dir__14 + _vs_dir_m_separator);
    23882295                          _ve_package = empty;
    2389                           goto _block55;
     2296                          goto _block52;
    23902297                        }
    2391                       _block55__branch1: {}
    2392                         uintptr_t _v_len97 = _ve_dirname.get_len ();
    2393                         uintptr_t _v_len98 = (_v_len__dir4 + 1);
    2394                         if ((_v_len97 < _v_len98))
     2298                      _block52__branch1: {}
     2299                        uintptr_t _v_len91 = _ve_dirname.get_len ();
     2300                        uintptr_t _v_len92 = (_v_len__dir__14 + 1);
     2301                        if ((_v_len91 < _v_len92))
    23952302                        {
    23962303                          goto _continue13;
    23972304                        }
    2398                         uintptr_t _v_len__package__182 = (_v_len97 - _v_len98);
    2399                         if (!_ve_dir.eq (_ve_dirname, 0))
     2305                        uintptr_t _v_len__package__16 = (_v_len91 - _v_len92);
     2306                        if (!_ge_dir__14.eq (_ve_dirname, 0))
    24002307                        {
    24012308                          goto _continue13;
    24022309                        }
    2403                         if (!_vs_dir_m_separator.term_eq (_ve_dirname, (0 + _v_len__dir4)))
     2310                        if (!_vs_dir_m_separator.term_eq (_ve_dirname, (0 + _v_len__dir__14)))
    24042311                        {
    24052312                          goto _continue13;
    24062313                        }
    2407                         Expr _ge_package__18 (_ve_dirname, (0 + _v_len__dir4 + 1), _v_len__package__182);
    2408                         _ve_package = _ge_package__18;
    2409                       }
    2410                     _block55: {}
     2314                        Expr _ge_package__16 (_ve_dirname, (0 + _v_len__dir__14 + 1), _v_len__package__16);
     2315                        _ve_dir = (_ge_dir__14 + _vs_dir_m_separator);
     2316                        _ve_package = _ge_package__16;
     2317                      }
     2318                    _block52: {}
    24112319                      goto _exit13;
    24122320                    }
     
    24142322                  }
    24152323                _exit13: {}
    2416                   goto _block54;
    2417                 }
    2418               _block54__branch1: {}
     2324                  goto _block51;
     2325                }
     2326              _block51__branch1: {}
     2327                _ve_dir = empty;
    24192328                _ve_package = _ve_dirname;
    24202329              }
    2421             _block54: {}
    2422               {
    2423                 {
    2424                   uintptr_t _v_len99 = _ve_package.get_len ();
    2425                   uintptr_t _v_len100 = 0;
    2426                   if ((_v_len99 < (_v_len100 + 1)))
    2427                   {
    2428                     goto _block56__branch1;
    2429                   }
    2430                   uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_394_m_30 = (_v_len99 - _v_len100);
    2431                   Expr _vv__e__e_tmp_m_rfpcrf_m_394_m_30 (_ve_package, 0, _v_len___e__e_tmp_m_rfpcrf_m_394_m_30);
    2432                   Expr _ge_auxcall15;
    2433                   RF_CALL (rfp__helper::Subst, (_vs_dir_m_separator, _c_89, _ve_package), _ge_auxcall15);
    2434                   RF_CALL (StdIO::PrintLN_e_, (_vs_channel, (_c_91 + _ge_auxcall15 + _c_90)), /*void*/);
    2435                   goto _block56;
    2436                 }
    2437               _block56__branch1: {}
    2438               }
    2439             _block56: {}
    2440               RF_CALL (StdIO::PrintLN_e_, (_vs_channel, _c_92), /*void*/);
    2441               {
    2442                 if ((_ve_inputs.get_len () < 1))
    2443                 {
    2444                   goto _block57__branch1;
    2445                 }
    2446                 RF_lsplit (_ve_inputs, 0, _ve__e__e_tmp_m_rfpcrf_m_400_m_29, _v_lsplit__inputs2);
    2447                 for ( ; ; RF_iter(_ve_inputs)++)
    2448                 {
    2449                   {
    2450                     if (!RF_iter(_ve_inputs))
    2451                     {
    2452                       goto _block57__branch1;
    2453                     }
    2454                     uintptr_t _v_len101 = _v_lsplit__inputs2.get_len ();
    2455                     uintptr_t _v_len102 = 1;
    2456                     if ((_v_len101 < _v_len102))
    2457                     {
    2458                       goto _block57__branch1;
    2459                     }
    2460                     uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_400_m_47 = (_v_len101 - _v_len102);
    2461                     if (_v_lsplit__inputs2.symbol_at (0))
    2462                     {
    2463                       goto _continue14;
    2464                     }
    2465                     Expr _v_deref__lsplit__inputs2 (_v_lsplit__inputs2, 0);
    2466                     uintptr_t _v_len103 = _v_deref__lsplit__inputs2.get_len ();
    2467                     uintptr_t _v_len104 = 0;
    2468                     if ((_v_len103 < (_v_len104 + 1)))
    2469                     {
    2470                       goto _continue14;
    2471                     }
    2472                     uintptr_t _v_len__java_m_module2 = (_v_len103 - _v_len104);
    2473                     Expr _ve__e__e_tmp_m_rfpcrf_m_400_m_47 (_v_lsplit__inputs2, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_400_m_47);
    2474                     Expr _vv_java_m_module (_v_deref__lsplit__inputs2, 0, _v_len__java_m_module2);
    2475                     Expr _ge_java_m_module__18;
    2476                     {
    2477                       {
    2478                         Expr _v_Lookup4;
    2479                         if (!RF_CALL (Table::Lookup, (RFP_m_Includes, _vv_java_m_module), _v_Lookup4))
    2480                         {
    2481                           goto _block58__branch1;
    2482                         }
    2483                         {
    2484                           {
    2485                             uintptr_t _v_len105 = _v_Lookup4.get_len ();
    2486                             uintptr_t _v_len106 = 1;
    2487                             if ((_v_len105 < _v_len106))
    2488                             {
    2489                               goto _block59__branch1;
    2490                             }
    2491                             uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_402_m_27 = (_v_len105 - _v_len106);
    2492                             if (!_c_73.term_eq (_v_Lookup4, 0))
    2493                             {
    2494                               goto _block59__branch1;
    2495                             }
    2496                             Expr _ve__e__e_tmp_m_rfpcrf_m_402_m_27 (_v_Lookup4, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_402_m_27);
    2497                             _ge_java_m_module__18 = (_c_93 + _vv_java_m_module);
    2498                             goto _block59;
    2499                           }
    2500                         _block59__branch1: {}
    2501                           uintptr_t _v_len107 = _v_Lookup4.get_len ();
    2502                           uintptr_t _v_len108 = 1;
    2503                           if ((_v_len107 < _v_len108))
    2504                           {
    2505                             goto _block58__branch1;
    2506                           }
    2507                           uintptr_t _v_len__path4 = (_v_len107 - _v_len108);
    2508                           if (!_c_79.term_eq (_v_Lookup4, 0))
    2509                           {
    2510                             goto _block58__branch1;
    2511                           }
    2512                           Expr _ve_path (_v_Lookup4, (0 + 1), _v_len__path4);
    2513                           Expr _v__q_8;
    2514                           RF_CALL (Box::_q_, RFP_m_Include_m_Path, _v__q_8);
    2515                           if ((_v__q_8.get_len () < 1))
    2516                           {
    2517                             goto _block58__branch1;
    2518                           }
    2519                           RF_lsplit (_v__q_8, 0, _ve__e__e_tmp_m_rfpcrf_m_404_m_48, _v_lsplit___q_8);
    2520                           for ( ; ; RF_iter(_v__q_8)++)
    2521                           {
    2522                             {
    2523                               if (!RF_iter(_v__q_8))
    2524                               {
    2525                                 goto _block58__branch1;
    2526                               }
    2527                               uintptr_t _v_len109 = _v_lsplit___q_8.get_len ();
    2528                               uintptr_t _v_len110 = 1;
    2529                               if ((_v_len109 < _v_len110))
    2530                               {
    2531                                 goto _block58__branch1;
    2532                               }
    2533                               uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_404_m_58 = (_v_len109 - _v_len110);
    2534                               if (_v_lsplit___q_8.symbol_at (0))
    2535                               {
    2536                                 goto _continue15;
    2537                               }
    2538                               Expr _v_deref__lsplit___q_8 (_v_lsplit___q_8, 0);
    2539                               uintptr_t _v_len111 = _v_deref__lsplit___q_8.get_len ();
    2540                               uintptr_t _v_len112 = 0;
    2541                               if ((_v_len111 < _v_len112))
    2542                               {
    2543                                 goto _continue15;
    2544                               }
    2545                               uintptr_t _v_len__dir5 = (_v_len111 - _v_len112);
    2546                               Expr _ve__e__e_tmp_m_rfpcrf_m_404_m_58 (_v_lsplit___q_8, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_404_m_58);
    2547                               Expr _ve_dir (_v_deref__lsplit___q_8, 0, _v_len__dir5);
    2548                               Expr _ve_p;
    2549                               {
    2550                                 {
    2551                                   if ((_v_len__path4 != _v_len__dir5))
    2552                                   {
    2553                                     goto _block60__branch1;
    2554                                   }
    2555                                   if (!_ve_dir.eq (_ve_path, 0))
    2556                                   {
    2557                                     goto _block60__branch1;
    2558                                   }
    2559                                   _ve_p = empty;
    2560                                   goto _block60;
    2561                                 }
    2562                               _block60__branch1: {}
    2563                                 uintptr_t _v_len113 = _v_len__path4;
    2564                                 uintptr_t _v_len114 = (_v_len__dir5 + 1);
    2565                                 if ((_v_len113 < _v_len114))
    2566                                 {
    2567                                   goto _continue15;
    2568                                 }
    2569                                 uintptr_t _v_len__p__232 = (_v_len113 - _v_len114);
    2570                                 if (!_ve_dir.eq (_ve_path, 0))
    2571                                 {
    2572                                   goto _continue15;
    2573                                 }
    2574                                 if (!_vs_dir_m_separator.term_eq (_ve_path, (0 + _v_len__dir5)))
    2575                                 {
    2576                                   goto _continue15;
    2577                                 }
    2578                                 Expr _ge_p__23 (_ve_path, (0 + _v_len__dir5 + 1), _v_len__p__232);
    2579                                 _ve_p = _ge_p__23;
    2580                               }
    2581                             _block60: {}
    2582                               Expr _ge_auxcall16;
    2583                               RF_CALL (rfp__helper::Subst, (_vs_dir_m_separator, _c_89, _ve_p), _ge_auxcall16);
    2584                               Expr _gs_auxcall17;
    2585                               RF_CALL (Convert::To_m_Word, _vv_java_m_module, _gs_auxcall17);
    2586                               Expr _v_Rfp2Java2;
    2587                               RF_CALL (JavaMangle::Rfp2Java, _gs_auxcall17, _v_Rfp2Java2);
    2588                               _ge_java_m_module__18 = (_ge_auxcall16 + _v_Rfp2Java2);
    2589                               goto _exit15;
    2590                             }
    2591                         _continue15: {}
    2592                           }
    2593                         _exit15: {}
    2594                         }
    2595                       _block59: {}
    2596                         goto _block58;
    2597                       }
    2598                     _block58__branch1: {}
    2599                       _ge_java_m_module__18 = _vv_java_m_module;
    2600                     }
    2601                   _block58: {}
    2602                     if ((_ge_java_m_module__18.get_len () < 1))
    2603                     {
    2604                       goto _continue14;
    2605                     }
    2606                     RF_lsplit (_ge_java_m_module__18, 0, _ve__e__e_tmp_m_rfpcrf_m_414_m_39, _v_lsplit__java_m_module__182);
    2607                     for ( ; ; RF_iter(_ge_java_m_module__18)++)
    2608                     {
    2609                       {
    2610                         if (!RF_iter(_ge_java_m_module__18))
    2611                         {
    2612                           goto _continue14;
    2613                         }
    2614                         uintptr_t _v_len115 = _v_lsplit__java_m_module__182.get_len ();
    2615                         uintptr_t _v_len116 = 1;
    2616                         if ((_v_len115 < _v_len116))
    2617                         {
    2618                           goto _continue14;
    2619                         }
    2620                         uintptr_t _v_len___e__e_tmp_m_rfpcrf_m_414_m_45 = (_v_len115 - _v_len116);
    2621                         if (!_c_13.term_eq (_v_lsplit__java_m_module__182, 0))
    2622                         {
    2623                           goto _continue16;
    2624                         }
    2625                         Expr _ve__e__e_tmp_m_rfpcrf_m_414_m_45 (_v_lsplit__java_m_module__182, (0 + 1), _v_len___e__e_tmp_m_rfpcrf_m_414_m_45);
    2626                         goto _exit16;
    2627                       }
    2628                   _continue16: {}
    2629                     }
    2630                   _exit16: {}
    2631                     RF_CALL (StdIO::PrintLN_e_, (_vs_channel, (_c_94 + _ge_java_m_module__18 + _c_65)), /*void*/);
    2632                   }
    2633               _continue14: {}
    2634                 }
    2635               _exit14: {}
    2636               }
    2637             _block57__branch1: {}
    2638               RF_CALL (CPP_m_Pretty_m_Print, (_c_59, _vs_channel, empty, _ge_module__10__13), /*void*/);
    2639               {
    2640                 {
    2641                   if ((1 != 1))
    2642                   {
    2643                     goto _block62__branch1;
    2644                   }
    2645                   if (!_vs_need_m_close_q_.term_eq (_c_0, 0))
    2646                   {
    2647                     goto _block62__branch1;
    2648                   }
    2649                   RF_CALL (StdIO::Close_m_Channel, _vs_channel, /*void*/);
    2650                   goto _block62;
    2651                 }
    2652               _block62__branch1: {}
    2653               }
    2654             _block62: {}
     2330            _block51: {}
     2331              if ((1 != 1))
     2332              {
     2333                goto _continue2;
     2334              }
     2335              if (_vt_interf.symbol_at (0))
     2336              {
     2337                goto _continue2;
     2338              }
     2339              Expr _v_deref__interf3 (_vt_interf, 0);
     2340              uintptr_t _v_len93 = _v_deref__interf3.get_len ();
     2341              uintptr_t _v_len94 = 2;
     2342              if ((_v_len93 < _v_len94))
     2343              {
     2344                goto _continue2;
     2345              }
     2346              uintptr_t _v_len__headers3 = (_v_len93 - _v_len94);
     2347              if (!_c_45.term_eq (_v_deref__interf3, 0))
     2348              {
     2349                goto _continue2;
     2350              }
     2351              Expr _vt__e__e_tmp_m_rfpcrf_m_377_m_38 (_v_deref__interf3, (0 + 1), 1);
     2352              Expr _ve_headers (_v_deref__interf3, (0 + 1 + 1), _v_len__headers3);
     2353              Expr _ve_exports;
     2354              Expr _ge_headers__15 (_ve_headers);
     2355              Expr _ge_exports__15 (empty);
     2356              for ( ; ; )
     2357              {
     2358                {
     2359                  if ((_ge_headers__15.get_len () != 0))
     2360                  {
     2361                    goto _iter3;
     2362                  }
     2363                  _ve_exports = _ge_exports__15;
     2364                  goto _exit__iter3;
     2365                }
     2366              _iter3: {}
     2367                uintptr_t _v_len95 = _ge_headers__15.get_len ();
     2368                uintptr_t _v_len96 = 1;
     2369                if ((_v_len95 < _v_len96))
     2370                {
     2371                  RF_FUNC_ERROR (unexpected_fail);
     2372                }
     2373                uintptr_t _v_len__rest2 = (_v_len95 - _v_len96);
     2374                if (_ge_headers__15.symbol_at (0))
     2375                {
     2376                  RF_FUNC_ERROR (unexpected_fail);
     2377                }
     2378                Expr _v_deref__headers__15 (_ge_headers__15, 0);
     2379                if ((_v_deref__headers__15.get_len () != 2))
     2380                {
     2381                  RF_FUNC_ERROR (unexpected_fail);
     2382                }
     2383                if (!_v_deref__headers__15.symbol_at (0))
     2384                {
     2385                  RF_FUNC_ERROR (unexpected_fail);
     2386                }
     2387                Expr _ve_rest (_ge_headers__15, (0 + 1), _v_len__rest2);
     2388                Expr _vs_decl (_v_deref__headers__15, 0, 1);
     2389                Expr _vt_name (_v_deref__headers__15, (0 + 1), 1);
     2390                _ge_headers__15 = _ve_rest;
     2391                _ge_exports__15 = (_ge_exports__15 + _vt_name);
     2392              }
     2393            _exit__iter3: {}
     2394              Expr _vs_bytecode;
     2395              Expr _ve_java_m_module_m_name;
     2396              RF_CALL (rfp__asail__jbc::RFP_m_ASAIL_m_To_m_JBC, (_vt_asail_m_mod_m_name, _ve_package, _ve_exports, _ge_module__10), (_vs_bytecode, _ve_java_m_module_m_name));
     2397              Expr _ge_auxcall15;
     2398              RF_CALL (List::Intersperse, (_vs_dir_m_separator, _ve_java_m_module_m_name), _ge_auxcall15);
     2399              Expr _gs_auxcall16;
     2400              RF_CALL (Convert::To_m_Word, (_ve_dir + _ge_auxcall15 + _c_96), _gs_auxcall16);
     2401              Expr _gs_auxcall17;
     2402              RF_CALL (Error::Not_m_Available, (Expr::create<Word>("FileOutputStream") + Expr::create<Word>("FileOutputStream")), /*void*/);
     2403              RF_CALL (Error::Not_m_Available, (Expr::create<Word>("FileOutputStream") + Expr::create<Word>("WriteToStream")), /*void*/);
     2404              RF_CALL (Verbose, _c_97, /*void*/);
    26552405              goto _continue2;
    26562406            }
     
    26642414    }
    26652415  _block1__branch2: {}
    2666     uintptr_t _v_len117 = _ve_files.get_len ();
    2667     uintptr_t _v_len118 = 0;
    2668     if ((_v_len117 < _v_len118))
     2416    uintptr_t _v_len97 = _ve_files.get_len ();
     2417    uintptr_t _v_len98 = 0;
     2418    if ((_v_len97 < _v_len98))
    26692419    {
    26702420      RF_FUNC_ERROR (unexpected_fail);
    26712421    }
    2672     uintptr_t _v_len__all_m_files_m_have_m_gone = (_v_len117 - _v_len118);