Changeset 3894


Ignore:
Timestamp:
Sep 2, 2008, 4:45:22 PM (12 years ago)
Author:
orlov
Message:
  • Fresh-generated compiler sources in C++.
Location:
to-imperative/trunk/c++/compiler
Files:
12 edited

Legend:

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

    r3635 r3894  
    592592    }
    593593  _block3__branch1: {}
    594     if (_ve_methodname.get_len () < 1)
    595     {
    596       RF_FUNC_ERROR (unexpected_fail);
    597     }
    598     RF_rsplit (_ve_methodname, 0, _v_rsplit__methodname, _ve_methodname1);
    599     for ( ; ; RF_iter(_ve_methodname)--)
    600     {
    601       {
    602         if (!RF_iter(_ve_methodname))
    603         {
    604           RF_FUNC_ERROR (unexpected_fail);
    605         }
    606         int _v_len13 = _v_rsplit__methodname.get_len ();
    607         int _v_len14 = 1;
    608         if (_v_len13 < _v_len14)
    609         {
    610           RF_FUNC_ERROR (unexpected_fail);
    611         }
    612         int _v_len__classname = (_v_len13 - _v_len14);
    613         if (!_c_8.term_eq (_v_rsplit__methodname, (0 + _v_len__classname)))
    614         {
    615           goto _continue1;
    616         }
    617         Expr _ve_classname;
    618         _ve_classname = Expr (_v_rsplit__methodname, 0, _v_len__classname);
    619         Expr _gs_auxcall2;
    620         RF_CALL (::refal::Convert::ToWord, _ve_classname, _gs_auxcall2);
    621         RF_CALL (::refal::Convert::ToWord, _ve_methodname1, _vs_methodName);
    622         _vs_className = _gs_auxcall2;
    623         goto _exit1;
    624       }
    625   _continue1: {}
    626     }
    627   _exit1: {}
     594    {
     595      if (_ve_methodname.get_len () < 1)
     596      {
     597        goto _block3__branch2;
     598      }
     599      RF_rsplit (_ve_methodname, 0, _v_rsplit__methodname, _ve_methodname1);
     600      for ( ; ; RF_iter(_ve_methodname)--)
     601      {
     602        {
     603          if (!RF_iter(_ve_methodname))
     604          {
     605            goto _block3__branch2;
     606          }
     607          int _v_len13 = _v_rsplit__methodname.get_len ();
     608          int _v_len14 = 1;
     609          if (_v_len13 < _v_len14)
     610          {
     611            goto _block3__branch2;
     612          }
     613          int _v_len__classname = (_v_len13 - _v_len14);
     614          if (!_c_8.term_eq (_v_rsplit__methodname, (0 + _v_len__classname)))
     615          {
     616            goto _continue1;
     617          }
     618          Expr _ve_classname;
     619          _ve_classname = Expr (_v_rsplit__methodname, 0, _v_len__classname);
     620          Expr _gs_auxcall2;
     621          RF_CALL (::refal::Convert::ToWord, _ve_classname, _gs_auxcall2);
     622          RF_CALL (::refal::Convert::ToWord, _ve_methodname1, _vs_methodName);
     623          _vs_className = _gs_auxcall2;
     624          goto _exit1;
     625        }
     626    _continue1: {}
     627      }
     628    _exit1: {}
     629      goto _block3;
     630    }
     631  _block3__branch2: {}
     632    RF_CALL (::refal::Convert::ToWord, _ve_methodname, _vs_methodName);
     633    _vs_className = _c_7;
    628634  }
    629635_block3: {}
     
    693699        RF_FUNC_ERROR (unexpected_fail);
    694700      }
    695       int _v_len___dollar_tmp_m_62_m_8 = (_v_len3 - _v_len4);
    696       Expr _ve__dollar_tmp_m_62_m_8;
    697       _ve__dollar_tmp_m_62_m_8 = Expr (_ge_args__0, 0, _v_len___dollar_tmp_m_62_m_8);
     701      int _v_len___dollar_tmp_m_63_m_8 = (_v_len3 - _v_len4);
     702      Expr _ve__dollar_tmp_m_63_m_8;
     703      _ve__dollar_tmp_m_63_m_8 = Expr (_ge_args__0, 0, _v_len___dollar_tmp_m_63_m_8);
    698704      _ve_arg = _ge_args__0;
    699705      _ve_tail = empty;
  • to-imperative/trunk/c++/compiler/rfp_as2as.cc

    r3635 r3894  
    9999
    100100namespace rfp_format {
    101 
    102 RF_DECL (IsSubformat);
    103101
    104102RF_DECL (MSG);
     
    20932091      {
    20942092        {
    2095           Expr _ge_auxcall1;
    2096           RF_CALL (org::refal::plus::compiler::rfp_format::Format_Exp, _ve_Pe, _ge_auxcall1);
    2097           if (!RF_CALL (org::refal::plus::compiler::rfp_format::IsSubformat, (_ge_auxcall1, _ve_in), /*void*/))
     2093          Expr _v_Format__Exp1;
     2094          RF_CALL (org::refal::plus::compiler::rfp_format::Format_Exp, _ve_Pe, _v_Format__Exp1);
     2095          if (_v_Format__Exp1.get_len () != _ve_in.get_len ())
     2096          {
     2097            goto _block3__branch1;
     2098          }
     2099          if (!_ve_in.eq (_v_Format__Exp1, 0))
    20982100          {
    20992101            goto _block3__branch1;
     
    23472349        {
    23482350          {
    2349             Expr _ge_auxcall2;
    2350             RF_CALL (org::refal::plus::compiler::rfp_format::Format_Exp, _ve_Pe, _ge_auxcall2);
    2351             if (!RF_CALL (org::refal::plus::compiler::rfp_format::IsSubformat, (_ge_auxcall2, _ve_in), /*void*/))
     2351            Expr _v_Format__Exp2;
     2352            RF_CALL (org::refal::plus::compiler::rfp_format::Format_Exp, _ve_Pe, _v_Format__Exp2);
     2353            if (_v_Format__Exp2.get_len () != _ve_in.get_len ())
     2354            {
     2355              goto _block8__branch1;
     2356            }
     2357            if (!_ve_in.eq (_v_Format__Exp2, 0))
    23522358            {
    23532359              goto _block8__branch1;
     
    24402446            Expr _ve_repls;
    24412447            RF_CALL (Build_Subst, (_ve_vars, _ve_in__vars, _ve_br__snt), (_ve_pats, _ve_repls));
    2442             Expr _ge_auxcall3;
    2443             RF_CALL (org::refal::plus::compiler::rfp_helper::Subst, (_ve_pats, _ve_repls, _ve_br__snt), _ge_auxcall3);
    2444             _ve_br = (_ve_br + (_c_2 + _vt_p + _ge_auxcall3) ());
     2448            Expr _ge_auxcall1;
     2449            RF_CALL (org::refal::plus::compiler::rfp_helper::Subst, (_ve_pats, _ve_repls, _ve_br__snt), _ge_auxcall1);
     2450            _ve_br = (_ve_br + (_c_2 + _vt_p + _ge_auxcall1) ());
    24452451            _ve_branches = _ve_rest;
    24462452            goto _block8;
     
    25692575        {
    25702576          {
    2571             Expr _ge_auxcall4;
    2572             RF_CALL (org::refal::plus::compiler::rfp_format::Format_Exp, _ve_Pe, _ge_auxcall4);
    2573             if (!RF_CALL (org::refal::plus::compiler::rfp_format::IsSubformat, (_ge_auxcall4, _ve_in), /*void*/))
     2577            Expr _v_Format__Exp3;
     2578            RF_CALL (org::refal::plus::compiler::rfp_format::Format_Exp, _ve_Pe, _v_Format__Exp3);
     2579            if (_v_Format__Exp3.get_len () != _ve_in.get_len ())
     2580            {
     2581              goto _block12__branch1;
     2582            }
     2583            if (!_ve_in.eq (_v_Format__Exp3, 0))
    25742584            {
    25752585              goto _block12__branch1;
     
    26622672            Expr _ve_repls;
    26632673            RF_CALL (Build_Subst, (_ve_vars, _ve_in__vars, _ve_br__snt), (_ve_pats, _ve_repls));
    2664             Expr _ge_auxcall5;
    2665             RF_CALL (org::refal::plus::compiler::rfp_helper::Subst, (_ve_pats, _ve_repls, _ve_br__snt), _ge_auxcall5);
    2666             _ve_br = (_ve_br + (_c_2 + _ge_auxcall5) ());
     2674            Expr _ge_auxcall2;
     2675            RF_CALL (org::refal::plus::compiler::rfp_helper::Subst, (_ve_pats, _ve_repls, _ve_br__snt), _ge_auxcall2);
     2676            _ve_br = (_ve_br + (_c_2 + _ge_auxcall2) ());
    26672677            _ve_branches = _ve_rest;
    26682678            goto _block12;
  • to-imperative/trunk/c++/compiler/rfp_asail_cpp.cc

    r3635 r3894  
    11331133          Expr _v_deref__item3 (Expr (_vt_item, 0));
    11341134          int _v_len5 = _v_deref__item3.get_len ();
    1135           int _v_len6 = 6;
     1135          int _v_len6 = 5;
    11361136          if (_v_len5 < _v_len6)
    11371137          {
     
    11471147            goto _block2__branch3;
    11481148          }
    1149           if (_v_deref__item3.symbol_at ((0 + 1 + 1 + 1 + 1 + 1)))
    1150           {
    1151             goto _block2__branch3;
    1152           }
    11531149          Expr _v_deref__deref__item3 (Expr (_v_deref__item3, (0 + 1 + 1 + 1)));
    11541150          Expr _v_deref__deref__item32 (Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1)));
    1155           Expr _v_deref__deref__item33 (Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1 + 1)));
    1156           int _v_len7 = _v_deref__deref__item3.get_len ();
     1151          int _v_len7 = _v_deref__deref__item32.get_len ();
    11571152          int _v_len8 = 0;
    11581153          if (_v_len7 < _v_len8)
     
    11601155            goto _block2__branch3;
    11611156          }
    1162           int _v_len__name = (_v_len7 - _v_len8);
    1163           int _v_len9 = _v_deref__deref__item33.get_len ();
     1157          int _v_len__out = (_v_len7 - _v_len8);
     1158          int _v_len9 = _v_deref__deref__item3.get_len ();
    11641159          int _v_len10 = 0;
    11651160          if (_v_len9 < _v_len10)
     
    11671162            goto _block2__branch3;
    11681163          }
    1169           int _v_len__out = (_v_len9 - _v_len10);
    1170           int _v_len11 = _v_deref__deref__item32.get_len ();
     1164          int _v_len__in = (_v_len9 - _v_len10);
     1165          if (!_c_18.term_eq (_v_deref__item3, 0))
     1166          {
     1167            goto _block2__branch3;
     1168          }
     1169          if (!_v_deref__item3.symbol_at ((0 + 1)))
     1170          {
     1171            goto _block2__branch3;
     1172          }
     1173          Expr _vs_tag;
     1174          _vs_tag = Expr (_v_deref__item3, (0 + 1), 1);
     1175          Expr _vt_qname;
     1176          _vt_qname = Expr (_v_deref__item3, (0 + 1 + 1), 1);
     1177          Expr _ve_native;
     1178          _ve_native = Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1 + 1), _v_len__native);
     1179          Expr _ve_in;
     1180          _ve_in = Expr (_v_deref__deref__item3, 0, _v_len__in);
     1181          Expr _ve_out;
     1182          _ve_out = Expr (_v_deref__deref__item32, 0, _v_len__out);
     1183          _ve_cpp__item = empty;
     1184          goto _block2;
     1185        }
     1186      _block2__branch3: {}
     1187        {
     1188          if (_vt_item.symbol_at (0))
     1189          {
     1190            goto _block2__branch4;
     1191          }
     1192          Expr _v_deref__item4 (Expr (_vt_item, 0));
     1193          if (_v_deref__item4.get_len () != 6)
     1194          {
     1195            goto _block2__branch4;
     1196          }
     1197          if (_v_deref__item4.symbol_at ((0 + 1 + 1)))
     1198          {
     1199            goto _block2__branch4;
     1200          }
     1201          if (_v_deref__item4.symbol_at ((0 + 1 + 1 + 1)))
     1202          {
     1203            goto _block2__branch4;
     1204          }
     1205          if (_v_deref__item4.symbol_at ((0 + 1 + 1 + 1 + 1)))
     1206          {
     1207            goto _block2__branch4;
     1208          }
     1209          if (_v_deref__item4.symbol_at ((0 + 1 + 1 + 1 + 1 + 1)))
     1210          {
     1211            goto _block2__branch4;
     1212          }
     1213          Expr _v_deref__deref__item4 (Expr (_v_deref__item4, (0 + 1 + 1)));
     1214          Expr _v_deref__deref__item42 (Expr (_v_deref__item4, (0 + 1 + 1 + 1)));
     1215          Expr _v_deref__deref__item43 (Expr (_v_deref__item4, (0 + 1 + 1 + 1 + 1)));
     1216          Expr _v_deref__deref__item44 (Expr (_v_deref__item4, (0 + 1 + 1 + 1 + 1 + 1)));
     1217          int _v_len11 = _v_deref__deref__item4.get_len ();
    11711218          int _v_len12 = 0;
    11721219          if (_v_len11 < _v_len12)
    11731220          {
    1174             goto _block2__branch3;
    1175           }
    1176           int _v_len__in = (_v_len11 - _v_len12);
    1177           if (!_c_18.term_eq (_v_deref__item3, 0))
    1178           {
    1179             goto _block2__branch3;
    1180           }
    1181           if (!_v_deref__item3.symbol_at ((0 + 1)))
    1182           {
    1183             goto _block2__branch3;
    1184           }
    1185           if (!_v_deref__item3.symbol_at ((0 + 1 + 1)))
    1186           {
    1187             goto _block2__branch3;
     1221            goto _block2__branch4;
     1222          }
     1223          int _v_len__name = (_v_len11 - _v_len12);
     1224          int _v_len13 = _v_deref__deref__item42.get_len ();
     1225          int _v_len14 = 0;
     1226          if (_v_len13 < _v_len14)
     1227          {
     1228            goto _block2__branch4;
     1229          }
     1230          int _v_len__in2 = (_v_len13 - _v_len14);
     1231          int _v_len15 = _v_deref__deref__item44.get_len ();
     1232          int _v_len16 = 1;
     1233          if (_v_len15 < _v_len16)
     1234          {
     1235            goto _block2__branch4;
     1236          }
     1237          int _v_len__native2 = (_v_len15 - _v_len16);
     1238          int _v_len17 = _v_deref__deref__item43.get_len ();
     1239          int _v_len18 = 0;
     1240          if (_v_len17 < _v_len18)
     1241          {
     1242            goto _block2__branch4;
     1243          }
     1244          int _v_len__out2 = (_v_len17 - _v_len18);
     1245          if (!_v_deref__item4.symbol_at (0))
     1246          {
     1247            goto _block2__branch4;
     1248          }
     1249          if (!_v_deref__item4.symbol_at ((0 + 1)))
     1250          {
     1251            goto _block2__branch4;
     1252          }
     1253          if (!_c_18.term_eq (_v_deref__deref__item44, 0))
     1254          {
     1255            goto _block2__branch4;
    11881256          }
    11891257          Expr _vs_linkage;
    1190           _vs_linkage = Expr (_v_deref__item3, (0 + 1), 1);
     1258          _vs_linkage = Expr (_v_deref__item4, 0, 1);
    11911259          Expr _vs_tag;
    1192           _vs_tag = Expr (_v_deref__item3, (0 + 1 + 1), 1);
     1260          _vs_tag = Expr (_v_deref__item4, (0 + 1), 1);
     1261          Expr _ve_name;
     1262          _ve_name = Expr (_v_deref__deref__item4, 0, _v_len__name);
     1263          Expr _ve_in;
     1264          _ve_in = Expr (_v_deref__deref__item42, 0, _v_len__in2);
     1265          Expr _ve_out;
     1266          _ve_out = Expr (_v_deref__deref__item43, 0, _v_len__out2);
    11931267          Expr _ve_native;
    1194           _ve_native = Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1 + 1 + 1), _v_len__native);
    1195           Expr _ve_name;
    1196           _ve_name = Expr (_v_deref__deref__item3, 0, _v_len__name);
    1197           Expr _ve_in;
    1198           _ve_in = Expr (_v_deref__deref__item32, 0, _v_len__in);
    1199           Expr _ve_out;
    1200           _ve_out = Expr (_v_deref__deref__item33, 0, _v_len__out);
     1268          _ve_native = Expr (_v_deref__deref__item44, (0 + 1), _v_len__native2);
    12011269          Expr _ge_auxcall1;
    12021270          RF_CALL (org::refal::plus::compiler::rfp_vars::Vars, _ve_in, _ge_auxcall1);
     
    12061274          Expr _v_Del__Pragmas1;
    12071275          RF_CALL (org::refal::plus::compiler::rfp_helper::Del_Pragmas, (_ge_auxcall2 + _gs_auxcall3), _v_Del__Pragmas1);
    1208           int _v_len13 = _v_Del__Pragmas1.get_len ();
    1209           int _v_len14 = 1;
    1210           if (_v_len13 < _v_len14)
     1276          int _v_len19 = _v_Del__Pragmas1.get_len ();
     1277          int _v_len20 = 1;
     1278          if (_v_len19 < _v_len20)
    12111279          {
    12121280            goto _block1__branch1;
    12131281          }
    1214           int _v_len__rfArg = (_v_len13 - _v_len14);
     1282          int _v_len__rfArg = (_v_len19 - _v_len20);
    12151283          if (!_v_Del__Pragmas1.symbol_at ((0 + _v_len__rfArg)))
    12161284          {
     
    12191287          Expr _ve_rfArg;
    12201288          _ve_rfArg = Expr (_v_Del__Pragmas1, 0, _v_len__rfArg);
    1221           Expr _vs__dollar_tmp_m_123_m_73;
    1222           _vs__dollar_tmp_m_123_m_73 = Expr (_v_Del__Pragmas1, (0 + _v_len__rfArg), 1);
     1289          Expr _vs__dollar_tmp_m_124_m_73;
     1290          _vs__dollar_tmp_m_124_m_73 = Expr (_v_Del__Pragmas1, (0 + _v_len__rfArg), 1);
    12231291          Expr _ge_auxcall4;
    12241292          RF_CALL (org::refal::plus::compiler::rfp_vars::Vars, _ve_out, _ge_auxcall4);
     
    12281296          Expr _v_Del__Pragmas2;
    12291297          RF_CALL (org::refal::plus::compiler::rfp_helper::Del_Pragmas, (_ge_auxcall5 + _gs_auxcall6), _v_Del__Pragmas2);
    1230           int _v_len15 = _v_Del__Pragmas2.get_len ();
    1231           int _v_len16 = 1;
    1232           if (_v_len15 < _v_len16)
     1298          int _v_len21 = _v_Del__Pragmas2.get_len ();
     1299          int _v_len22 = 1;
     1300          if (_v_len21 < _v_len22)
    12331301          {
    12341302            goto _block1__branch1;
    12351303          }
    1236           int _v_len__rfRes = (_v_len15 - _v_len16);
     1304          int _v_len__rfRes = (_v_len21 - _v_len22);
    12371305          if (!_v_Del__Pragmas2.symbol_at ((0 + _v_len__rfRes)))
    12381306          {
     
    12411309          Expr _ve_rfRes;
    12421310          _ve_rfRes = Expr (_v_Del__Pragmas2, 0, _v_len__rfRes);
    1243           Expr _vs__dollar_tmp_m_124_m_74;
    1244           _vs__dollar_tmp_m_124_m_74 = Expr (_v_Del__Pragmas2, (0 + _v_len__rfRes), 1);
     1311          Expr _vs__dollar_tmp_m_125_m_74;
     1312          _vs__dollar_tmp_m_125_m_74 = Expr (_v_Del__Pragmas2, (0 + _v_len__rfRes), 1);
    12451313          RF_CALL (ASAIL_To_CPP, (_vs_tag + _c_24 + _ve_name () + _ve_rfArg () + _ve_rfRes () + (_c_23 + _ve_name + _c_22) ()) (), _ve_cpp__item);
    12461314          goto _block2;
    12471315        }
    1248       _block2__branch3: {}
     1316      _block2__branch4: {}
    12491317        {
    12501318          if (_vt_item.symbol_at (0))
    12511319          {
    1252             goto _block2__branch4;
    1253           }
    1254           Expr _v_deref__item4 (Expr (_vt_item, 0));
    1255           int _v_len17 = _v_deref__item4.get_len ();
    1256           int _v_len18 = 5;
    1257           if (_v_len17 < _v_len18)
    1258           {
    1259             goto _block2__branch4;
    1260           }
    1261           int _v_len__body = (_v_len17 - _v_len18);
    1262           if (_v_deref__item4.symbol_at ((0 + 1 + 1)))
    1263           {
    1264             goto _block2__branch4;
    1265           }
    1266           Expr _v_deref__deref__item4 (Expr (_v_deref__item4, (0 + 1 + 1)));
    1267           int _v_len19 = _v_deref__deref__item4.get_len ();
    1268           int _v_len20 = 0;
    1269           if (_v_len19 < _v_len20)
    1270           {
    1271             goto _block2__branch4;
    1272           }
    1273           int _v_len__name2 = (_v_len19 - _v_len20);
    1274           if (!_v_deref__item4.symbol_at (0))
    1275           {
    1276             goto _block2__branch4;
    1277           }
    1278           if (!_c_25.term_eq (_v_deref__item4, (0 + 1)))
    1279           {
    1280             goto _block2__branch4;
     1320            goto _block2__branch5;
     1321          }
     1322          Expr _v_deref__item5 (Expr (_vt_item, 0));
     1323          int _v_len23 = _v_deref__item5.get_len ();
     1324          int _v_len24 = 5;
     1325          if (_v_len23 < _v_len24)
     1326          {
     1327            goto _block2__branch5;
     1328          }
     1329          int _v_len__body = (_v_len23 - _v_len24);
     1330          if (_v_deref__item5.symbol_at ((0 + 1 + 1)))
     1331          {
     1332            goto _block2__branch5;
     1333          }
     1334          Expr _v_deref__deref__item5 (Expr (_v_deref__item5, (0 + 1 + 1)));
     1335          int _v_len25 = _v_deref__deref__item5.get_len ();
     1336          int _v_len26 = 0;
     1337          if (_v_len25 < _v_len26)
     1338          {
     1339            goto _block2__branch5;
     1340          }
     1341          int _v_len__name2 = (_v_len25 - _v_len26);
     1342          if (!_v_deref__item5.symbol_at (0))
     1343          {
     1344            goto _block2__branch5;
     1345          }
     1346          if (!_c_25.term_eq (_v_deref__item5, (0 + 1)))
     1347          {
     1348            goto _block2__branch5;
    12811349          }
    12821350          Expr _vs_tag;
    1283           _vs_tag = Expr (_v_deref__item4, 0, 1);
     1351          _vs_tag = Expr (_v_deref__item5, 0, 1);
    12841352          Expr _vt_args;
    1285           _vt_args = Expr (_v_deref__item4, (0 + 1 + 1 + 1), 1);
     1353          _vt_args = Expr (_v_deref__item5, (0 + 1 + 1 + 1), 1);
    12861354          Expr _vt_ress;
    1287           _vt_ress = Expr (_v_deref__item4, (0 + 1 + 1 + 1 + 1), 1);
     1355          _vt_ress = Expr (_v_deref__item5, (0 + 1 + 1 + 1 + 1), 1);
    12881356          Expr _ve_body;
    1289           _ve_body = Expr (_v_deref__item4, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body);
     1357          _ve_body = Expr (_v_deref__item5, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body);
    12901358          Expr _ve_name;
    1291           _ve_name = Expr (_v_deref__deref__item4, 0, _v_len__name2);
     1359          _ve_name = Expr (_v_deref__deref__item5, 0, _v_len__name2);
    12921360          {
    12931361            {
     
    13011369            if (!_vs_tag.term_eq (_c_27, 0))
    13021370            {
    1303               goto _block2__branch4;
     1371              goto _block2__branch5;
    13041372            }
    13051373          }
    13061374        _block3: {}
    1307           int _v_len21 = _v_len__name2;
    1308           int _v_len22 = 4;
    1309           if (_v_len21 < _v_len22)
    1310           {
    1311             goto _block2__branch4;
    1312           }
    1313           int _v_len__n = (_v_len21 - _v_len22);
     1375          int _v_len27 = _v_len__name2;
     1376          int _v_len28 = 4;
     1377          if (_v_len27 < _v_len28)
     1378          {
     1379            goto _block2__branch5;
     1380          }
     1381          int _v_len__n = (_v_len27 - _v_len28);
    13141382          if (!_c_28.eq (_ve_name, 0))
    13151383          {
    1316             goto _block2__branch4;
     1384            goto _block2__branch5;
    13171385          }
    13181386          Expr _ve_n;
     
    13261394          goto _block2;
    13271395        }
    1328       _block2__branch4: {}
     1396      _block2__branch5: {}
    13291397        {
    13301398          if (_vt_item.symbol_at (0))
    13311399          {
    1332             goto _block2__branch5;
    1333           }
    1334           Expr _v_deref__item5 (Expr (_vt_item, 0));
    1335           int _v_len23 = _v_deref__item5.get_len ();
    1336           int _v_len24 = 5;
    1337           if (_v_len23 < _v_len24)
    1338           {
    1339             goto _block2__branch5;
    1340           }
    1341           int _v_len__body2 = (_v_len23 - _v_len24);
    1342           if (_v_deref__item5.symbol_at ((0 + 1 + 1 + 1)))
    1343           {
    1344             goto _block2__branch5;
    1345           }
    1346           if (_v_deref__item5.symbol_at ((0 + 1 + 1 + 1 + 1)))
    1347           {
    1348             goto _block2__branch5;
    1349           }
    1350           Expr _v_deref__deref__item5 (Expr (_v_deref__item5, (0 + 1 + 1 + 1)));
    1351           Expr _v_deref__deref__item52 (Expr (_v_deref__item5, (0 + 1 + 1 + 1 + 1)));
    1352           int _v_len25 = _v_deref__deref__item52.get_len ();
    1353           int _v_len26 = 0;
    1354           if (_v_len25 < _v_len26)
    1355           {
    1356             goto _block2__branch5;
    1357           }
    1358           int _v_len__ress = (_v_len25 - _v_len26);
    1359           int _v_len27 = _v_deref__deref__item5.get_len ();
    1360           int _v_len28 = 0;
    1361           if (_v_len27 < _v_len28)
    1362           {
    1363             goto _block2__branch5;
    1364           }
    1365           int _v_len__args = (_v_len27 - _v_len28);
    1366           if (!_v_deref__item5.symbol_at (0))
    1367           {
    1368             goto _block2__branch5;
    1369           }
    1370           if (!_v_deref__item5.symbol_at ((0 + 1)))
    1371           {
    1372             goto _block2__branch5;
     1400            goto _block2__branch6;
     1401          }
     1402          Expr _v_deref__item6 (Expr (_vt_item, 0));
     1403          int _v_len29 = _v_deref__item6.get_len ();
     1404          int _v_len30 = 5;
     1405          if (_v_len29 < _v_len30)
     1406          {
     1407            goto _block2__branch6;
     1408          }
     1409          int _v_len__body2 = (_v_len29 - _v_len30);
     1410          if (_v_deref__item6.symbol_at ((0 + 1 + 1 + 1)))
     1411          {
     1412            goto _block2__branch6;
     1413          }
     1414          if (_v_deref__item6.symbol_at ((0 + 1 + 1 + 1 + 1)))
     1415          {
     1416            goto _block2__branch6;
     1417          }
     1418          Expr _v_deref__deref__item6 (Expr (_v_deref__item6, (0 + 1 + 1 + 1)));
     1419          Expr _v_deref__deref__item62 (Expr (_v_deref__item6, (0 + 1 + 1 + 1 + 1)));
     1420          int _v_len31 = _v_deref__deref__item62.get_len ();
     1421          int _v_len32 = 0;
     1422          if (_v_len31 < _v_len32)
     1423          {
     1424            goto _block2__branch6;
     1425          }
     1426          int _v_len__ress = (_v_len31 - _v_len32);
     1427          int _v_len33 = _v_deref__deref__item6.get_len ();
     1428          int _v_len34 = 0;
     1429          if (_v_len33 < _v_len34)
     1430          {
     1431            goto _block2__branch6;
     1432          }
     1433          int _v_len__args = (_v_len33 - _v_len34);
     1434          if (!_v_deref__item6.symbol_at (0))
     1435          {
     1436            goto _block2__branch6;
     1437          }
     1438          if (!_v_deref__item6.symbol_at ((0 + 1)))
     1439          {
     1440            goto _block2__branch6;
    13731441          }
    13741442          Expr _vs_tag;
    1375           _vs_tag = Expr (_v_deref__item5, 0, 1);
     1443          _vs_tag = Expr (_v_deref__item6, 0, 1);
    13761444          Expr _vs_linkage;
    1377           _vs_linkage = Expr (_v_deref__item5, (0 + 1), 1);
     1445          _vs_linkage = Expr (_v_deref__item6, (0 + 1), 1);
    13781446          Expr _vt_name;
    1379           _vt_name = Expr (_v_deref__item5, (0 + 1 + 1), 1);
     1447          _vt_name = Expr (_v_deref__item6, (0 + 1 + 1), 1);
    13801448          Expr _ve_body;
    1381           _ve_body = Expr (_v_deref__item5, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body2);
     1449          _ve_body = Expr (_v_deref__item6, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body2);
    13821450          Expr _ve_args;
    1383           _ve_args = Expr (_v_deref__deref__item5, 0, _v_len__args);
     1451          _ve_args = Expr (_v_deref__deref__item6, 0, _v_len__args);
    13841452          Expr _ve_ress;
    1385           _ve_ress = Expr (_v_deref__deref__item52, 0, _v_len__ress);
     1453          _ve_ress = Expr (_v_deref__deref__item62, 0, _v_len__ress);
    13861454          {
    13871455            {
     
    14031471            if (!_vs_tag.term_eq (_c_30, 0))
    14041472            {
    1405               goto _block2__branch5;
     1473              goto _block2__branch6;
    14061474            }
    14071475          }
     
    14161484                goto _block5__branch1;
    14171485              }
    1418               RF_lsplit (_v_Get1, 0, _ve__dollar_tmp_m_135_m_25, _v_lsplit__Get1);
     1486              RF_lsplit (_v_Get1, 0, _ve__dollar_tmp_m_136_m_25, _v_lsplit__Get1);
    14191487              for ( ; ; RF_iter(_v_Get1)++)
    14201488              {
     
    14241492                    goto _block5__branch1;
    14251493                  }
    1426                   int _v_len29 = _v_lsplit__Get1.get_len ();
    1427                   int _v_len30 = 1;
    1428                   if (_v_len29 < _v_len30)
     1494                  int _v_len35 = _v_lsplit__Get1.get_len ();
     1495                  int _v_len36 = 1;
     1496                  if (_v_len35 < _v_len36)
    14291497                  {
    14301498                    goto _block5__branch1;
    14311499                  }
    1432                   int _v_len___dollar_tmp_m_135_m_34 = (_v_len29 - _v_len30);
     1500                  int _v_len___dollar_tmp_m_136_m_34 = (_v_len35 - _v_len36);
    14331501                  if (!_vt_name.term_eq (_v_lsplit__Get1, 0))
    14341502                  {
    14351503                    goto _continue1;
    14361504                  }
    1437                   Expr _ve__dollar_tmp_m_135_m_34;
    1438                   _ve__dollar_tmp_m_135_m_34 = Expr (_v_lsplit__Get1, (0 + 1), _v_len___dollar_tmp_m_135_m_34);
     1505                  Expr _ve__dollar_tmp_m_136_m_34;
     1506                  _ve__dollar_tmp_m_136_m_34 = Expr (_v_lsplit__Get1, (0 + 1), _v_len___dollar_tmp_m_136_m_34);
    14391507                  Expr _ge_auxcall9;
    14401508                  RF_CALL (::refal::List::Concat, _vt_name, _ge_auxcall9);
     
    14911559        _block6: {}
    14921560          Expr _ve_qualifiers;
    1493           Expr _ve__dollar_tmp_m_147_m_54;
    1494           RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_147_m_54));
     1561          Expr _ve__dollar_tmp_m_148_m_54;
     1562          RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_148_m_54));
    14951563          Expr _ge_auxcall14;
    14961564          RF_CALL (Namespace_Control, _ve_qualifiers, _ge_auxcall14);
     
    15061574          goto _block2;
    15071575        }
    1508       _block2__branch5: {}
     1576      _block2__branch6: {}
    15091577        {
    15101578          if (_vt_item.symbol_at (0))
    15111579          {
    1512             goto _block2__branch6;
    1513           }
    1514           Expr _v_deref__item6 (Expr (_vt_item, 0));
    1515           if (_v_deref__item6.get_len () != 2)
    1516           {
    1517             goto _block2__branch6;
    1518           }
    1519           if (!_c_41.term_eq (_v_deref__item6, 0))
    1520           {
    1521             goto _block2__branch6;
     1580            goto _block2__branch7;
     1581          }
     1582          Expr _v_deref__item7 (Expr (_vt_item, 0));
     1583          if (_v_deref__item7.get_len () != 2)
     1584          {
     1585            goto _block2__branch7;
     1586          }
     1587          if (!_c_41.term_eq (_v_deref__item7, 0))
     1588          {
     1589            goto _block2__branch7;
    15221590          }
    15231591          Expr _vt_name;
    1524           _vt_name = Expr (_v_deref__item6, (0 + 1), 1);
     1592          _vt_name = Expr (_v_deref__item7, (0 + 1), 1);
    15251593          RF_CALL (::refal::Table::Bind, (org::refal::plus::compiler::rfpc::RFP_Trace, _vt_name, empty), /*void*/);
    15261594          _ve_cpp__item = empty;
    15271595          goto _block2;
    15281596        }
    1529       _block2__branch6: {}
     1597      _block2__branch7: {}
    15301598        {
    15311599          if (_vt_item.symbol_at (0))
    15321600          {
    1533             goto _block2__branch7;
    1534           }
    1535           Expr _v_deref__item7 (Expr (_vt_item, 0));
    1536           int _v_len31 = _v_deref__item7.get_len ();
    1537           int _v_len32 = 4;
    1538           if (_v_len31 < _v_len32)
    1539           {
    1540             goto _block2__branch7;
    1541           }
    1542           int _v_len__body3 = (_v_len31 - _v_len32);
    1543           if (_v_deref__item7.symbol_at ((0 + 1 + 1)))
    1544           {
    1545             goto _block2__branch7;
    1546           }
    1547           if (_v_deref__item7.symbol_at ((0 + 1 + 1 + 1)))
    1548           {
    1549             goto _block2__branch7;
    1550           }
    1551           Expr _v_deref__deref__item7 (Expr (_v_deref__item7, (0 + 1 + 1)));
    1552           Expr _v_deref__deref__item72 (Expr (_v_deref__item7, (0 + 1 + 1 + 1)));
    1553           int _v_len33 = _v_deref__deref__item72.get_len ();
    1554           int _v_len34 = 0;
    1555           if (_v_len33 < _v_len34)
    1556           {
    1557             goto _block2__branch7;
    1558           }
    1559           int _v_len__arg2 = (_v_len33 - _v_len34);
    1560           int _v_len35 = _v_deref__deref__item7.get_len ();
    1561           int _v_len36 = 0;
    1562           if (_v_len35 < _v_len36)
    1563           {
    1564             goto _block2__branch7;
    1565           }
    1566           int _v_len__arg1 = (_v_len35 - _v_len36);
    1567           if (!_c_42.term_eq (_v_deref__item7, 0))
    1568           {
    1569             goto _block2__branch7;
    1570           }
    1571           if (!_v_deref__item7.symbol_at ((0 + 1)))
    1572           {
    1573             goto _block2__branch7;
     1601            goto _block2__branch8;
     1602          }
     1603          Expr _v_deref__item8 (Expr (_vt_item, 0));
     1604          int _v_len37 = _v_deref__item8.get_len ();
     1605          int _v_len38 = 4;
     1606          if (_v_len37 < _v_len38)
     1607          {
     1608            goto _block2__branch8;
     1609          }
     1610          int _v_len__body3 = (_v_len37 - _v_len38);
     1611          if (_v_deref__item8.symbol_at ((0 + 1 + 1)))
     1612          {
     1613            goto _block2__branch8;
     1614          }
     1615          if (_v_deref__item8.symbol_at ((0 + 1 + 1 + 1)))
     1616          {
     1617            goto _block2__branch8;
     1618          }
     1619          Expr _v_deref__deref__item8 (Expr (_v_deref__item8, (0 + 1 + 1)));
     1620          Expr _v_deref__deref__item82 (Expr (_v_deref__item8, (0 + 1 + 1 + 1)));
     1621          int _v_len39 = _v_deref__deref__item82.get_len ();
     1622          int _v_len40 = 0;
     1623          if (_v_len39 < _v_len40)
     1624          {
     1625            goto _block2__branch8;
     1626          }
     1627          int _v_len__arg2 = (_v_len39 - _v_len40);
     1628          int _v_len41 = _v_deref__deref__item8.get_len ();
     1629          int _v_len42 = 0;
     1630          if (_v_len41 < _v_len42)
     1631          {
     1632            goto _block2__branch8;
     1633          }
     1634          int _v_len__arg1 = (_v_len41 - _v_len42);
     1635          if (!_c_42.term_eq (_v_deref__item8, 0))
     1636          {
     1637            goto _block2__branch8;
     1638          }
     1639          if (!_v_deref__item8.symbol_at ((0 + 1)))
     1640          {
     1641            goto _block2__branch8;
    15741642          }
    15751643          Expr _vs_op;
    1576           _vs_op = Expr (_v_deref__item7, (0 + 1), 1);
     1644          _vs_op = Expr (_v_deref__item8, (0 + 1), 1);
    15771645          Expr _ve_body;
    1578           _ve_body = Expr (_v_deref__item7, (0 + 1 + 1 + 1 + 1), _v_len__body3);
     1646          _ve_body = Expr (_v_deref__item8, (0 + 1 + 1 + 1 + 1), _v_len__body3);
    15791647          Expr _ve_arg1;
    1580           _ve_arg1 = Expr (_v_deref__deref__item7, 0, _v_len__arg1);
     1648          _ve_arg1 = Expr (_v_deref__deref__item8, 0, _v_len__arg1);
    15811649          Expr _ve_arg2;
    1582           _ve_arg2 = Expr (_v_deref__deref__item72, 0, _v_len__arg2);
     1650          _ve_arg2 = Expr (_v_deref__deref__item82, 0, _v_len__arg2);
    15831651          Expr _ge_auxcall19;
    15841652          RF_CALL (Expr_Int_To_CPP, _ve_arg1, _ge_auxcall19);
     
    15901658          goto _block2;
    15911659        }
    1592       _block2__branch7: {}
     1660      _block2__branch8: {}
    15931661        {
    15941662          if (_vt_item.symbol_at (0))
    15951663          {
    1596             goto _block2__branch8;
    1597           }
    1598           Expr _v_deref__item8 (Expr (_vt_item, 0));
    1599           int _v_len37 = _v_deref__item8.get_len ();
    1600           int _v_len38 = 2;
    1601           if (_v_len37 < _v_len38)
    1602           {
    1603             goto _block2__branch8;
    1604           }
    1605           int _v_len__body4 = (_v_len37 - _v_len38);
    1606           if (!_c_46.term_eq (_v_deref__item8, 0))
    1607           {
    1608             goto _block2__branch8;
     1664            goto _block2__branch9;
     1665          }
     1666          Expr _v_deref__item9 (Expr (_vt_item, 0));
     1667          int _v_len43 = _v_deref__item9.get_len ();
     1668          int _v_len44 = 2;
     1669          if (_v_len43 < _v_len44)
     1670          {
     1671            goto _block2__branch9;
     1672          }
     1673          int _v_len__body4 = (_v_len43 - _v_len44);
     1674          if (!_c_46.term_eq (_v_deref__item9, 0))
     1675          {
     1676            goto _block2__branch9;
    16091677          }
    16101678          Expr _vt_cond;
    1611           _vt_cond = Expr (_v_deref__item8, (0 + 1), 1);
     1679          _vt_cond = Expr (_v_deref__item9, (0 + 1), 1);
    16121680          Expr _ve_body;
    1613           _ve_body = Expr (_v_deref__item8, (0 + 1 + 1), _v_len__body4);
     1681          _ve_body = Expr (_v_deref__item9, (0 + 1 + 1), _v_len__body4);
    16141682          Expr _ge_auxcall22;
    16151683          RF_CALL (Cond_To_CPP, _vt_cond, _ge_auxcall22);
     
    16191687          goto _block2;
    16201688        }
    1621       _block2__branch8: {}
     1689      _block2__branch9: {}
    16221690        {
    16231691          if (_vt_item.symbol_at (0))
    16241692          {
    1625             goto _block2__branch9;
    1626           }
    1627           Expr _v_deref__item9 (Expr (_vt_item, 0));
    1628           int _v_len39 = _v_deref__item9.get_len ();
    1629           int _v_len40 = 5;
    1630           if (_v_len39 < _v_len40)
    1631           {
    1632             goto _block2__branch9;
    1633           }
    1634           int _v_len__body5 = (_v_len39 - _v_len40);
    1635           if (_v_deref__item9.symbol_at ((0 + 1)))
    1636           {
    1637             goto _block2__branch9;
    1638           }
    1639           if (_v_deref__item9.symbol_at ((0 + 1 + 1)))
    1640           {
    1641             goto _block2__branch9;
    1642           }
    1643           if (_v_deref__item9.symbol_at ((0 + 1 + 1 + 1)))
    1644           {
    1645             goto _block2__branch9;
    1646           }
    1647           if (_v_deref__item9.symbol_at ((0 + 1 + 1 + 1 + 1)))
    1648           {
    1649             goto _block2__branch9;
    1650           }
    1651           Expr _v_deref__deref__item9 (Expr (_v_deref__item9, (0 + 1)));
    1652           Expr _v_deref__deref__item92 (Expr (_v_deref__item9, (0 + 1 + 1)));
    1653           Expr _v_deref__deref__item93 (Expr (_v_deref__item9, (0 + 1 + 1 + 1)));
    1654           Expr _v_deref__deref__item94 (Expr (_v_deref__item9, (0 + 1 + 1 + 1 + 1)));
    1655           int _v_len41 = _v_deref__deref__item9.get_len ();
    1656           int _v_len42 = 0;
    1657           if (_v_len41 < _v_len42)
    1658           {
    1659             goto _block2__branch9;
    1660           }
    1661           int _v_len__cont__label = (_v_len41 - _v_len42);
    1662           int _v_len43 = _v_deref__deref__item92.get_len ();
    1663           int _v_len44 = 0;
    1664           if (_v_len43 < _v_len44)
    1665           {
    1666             goto _block2__branch9;
    1667           }
    1668           int _v_len__break__label = (_v_len43 - _v_len44);
    1669           int _v_len45 = _v_deref__deref__item94.get_len ();
    1670           int _v_len46 = 0;
     1693            goto _block2__branch10;
     1694          }
     1695          Expr _v_deref__item10 (Expr (_vt_item, 0));
     1696          int _v_len45 = _v_deref__item10.get_len ();
     1697          int _v_len46 = 5;
    16711698          if (_v_len45 < _v_len46)
    16721699          {
    1673             goto _block2__branch9;
    1674           }
    1675           int _v_len__step = (_v_len45 - _v_len46);
    1676           int _v_len47 = _v_deref__deref__item93.get_len ();
     1700            goto _block2__branch10;
     1701          }
     1702          int _v_len__body5 = (_v_len45 - _v_len46);
     1703          if (_v_deref__item10.symbol_at ((0 + 1)))
     1704          {
     1705            goto _block2__branch10;
     1706          }
     1707          if (_v_deref__item10.symbol_at ((0 + 1 + 1)))
     1708          {
     1709            goto _block2__branch10;
     1710          }
     1711          if (_v_deref__item10.symbol_at ((0 + 1 + 1 + 1)))
     1712          {
     1713            goto _block2__branch10;
     1714          }
     1715          if (_v_deref__item10.symbol_at ((0 + 1 + 1 + 1 + 1)))
     1716          {
     1717            goto _block2__branch10;
     1718          }
     1719          Expr _v_deref__deref__item10 (Expr (_v_deref__item10, (0 + 1)));
     1720          Expr _v_deref__deref__item102 (Expr (_v_deref__item10, (0 + 1 + 1)));
     1721          Expr _v_deref__deref__item103 (Expr (_v_deref__item10, (0 + 1 + 1 + 1)));
     1722          Expr _v_deref__deref__item104 (Expr (_v_deref__item10, (0 + 1 + 1 + 1 + 1)));
     1723          int _v_len47 = _v_deref__deref__item10.get_len ();
    16771724          int _v_len48 = 0;
    16781725          if (_v_len47 < _v_len48)
    16791726          {
    1680             goto _block2__branch9;
    1681           }
    1682           int _v_len__cond = (_v_len47 - _v_len48);
    1683           if (!_c_47.term_eq (_v_deref__item9, 0))
    1684           {
    1685             goto _block2__branch9;
     1727            goto _block2__branch10;
     1728          }
     1729          int _v_len__cont__label = (_v_len47 - _v_len48);
     1730          int _v_len49 = _v_deref__deref__item102.get_len ();
     1731          int _v_len50 = 0;
     1732          if (_v_len49 < _v_len50)
     1733          {
     1734            goto _block2__branch10;
     1735          }
     1736          int _v_len__break__label = (_v_len49 - _v_len50);
     1737          int _v_len51 = _v_deref__deref__item104.get_len ();
     1738          int _v_len52 = 0;
     1739          if (_v_len51 < _v_len52)
     1740          {
     1741            goto _block2__branch10;
     1742          }
     1743          int _v_len__step = (_v_len51 - _v_len52);
     1744          int _v_len53 = _v_deref__deref__item103.get_len ();
     1745          int _v_len54 = 0;
     1746          if (_v_len53 < _v_len54)
     1747          {
     1748            goto _block2__branch10;
     1749          }
     1750          int _v_len__cond = (_v_len53 - _v_len54);
     1751          if (!_c_47.term_eq (_v_deref__item10, 0))
     1752          {
     1753            goto _block2__branch10;
    16861754          }
    16871755          Expr _ve_body;
    1688           _ve_body = Expr (_v_deref__item9, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body5);
     1756          _ve_body = Expr (_v_deref__item10, (0 + 1 + 1 + 1 + 1 + 1), _v_len__body5);
    16891757          Expr _ve_cont__label;
    1690           _ve_cont__label = Expr (_v_deref__deref__item9, 0, _v_len__cont__label);
     1758          _ve_cont__label = Expr (_v_deref__deref__item10, 0, _v_len__cont__label);
    16911759          Expr _ve_break__label;
    1692           _ve_break__label = Expr (_v_deref__deref__item92, 0, _v_len__break__label);
     1760          _ve_break__label = Expr (_v_deref__deref__item102, 0, _v_len__break__label);
    16931761          Expr _ve_cond;
    1694           _ve_cond = Expr (_v_deref__deref__item93, 0, _v_len__cond);
     1762          _ve_cond = Expr (_v_deref__deref__item103, 0, _v_len__cond);
    16951763          Expr _ve_step;
    1696           _ve_step = Expr (_v_deref__deref__item94, 0, _v_len__step);
     1764          _ve_step = Expr (_v_deref__deref__item104, 0, _v_len__step);
    16971765          Expr _ge_body__5;
    16981766          {
     
    17021770                goto _block8__branch1;
    17031771              }
    1704               Expr _vt__dollar_tmp_m_164_m_25;
    1705               _vt__dollar_tmp_m_164_m_25 = Expr (_ve_cont__label, 0, 1);
     1772              Expr _vt__dollar_tmp_m_165_m_25;
     1773              _vt__dollar_tmp_m_165_m_25 = Expr (_ve_cont__label, 0, 1);
    17061774              Expr _ge_auxcall24;
    17071775              RF_CALL (ASAIL_To_CPP, _ve_body, _ge_auxcall24);
     
    17241792                goto _block9__branch1;
    17251793              }
    1726               Expr _vt__dollar_tmp_m_172_m_26;
    1727               _vt__dollar_tmp_m_172_m_26 = Expr (_ve_break__label, 0, 1);
     1794              Expr _vt__dollar_tmp_m_173_m_26;
     1795              _vt__dollar_tmp_m_173_m_26 = Expr (_ve_break__label, 0, 1);
    17281796              Expr _ge_auxcall27;
    17291797              RF_CALL (::refal::CppMangle::Rfp2Cpp, (_c_48 + _ve_break__label) (), _ge_auxcall27);
     
    17401808          goto _block2;
    17411809        }
    1742       _block2__branch9: {}
     1810      _block2__branch10: {}
    17431811        {
    17441812          if (_vt_item.symbol_at (0))
    17451813          {
    1746             goto _block2__branch10;
    1747           }
    1748           Expr _v_deref__item10 (Expr (_vt_item, 0));
    1749           int _v_len49 = _v_deref__item10.get_len ();
    1750           int _v_len50 = 2;
    1751           if (_v_len49 < _v_len50)
    1752           {
    1753             goto _block2__branch10;
    1754           }
    1755           int _v_len__body6 = (_v_len49 - _v_len50);
    1756           if (_v_deref__item10.symbol_at ((0 + 1)))
    1757           {
    1758             goto _block2__branch10;
    1759           }
    1760           Expr _v_deref__deref__item10 (Expr (_v_deref__item10, (0 + 1)));
    1761           int _v_len51 = _v_deref__deref__item10.get_len ();
    1762           int _v_len52 = 0;
    1763           if (_v_len51 < _v_len52)
    1764           {
    1765             goto _block2__branch10;
    1766           }
    1767           int _v_len__label = (_v_len51 - _v_len52);
    1768           if (!_c_48.term_eq (_v_deref__item10, 0))
    1769           {
    1770             goto _block2__branch10;
     1814            goto _block2__branch11;
     1815          }
     1816          Expr _v_deref__item11 (Expr (_vt_item, 0));
     1817          int _v_len55 = _v_deref__item11.get_len ();
     1818          int _v_len56 = 2;
     1819          if (_v_len55 < _v_len56)
     1820          {
     1821            goto _block2__branch11;
     1822          }
     1823          int _v_len__body6 = (_v_len55 - _v_len56);
     1824          if (_v_deref__item11.symbol_at ((0 + 1)))
     1825          {
     1826            goto _block2__branch11;
     1827          }
     1828          Expr _v_deref__deref__item11 (Expr (_v_deref__item11, (0 + 1)));
     1829          int _v_len57 = _v_deref__deref__item11.get_len ();
     1830          int _v_len58 = 0;
     1831          if (_v_len57 < _v_len58)
     1832          {
     1833            goto _block2__branch11;
     1834          }
     1835          int _v_len__label = (_v_len57 - _v_len58);
     1836          if (!_c_48.term_eq (_v_deref__item11, 0))
     1837          {
     1838            goto _block2__branch11;
    17711839          }
    17721840          Expr _ve_body;
    1773           _ve_body = Expr (_v_deref__item10, (0 + 1 + 1), _v_len__body6);
     1841          _ve_body = Expr (_v_deref__item11, (0 + 1 + 1), _v_len__body6);
    17741842          Expr _ve_label;
    1775           _ve_label = Expr (_v_deref__deref__item10, 0, _v_len__label);
     1843          _ve_label = Expr (_v_deref__deref__item11, 0, _v_len__label);
    17761844          Expr _ge_auxcall29;
    17771845          RF_CALL (ASAIL_To_CPP, _ve_body, _ge_auxcall29);
     
    17811849          goto _block2;
    17821850        }
    1783       _block2__branch10: {}
     1851      _block2__branch11: {}
    17841852        {
    17851853          if (_vt_item.symbol_at (0))
    17861854          {
    1787             goto _block2__branch11;
    1788           }
    1789           Expr _v_deref__item11 (Expr (_vt_item, 0));
    1790           int _v_len53 = _v_deref__item11.get_len ();
    1791           int _v_len54 = 1;
    1792           if (_v_len53 < _v_len54)
    1793           {
    1794             goto _block2__branch11;
    1795           }
    1796           int _v_len__body7 = (_v_len53 - _v_len54);
    1797           if (!_c_51.term_eq (_v_deref__item11, 0))
    1798           {
    1799             goto _block2__branch11;
     1855            goto _block2__branch12;
     1856          }
     1857          Expr _v_deref__item12 (Expr (_vt_item, 0));
     1858          int _v_len59 = _v_deref__item12.get_len ();
     1859          int _v_len60 = 1;
     1860          if (_v_len59 < _v_len60)
     1861          {
     1862            goto _block2__branch12;
     1863          }
     1864          int _v_len__body7 = (_v_len59 - _v_len60);
     1865          if (!_c_51.term_eq (_v_deref__item12, 0))
     1866          {
     1867            goto _block2__branch12;
    18001868          }
    18011869          Expr _ve_body;
    1802           _ve_body = Expr (_v_deref__item11, (0 + 1), _v_len__body7);
     1870          _ve_body = Expr (_v_deref__item12, (0 + 1), _v_len__body7);
    18031871          Expr _ge_auxcall31;
    18041872          RF_CALL (ASAIL_To_CPP, _ve_body, _ge_auxcall31);
     
    18061874          goto _block2;
    18071875        }
    1808       _block2__branch11: {}
     1876      _block2__branch12: {}
    18091877        {
    18101878          if (_vt_item.symbol_at (0))
    18111879          {
    1812             goto _block2__branch12;
    1813           }
    1814           Expr _v_deref__item12 (Expr (_vt_item, 0));
    1815           int _v_len55 = _v_deref__item12.get_len ();
    1816           int _v_len56 = 1;
    1817           if (_v_len55 < _v_len56)
    1818           {
    1819             goto _block2__branch12;
    1820           }
    1821           int _v_len__body8 = (_v_len55 - _v_len56);
    1822           if (!_c_53.term_eq (_v_deref__item12, 0))
    1823           {
    1824             goto _block2__branch12;
     1880            goto _block2__branch13;
     1881          }
     1882          Expr _v_deref__item13 (Expr (_vt_item, 0));
     1883          int _v_len61 = _v_deref__item13.get_len ();
     1884          int _v_len62 = 1;
     1885          if (_v_len61 < _v_len62)
     1886          {
     1887            goto _block2__branch13;
     1888          }
     1889          int _v_len__body8 = (_v_len61 - _v_len62);
     1890          if (!_c_53.term_eq (_v_deref__item13, 0))
     1891          {
     1892            goto _block2__branch13;
    18251893          }
    18261894          Expr _ve_body;
    1827           _ve_body = Expr (_v_deref__item12, (0 + 1), _v_len__body8);
     1895          _ve_body = Expr (_v_deref__item13, (0 + 1), _v_len__body8);
    18281896          Expr _ge_auxcall32;
    18291897          RF_CALL (ASAIL_To_CPP, _ve_body, _ge_auxcall32);
     
    18311899          goto _block2;
    18321900        }
    1833       _block2__branch12: {}
     1901      _block2__branch13: {}
    18341902        {
    18351903          if (!_vt_item.term_eq (_c_56, 0))
    18361904          {
    1837             goto _block2__branch13;
     1905            goto _block2__branch14;
    18381906          }
    18391907          Expr _ve_trace__exit;
     
    18421910              Expr _v_Get2;
    18431911              RF_CALL (::refal::Box::Get, Current_Trace, _v_Get2);
    1844               int _v_len57 = _v_Get2.get_len ();
    1845               int _v_len58 = 1;
    1846               if (_v_len57 < _v_len58)
     1912              int _v_len63 = _v_Get2.get_len ();
     1913              int _v_len64 = 1;
     1914              if (_v_len63 < _v_len64)
    18471915              {
    18481916                goto _block10__branch1;
    18491917              }
    1850               int _v_len__name3 = (_v_len57 - _v_len58);
     1918              int _v_len__name3 = (_v_len63 - _v_len64);
    18511919              if (_v_Get2.symbol_at ((0 + _v_len__name3)))
    18521920              {
     
    18541922              }
    18551923              Expr _v_deref__Get2 (Expr (_v_Get2, (0 + _v_len__name3)));
    1856               int _v_len59 = _v_deref__Get2.get_len ();
    1857               int _v_len60 = 0;
    1858               if (_v_len59 < _v_len60)
     1924              int _v_len65 = _v_deref__Get2.get_len ();
     1925              int _v_len66 = 0;
     1926              if (_v_len65 < _v_len66)
    18591927              {
    18601928                goto _block10__branch1;
    18611929              }
    1862               int _v_len__ress2 = (_v_len59 - _v_len60);
     1930              int _v_len__ress2 = (_v_len65 - _v_len66);
    18631931              Expr _ve_name;
    18641932              _ve_name = Expr (_v_Get2, 0, _v_len__name3);
     
    18751943          goto _block2;
    18761944        }
    1877       _block2__branch13: {}
     1945      _block2__branch14: {}
    18781946        {
    18791947          if (!_vt_item.term_eq (_c_58, 0))
    18801948          {
    1881             goto _block2__branch14;
     1949            goto _block2__branch15;
    18821950          }
    18831951          _ve_cpp__item = _c_59;
    18841952          goto _block2;
    18851953        }
    1886       _block2__branch14: {}
     1954      _block2__branch15: {}
    18871955        {
    18881956          if (_vt_item.symbol_at (0))
    18891957          {
    1890             goto _block2__branch15;
    1891           }
    1892           Expr _v_deref__item13 (Expr (_vt_item, 0));
    1893           int _v_len61 = _v_deref__item13.get_len ();
    1894           int _v_len62 = 4;
    1895           if (_v_len61 < _v_len62)
    1896           {
    1897             goto _block2__branch15;
    1898           }
    1899           int _v_len__expr = (_v_len61 - _v_len62);
    1900           if (_v_deref__item13.symbol_at ((0 + 1 + _v_len__expr)))
    1901           {
    1902             goto _block2__branch15;
    1903           }
    1904           Expr _v_deref__deref__item13 (Expr (_v_deref__item13, (0 + 1 + _v_len__expr)));
    1905           int _v_len63 = _v_deref__deref__item13.get_len ();
    1906           int _v_len64 = 0;
    1907           if (_v_len63 < _v_len64)
    1908           {
    1909             goto _block2__branch15;
    1910           }
    1911           int _v_len__min = (_v_len63 - _v_len64);
    1912           if (!_c_60.term_eq (_v_deref__item13, 0))
    1913           {
    1914             goto _block2__branch15;
     1958            goto _block2__branch16;
     1959          }
     1960          Expr _v_deref__item14 (Expr (_vt_item, 0));
     1961          int _v_len67 = _v_deref__item14.get_len ();
     1962          int _v_len68 = 4;
     1963          if (_v_len67 < _v_len68)
     1964          {
     1965            goto _block2__branch16;
     1966          }
     1967          int _v_len__expr = (_v_len67 - _v_len68);
     1968          if (_v_deref__item14.symbol_at ((0 + 1 + _v_len__expr)))
     1969          {
     1970            goto _block2__branch16;
     1971          }
     1972          Expr _v_deref__deref__item14 (Expr (_v_deref__item14, (0 + 1 + _v_len__expr)));
     1973          int _v_len69 = _v_deref__deref__item14.get_len ();
     1974          int _v_len70 = 0;
     1975          if (_v_len69 < _v_len70)
     1976          {
     1977            goto _block2__branch16;
     1978          }
     1979          int _v_len__min = (_v_len69 - _v_len70);
     1980          if (!_c_60.term_eq (_v_deref__item14, 0))
     1981          {
     1982            goto _block2__branch16;
    19151983          }
    19161984          Expr _ve_expr;
    1917           _ve_expr = Expr (_v_deref__item13, (0 + 1), _v_len__expr);
     1985          _ve_expr = Expr (_v_deref__item14, (0 + 1), _v_len__expr);
    19181986          Expr _vt_var1;
    1919           _vt_var1 = Expr (_v_deref__item13, (0 + 1 + _v_len__expr + 1), 1);
     1987          _vt_var1 = Expr (_v_deref__item14, (0 + 1 + _v_len__expr + 1), 1);
    19201988          Expr _vt_var2;
    1921           _vt_var2 = Expr (_v_deref__item13, (0 + 1 + _v_len__expr + 1 + 1), 1);
     1989          _vt_var2 = Expr (_v_deref__item14, (0 + 1 + _v_len__expr + 1 + 1), 1);
    19221990          Expr _ve_min;
    1923           _ve_min = Expr (_v_deref__deref__item13, 0, _v_len__min);
     1991          _ve_min = Expr (_v_deref__deref__item14, 0, _v_len__min);
    19241992          Expr _ge_auxcall33;
    19251993          RF_CALL (Expr_Ref_To_CPP, _ve_expr, _ge_auxcall33);
     
    19332001          goto _block2;
    19342002        }
    1935       _block2__branch15: {}
     2003      _block2__branch16: {}
    19362004        {
    19372005          if (_vt_item.symbol_at (0))
    19382006          {
    1939             goto _block2__branch16;
    1940           }
    1941           Expr _v_deref__item14 (Expr (_vt_item, 0));
    1942           int _v_len65 = _v_deref__item14.get_len ();
    1943           int _v_len66 = 4;
    1944           if (_v_len65 < _v_len66)
    1945           {
    1946             goto _block2__branch16;
    1947           }
    1948           int _v_len__expr2 = (_v_len65 - _v_len66);
    1949           if (_v_deref__item14.symbol_at ((0 + 1 + _v_len__expr2)))
    1950           {
    1951             goto _block2__branch16;
    1952           }
    1953           Expr _v_deref__deref__item14 (Expr (_v_deref__item14, (0 + 1 + _v_len__expr2)));
    1954           int _v_len67 = _v_deref__deref__item14.get_len ();
    1955           int _v_len68 = 0;
    1956           if (_v_len67 < _v_len68)
    1957           {
    1958             goto _block2__branch16;
    1959           }
    1960           int _v_len__min2 = (_v_len67 - _v_len68);
    1961           if (!_c_62.term_eq (_v_deref__item14, 0))
    1962           {
    1963             goto _block2__branch16;
     2007            goto _block2__branch17;
     2008          }
     2009          Expr _v_deref__item15 (Expr (_vt_item, 0));
     2010          int _v_len71 = _v_deref__item15.get_len ();
     2011          int _v_len72 = 4;
     2012          if (_v_len71 < _v_len72)
     2013          {
     2014            goto _block2__branch17;
     2015          }
     2016          int _v_len__expr2 = (_v_len71 - _v_len72);
     2017          if (_v_deref__item15.symbol_at ((0 + 1 + _v_len__expr2)))
     2018          {
     2019            goto _block2__branch17;
     2020          }
     2021          Expr _v_deref__deref__item15 (Expr (_v_deref__item15, (0 + 1 + _v_len__expr2)));
     2022          int _v_len73 = _v_deref__deref__item15.get_len ();
     2023          int _v_len74 = 0;
     2024          if (_v_len73 < _v_len74)
     2025          {
     2026            goto _block2__branch17;
     2027          }
     2028          int _v_len__min2 = (_v_len73 - _v_len74);
     2029          if (!_c_62.term_eq (_v_deref__item15, 0))
     2030          {
     2031            goto _block2__branch17;
    19642032          }
    19652033          Expr _ve_expr;
    1966           _ve_expr = Expr (_v_deref__item14, (0 + 1), _v_len__expr2);
     2034          _ve_expr = Expr (_v_deref__item15, (0 + 1), _v_len__expr2);
    19672035          Expr _vt_var1;
    1968           _vt_var1 = Expr (_v_deref__item14, (0 + 1 + _v_len__expr2 + 1), 1);
     2036          _vt_var1 = Expr (_v_deref__item15, (0 + 1 + _v_len__expr2 + 1), 1);
    19692037          Expr _vt_var2;
    1970           _vt_var2 = Expr (_v_deref__item14, (0 + 1 + _v_len__expr2 + 1 + 1), 1);
     2038          _vt_var2 = Expr (_v_deref__item15, (0 + 1 + _v_len__expr2 + 1 + 1), 1);
    19712039          Expr _ve_min;
    1972           _ve_min = Expr (_v_deref__deref__item14, 0, _v_len__min2);
     2040          _ve_min = Expr (_v_deref__deref__item15, 0, _v_len__min2);
    19732041          Expr _ge_auxcall37;
    19742042          RF_CALL (Expr_Ref_To_CPP, _ve_expr, _ge_auxcall37);
     
    19822050          goto _block2;
    19832051        }
    1984       _block2__branch16: {}
     2052      _block2__branch17: {}
    19852053        {
    19862054          if (_vt_item.symbol_at (0))
    19872055          {
    1988             goto _block2__branch17;
    1989           }
    1990           Expr _v_deref__item15 (Expr (_vt_item, 0));
    1991           int _v_len69 = _v_deref__item15.get_len ();
    1992           int _v_len70 = 2;
    1993           if (_v_len69 < _v_len70)
    1994           {
    1995             goto _block2__branch17;
    1996           }
    1997           int _v_len__expr3 = (_v_len69 - _v_len70);
    1998           if (!_c_64.term_eq (_v_deref__item15, 0))
    1999           {
    2000             goto _block2__branch17;
     2056            goto _block2__branch18;
     2057          }
     2058          Expr _v_deref__item16 (Expr (_vt_item, 0));
     2059          int _v_len75 = _v_deref__item16.get_len ();
     2060          int _v_len76 = 2;
     2061          if (_v_len75 < _v_len76)
     2062          {
     2063            goto _block2__branch18;
     2064          }
     2065          int _v_len__expr3 = (_v_len75 - _v_len76);
     2066          if (!_c_64.term_eq (_v_deref__item16, 0))
     2067          {
     2068            goto _block2__branch18;
    20012069          }
    20022070          Expr _vt_var;
    2003           _vt_var = Expr (_v_deref__item15, (0 + 1), 1);
     2071          _vt_var = Expr (_v_deref__item16, (0 + 1), 1);
    20042072          Expr _ve_expr;
    2005           _ve_expr = Expr (_v_deref__item15, (0 + 1 + 1), _v_len__expr3);
     2073          _ve_expr = Expr (_v_deref__item16, (0 + 1 + 1), _v_len__expr3);
    20062074          if (_vt_var.symbol_at (0))
    20072075          {
    2008             goto _block2__branch17;
     2076            goto _block2__branch18;
    20092077          }
    20102078          Expr _v_deref__var (Expr (_vt_var, 0));
    2011           int _v_len71 = _v_deref__var.get_len ();
    2012           int _v_len72 = 1;
    2013           if (_v_len71 < _v_len72)
    2014           {
    2015             goto _block2__branch17;
    2016           }
    2017           int _v_len___dollar_tmp_m_198_m_42 = (_v_len71 - _v_len72);
     2079          int _v_len77 = _v_deref__var.get_len ();
     2080          int _v_len78 = 1;
     2081          if (_v_len77 < _v_len78)
     2082          {
     2083            goto _block2__branch18;
     2084          }
     2085          int _v_len___dollar_tmp_m_199_m_42 = (_v_len77 - _v_len78);
    20182086          if (!_c_1.term_eq (_v_deref__var, 0))
    20192087          {
    2020             goto _block2__branch17;
    2021           }
    2022           Expr _ve__dollar_tmp_m_198_m_42;
    2023           _ve__dollar_tmp_m_198_m_42 = Expr (_v_deref__var, (0 + 1), _v_len___dollar_tmp_m_198_m_42);
     2088            goto _block2__branch18;
     2089          }
     2090          Expr _ve__dollar_tmp_m_199_m_42;
     2091          _ve__dollar_tmp_m_199_m_42 = Expr (_v_deref__var, (0 + 1), _v_len___dollar_tmp_m_199_m_42);
    20242092          Expr _ge_auxcall41;
    20252093          RF_CALL (::refal::CppMangle::Rfp2Cpp, _vt_var, _ge_auxcall41);
     
    20292097          goto _block2;
    20302098        }
    2031       _block2__branch17: {}
     2099      _block2__branch18: {}
    20322100        {
    20332101          if (_vt_item.symbol_at (0))
    20342102          {
    2035             goto _block2__branch18;
    2036           }
    2037           Expr _v_deref__item16 (Expr (_vt_item, 0));
    2038           int _v_len73 = _v_deref__item16.get_len ();
    2039           int _v_len74 = 2;
    2040           if (_v_len73 < _v_len74)
    2041           {
    2042             goto _block2__branch18;
    2043           }
    2044           int _v_len__expr4 = (_v_len73 - _v_len74);
    2045           if (!_c_64.term_eq (_v_deref__item16, 0))
    2046           {
    2047             goto _block2__branch18;
     2103            goto _block2__branch19;
     2104          }
     2105          Expr _v_deref__item17 (Expr (_vt_item, 0));
     2106          int _v_len79 = _v_deref__item17.get_len ();
     2107          int _v_len80 = 2;
     2108          if (_v_len79 < _v_len80)
     2109          {
     2110            goto _block2__branch19;
     2111          }
     2112          int _v_len__expr4 = (_v_len79 - _v_len80);
     2113          if (!_c_64.term_eq (_v_deref__item17, 0))
     2114          {
     2115            goto _block2__branch19;
    20482116          }
    20492117          Expr _vt_var;
    2050           _vt_var = Expr (_v_deref__item16, (0 + 1), 1);
     2118          _vt_var = Expr (_v_deref__item17, (0 + 1), 1);
    20512119          Expr _ve_expr;
    2052           _ve_expr = Expr (_v_deref__item16, (0 + 1 + 1), _v_len__expr4);
     2120          _ve_expr = Expr (_v_deref__item17, (0 + 1 + 1), _v_len__expr4);
    20532121          Expr _ge_auxcall43;
    20542122          RF_CALL (::refal::CppMangle::Rfp2Cpp, _vt_var, _ge_auxcall43);
     
    20582126          goto _block2;
    20592127        }
    2060       _block2__branch18: {}
     2128      _block2__branch19: {}
    20612129        {
    20622130          if (_vt_item.symbol_at (0))
    20632131          {
    2064             goto _block2__branch19;
    2065           }
    2066           Expr _v_deref__item17 (Expr (_vt_item, 0));
    2067           int _v_len75 = _v_deref__item17.get_len ();
    2068           int _v_len76 = 2;
    2069           if (_v_len75 < _v_len76)
    2070           {
    2071             goto _block2__branch19;
    2072           }
    2073           int _v_len__expr5 = (_v_len75 - _v_len76);
    2074           if (!_c_65.term_eq (_v_deref__item17, 0))
    2075           {
    2076             goto _block2__branch19;
     2132            goto _block2__branch20;
     2133          }
     2134          Expr _v_deref__item18 (Expr (_vt_item, 0));
     2135          int _v_len81 = _v_deref__item18.get_len ();
     2136          int _v_len82 = 2;
     2137          if (_v_len81 < _v_len82)
     2138          {
     2139            goto _block2__branch20;
     2140          }
     2141          int _v_len__expr5 = (_v_len81 - _v_len82);
     2142          if (!_c_65.term_eq (_v_deref__item18, 0))
     2143          {
     2144            goto _block2__branch20;
    20772145          }
    20782146          Expr _vt_var;
    2079           _vt_var = Expr (_v_deref__item17, (0 + 1), 1);
     2147          _vt_var = Expr (_v_deref__item18, (0 + 1), 1);
    20802148          Expr _ve_expr;
    2081           _ve_expr = Expr (_v_deref__item17, (0 + 1 + 1), _v_len__expr5);
     2149          _ve_expr = Expr (_v_deref__item18, (0 + 1 + 1), _v_len__expr5);
    20822150          if (_vt_var.symbol_at (0))
    20832151          {
    2084             goto _block2__branch19;
     2152            goto _block2__branch20;
    20852153          }
    20862154          Expr _v_deref__var2 (Expr (_vt_var, 0));
    2087           int _v_len77 = _v_deref__var2.get_len ();
    2088           int _v_len78 = 1;
    2089           if (_v_len77 < _v_len78)
    2090           {
    2091             goto _block2__branch19;
    2092           }
    2093           int _v_len___dollar_tmp_m_202_m_40 = (_v_len77 - _v_len78);
     2155          int _v_len83 = _v_deref__var2.get_len ();
     2156          int _v_len84 = 1;
     2157          if (_v_len83 < _v_len84)
     2158          {
     2159            goto _block2__branch20;
     2160          }
     2161          int _v_len___dollar_tmp_m_203_m_40 = (_v_len83 - _v_len84);
    20942162          if (!_c_1.term_eq (_v_deref__var2, 0))
    20952163          {
    2096             goto _block2__branch19;
    2097           }
    2098           Expr _ve__dollar_tmp_m_202_m_40;
    2099           _ve__dollar_tmp_m_202_m_40 = Expr (_v_deref__var2, (0 + 1), _v_len___dollar_tmp_m_202_m_40);
     2164            goto _block2__branch20;
     2165          }
     2166          Expr _ve__dollar_tmp_m_203_m_40;
     2167          _ve__dollar_tmp_m_203_m_40 = Expr (_v_deref__var2, (0 + 1), _v_len___dollar_tmp_m_203_m_40);
    21002168          Expr _ge_auxcall45;
    21012169          RF_CALL (::refal::CppMangle::Rfp2Cpp, _vt_var, _ge_auxcall45);
     
    21052173          goto _block2;
    21062174        }
    2107       _block2__branch19: {}
     2175      _block2__branch20: {}
    21082176        {
    21092177          if (_vt_item.symbol_at (0))
    21102178          {
    2111             goto _block2__branch20;
    2112           }
    2113           Expr _v_deref__item18 (Expr (_vt_item, 0));
    2114           if (_v_deref__item18.get_len () != 3)
    2115           {
    2116             goto _block2__branch20;
    2117           }
    2118           if (!_c_65.term_eq (_v_deref__item18, 0))
    2119           {
    2120             goto _block2__branch20;
    2121           }
    2122           if (!_v_deref__item18.symbol_at ((0 + 1)))
    2123           {
    2124             goto _block2__branch20;
     2179            goto _block2__branch21;
     2180          }
     2181          Expr _v_deref__item19 (Expr (_vt_item, 0));
     2182          if (_v_deref__item19.get_len () != 3)
     2183          {
     2184            goto _block2__branch21;
     2185          }
     2186          if (!_c_65.term_eq (_v_deref__item19, 0))
     2187          {
     2188            goto _block2__branch21;
     2189          }
     2190          if (!_v_deref__item19.symbol_at ((0 + 1)))
     2191          {
     2192            goto _block2__branch21;
    21252193          }
    21262194          Expr _vs_type;
    2127           _vs_type = Expr (_v_deref__item18, (0 + 1), 1);
     2195          _vs_type = Expr (_v_deref__item19, (0 + 1), 1);
    21282196          Expr _vt_var;
    2129           _vt_var = Expr (_v_deref__item18, (0 + 1 + 1), 1);
     2197          _vt_var = Expr (_v_deref__item19, (0 + 1 + 1), 1);
    21302198          Expr _ge_auxcall47;
    21312199          RF_CALL (::refal::CppMangle::Rfp2Cpp, _vt_var, _ge_auxcall47);
     
    21332201          goto _block2;
    21342202        }
    2135       _block2__branch20: {}
     2203      _block2__branch21: {}
    21362204        {
    21372205          if (_vt_item.symbol_at (0))
    21382206          {
    2139             goto _block2__branch21;
    2140           }
    2141           Expr _v_deref__item19 (Expr (_vt_item, 0));
    2142           int _v_len79 = _v_deref__item19.get_len ();
    2143           int _v_len80 = 3;
    2144           if (_v_len79 < _v_len80)
    2145           {
    2146             goto _block2__branch21;
    2147           }
    2148           int _v_len__expr6 = (_v_len79 - _v_len80);
    2149           if (!_c_65.term_eq (_v_deref__item19, 0))
    2150           {
    2151             goto _block2__branch21;
    2152           }
    2153           if (!_v_deref__item19.symbol_at ((0 + 1)))
    2154           {
    2155             goto _block2__branch21;
     2207            goto _block2__branch22;
     2208          }
     2209          Expr _v_deref__item20 (Expr (_vt_item, 0));
     2210          int _v_len85 = _v_deref__item20.get_len ();
     2211          int _v_len86 = 3;
     2212          if (_v_len85 < _v_len86)
     2213          {
     2214            goto _block2__branch22;
     2215          }
     2216          int _v_len__expr6 = (_v_len85 - _v_len86);
     2217          if (!_c_65.term_eq (_v_deref__item20, 0))
     2218          {
     2219            goto _block2__branch22;
     2220          }
     2221          if (!_v_deref__item20.symbol_at ((0 + 1)))
     2222          {
     2223            goto _block2__branch22;
    21562224          }
    21572225          Expr _vs_type;
    2158           _vs_type = Expr (_v_deref__item19, (0 + 1), 1);
     2226          _vs_type = Expr (_v_deref__item20, (0 + 1), 1);
    21592227          Expr _vt_var;
    2160           _vt_var = Expr (_v_deref__item19, (0 + 1 + 1), 1);
     2228          _vt_var = Expr (_v_deref__item20, (0 + 1 + 1), 1);
    21612229          Expr _ve_expr;
    2162           _ve_expr = Expr (_v_deref__item19, (0 + 1 + 1 + 1), _v_len__expr6);
     2230          _ve_expr = Expr (_v_deref__item20, (0 + 1 + 1 + 1), _v_len__expr6);
    21632231          Expr _ge_auxcall48;
    21642232          RF_CALL (::refal::CppMangle::Rfp2Cpp, _vt_var, _ge_auxcall48);
     
    21682236          goto _block2;
    21692237        }
    2170       _block2__branch21: {}
     2238      _block2__branch22: {}
    21712239        {
    21722240          if (_vt_item.symbol_at (0))
    21732241          {
    2174             goto _block2__branch22;
    2175           }
    2176           Expr _v_deref__item20 (Expr (_vt_item, 0));
    2177           if (_v_deref__item20.get_len () != 2)
    2178           {
    2179             goto _block2__branch22;
    2180           }
    2181           if (!_c_69.term_eq (_v_deref__item20, 0))
    2182           {
    2183             goto _block2__branch22;
     2242            goto _block2__branch23;
     2243          }
     2244          Expr _v_deref__item21 (Expr (_vt_item, 0));
     2245          if (_v_deref__item21.get_len () != 2)
     2246          {
     2247            goto _block2__branch23;
     2248          }
     2249          if (!_c_69.term_eq (_v_deref__item21, 0))
     2250          {
     2251            goto _block2__branch23;
    21842252          }
    21852253          Expr _vt_var;
    2186           _vt_var = Expr (_v_deref__item20, (0 + 1), 1);
     2254          _vt_var = Expr (_v_deref__item21, (0 + 1), 1);
    21872255          Expr _ge_auxcall50;
    21882256          RF_CALL (::refal::CppMangle::Rfp2Cpp, _vt_var, _ge_auxcall50);
     
    21902258          goto _block2;
    21912259        }
    2192       _block2__branch22: {}
     2260      _block2__branch23: {}
    21932261        {
    21942262          if (_vt_item.symbol_at (0))
    21952263          {
    2196             goto _block2__branch23;
    2197           }
    2198           Expr _v_deref__item21 (Expr (_vt_item, 0));
    2199           if (_v_deref__item21.get_len () != 2)
    2200           {
    2201             goto _block2__branch23;
    2202           }
    2203           if (!_c_71.term_eq (_v_deref__item21, 0))
    2204           {
    2205             goto _block2__branch23;
     2264            goto _block2__branch24;
     2265          }
     2266          Expr _v_deref__item22 (Expr (_vt_item, 0));
     2267          if (_v_deref__item22.get_len () != 2)
     2268          {
     2269            goto _block2__branch24;
     2270          }
     2271          if (!_c_71.term_eq (_v_deref__item22, 0))
     2272          {
     2273            goto _block2__branch24;
    22062274          }
    22072275          Expr _vt_label;
    2208           _vt_label = Expr (_v_deref__item21, (0 + 1), 1);
     2276          _vt_label = Expr (_v_deref__item22, (0 + 1), 1);
    22092277          Expr _ge_auxcall51;
    22102278          RF_CALL (::refal::CppMangle::Rfp2Cpp, (_c_48 + _vt_label) (), _ge_auxcall51);
     
    22122280          goto _block2;
    22132281        }
    2214       _block2__branch23: {}
     2282      _block2__branch24: {}
    22152283        {
    22162284          if (_vt_item.symbol_at (0))
    22172285          {
    2218             goto _block2__branch24;
    2219           }
    2220           Expr _v_deref__item22 (Expr (_vt_item, 0));
    2221           if (_v_deref__item22.get_len () != 2)
    2222           {
    2223             goto _block2__branch24;
    2224           }
    2225           if (!_c_73.term_eq (_v_deref__item22, 0))
    2226           {
    2227             goto _block2__branch24;
     2286            goto _block2__branch25;
     2287          }
     2288          Expr _v_deref__item23 (Expr (_vt_item, 0));
     2289          if (_v_deref__item23.get_len () != 2)
     2290          {
     2291            goto _block2__branch25;
     2292          }
     2293          if (!_c_73.term_eq (_v_deref__item23, 0))
     2294          {
     2295            goto _block2__branch25;
    22282296          }
    22292297          Expr _vt_label;
    2230           _vt_label = Expr (_v_deref__item22, (0 + 1), 1);
     2298          _vt_label = Expr (_v_deref__item23, (0 + 1), 1);
    22312299          Expr _ge_auxcall52;
    22322300          RF_CALL (::refal::CppMangle::Rfp2Cpp, (_c_48 + _vt_label) (), _ge_auxcall52);
     
    22342302          goto _block2;
    22352303        }
    2236       _block2__branch24: {}
     2304      _block2__branch25: {}
    22372305        {
    22382306          if (_vt_item.symbol_at (0))
    22392307          {
    2240             goto _block2__branch25;
    2241           }
    2242           Expr _v_deref__item23 (Expr (_vt_item, 0));
    2243           int _v_len81 = _v_deref__item23.get_len ();
    2244           int _v_len82 = 1;
    2245           if (_v_len81 < _v_len82)
    2246           {
    2247             goto _block2__branch25;
    2248           }
    2249           int _v_len__expr7 = (_v_len81 - _v_len82);
    2250           if (!_c_23.term_eq (_v_deref__item23, 0))
    2251           {
    2252             goto _block2__branch25;
     2308            goto _block2__branch26;
     2309          }
     2310          Expr _v_deref__item24 (Expr (_vt_item, 0));
     2311          int _v_len87 = _v_deref__item24.get_len ();
     2312          int _v_len88 = 1;
     2313          if (_v_len87 < _v_len88)
     2314          {
     2315            goto _block2__branch26;
     2316          }
     2317          int _v_len__expr7 = (_v_len87 - _v_len88);
     2318          if (!_c_23.term_eq (_v_deref__item24, 0))
     2319          {
     2320            goto _block2__branch26;
    22532321          }
    22542322          Expr _ve_expr;
    2255           _ve_expr = Expr (_v_deref__item23, (0 + 1), _v_len__expr7);
     2323          _ve_expr = Expr (_v_deref__item24, (0 + 1), _v_len__expr7);
    22562324          Expr _ge_auxcall53;
    22572325          RF_CALL (Expr_Ref_To_CPP, _ve_expr, _ge_auxcall53);
     
    22592327          goto _block2;
    22602328        }
    2261       _block2__branch25: {}
     2329      _block2__branch26: {}
    22622330        {
    22632331          if (_vt_item.symbol_at (0))
    22642332          {
    2265             goto _block2__branch26;
    2266           }
    2267           Expr _v_deref__item24 (Expr (_vt_item, 0));
    2268           int _v_len83 = _v_deref__item24.get_len ();
    2269           int _v_len84 = 4;
    2270           if (_v_len83 < _v_len84)
    2271           {
    2272             goto _block2__branch26;
    2273           }
    2274           int _v_len__expr8 = (_v_len83 - _v_len84);
    2275           if (_v_deref__item24.symbol_at ((0 + 1 + 1)))
    2276           {
    2277             goto _block2__branch26;
    2278           }
    2279           if (_v_deref__item24.symbol_at ((0 + 1 + 1 + 1)))
    2280           {
    2281             goto _block2__branch26;
    2282           }
    2283           Expr _v_deref__deref__item24 (Expr (_v_deref__item24, (0 + 1 + 1)));
    2284           Expr _v_deref__deref__item242 (Expr (_v_deref__item24, (0 + 1 + 1 + 1)));
    2285           int _v_len85 = _v_deref__deref__item242.get_len ();
    2286           int _v_len86 = 0;
    2287           if (_v_len85 < _v_len86)
    2288           {
    2289             goto _block2__branch26;
    2290           }
    2291           int _v_len__comment = (_v_len85 - _v_len86);
    2292           int _v_len87 = _v_deref__deref__item24.get_len ();
    2293           int _v_len88 = 0;
    2294           if (_v_len87 < _v_len88)
    2295           {
    2296             goto _block2__branch26;
    2297           }
    2298           int _v_len__name4 = (_v_len87 - _v_len88);
    2299           if (!_c_75.eq (_v_deref__item24, 0))
    2300           {
    2301             goto _block2__branch26;
    2302           }
    2303           Expr _ve_expr;
    2304           _ve_expr = Expr (_v_deref__item24, (0 + 1 + 1 + 1 + 1), _v_len__expr8);
    2305           Expr _ve_name;
    2306           _ve_name = Expr (_v_deref__deref__item24, 0, _v_len__name4);
    2307           Expr _ve_comment;
    2308           _ve_comment = Expr (_v_deref__deref__item242, 0, _v_len__comment);
    2309           int _v_len89 = _v_len__name4;
     2333            goto _block2__branch27;
     2334          }
     2335          Expr _v_deref__item25 (Expr (_vt_item, 0));
     2336          int _v_len89 = _v_deref__item25.get_len ();
    23102337          int _v_len90 = 4;
    23112338          if (_v_len89 < _v_len90)
    23122339          {
     2340            goto _block2__branch27;
     2341          }
     2342          int _v_len__expr8 = (_v_len89 - _v_len90);
     2343          if (_v_deref__item25.symbol_at ((0 + 1 + 1)))
     2344          {
     2345            goto _block2__branch27;
     2346          }
     2347          if (_v_deref__item25.symbol_at ((0 + 1 + 1 + 1)))
     2348          {
     2349            goto _block2__branch27;
     2350          }
     2351          Expr _v_deref__deref__item25 (Expr (_v_deref__item25, (0 + 1 + 1)));
     2352          Expr _v_deref__deref__item252 (Expr (_v_deref__item25, (0 + 1 + 1 + 1)));
     2353          int _v_len91 = _v_deref__deref__item252.get_len ();
     2354          int _v_len92 = 0;
     2355          if (_v_len91 < _v_len92)
     2356          {
     2357            goto _block2__branch27;
     2358          }
     2359          int _v_len__comment = (_v_len91 - _v_len92);
     2360          int _v_len93 = _v_deref__deref__item25.get_len ();
     2361          int _v_len94 = 0;
     2362          if (_v_len93 < _v_len94)
     2363          {
     2364            goto _block2__branch27;
     2365          }
     2366          int _v_len__name4 = (_v_len93 - _v_len94);
     2367          if (!_c_75.eq (_v_deref__item25, 0))
     2368          {
     2369            goto _block2__branch27;
     2370          }
     2371          Expr _ve_expr;
     2372          _ve_expr = Expr (_v_deref__item25, (0 + 1 + 1 + 1 + 1), _v_len__expr8);
     2373          Expr _ve_name;
     2374          _ve_name = Expr (_v_deref__deref__item25, 0, _v_len__name4);
     2375          Expr _ve_comment;
     2376          _ve_comment = Expr (_v_deref__deref__item252, 0, _v_len__comment);
     2377          int _v_len95 = _v_len__name4;
     2378          int _v_len96 = 4;
     2379          if (_v_len95 < _v_len96)
     2380          {
    23132381            goto _block1__branch1;
    23142382          }
    2315           int _v_len__n2 = (_v_len89 - _v_len90);
     2383          int _v_len__n2 = (_v_len95 - _v_len96);
    23162384          if (!_c_28.eq (_ve_name, 0))
    23172385          {
     
    23282396          goto _block2;
    23292397        }
    2330       _block2__branch26: {}
     2398      _block2__branch27: {}
    23312399        {
    23322400          if (_vt_item.symbol_at (0))
    23332401          {
    2334             goto _block2__branch27;
    2335           }
    2336           Expr _v_deref__item25 (Expr (_vt_item, 0));
    2337           int _v_len91 = _v_deref__item25.get_len ();
    2338           int _v_len92 = 4;
    2339           if (_v_len91 < _v_len92)
    2340           {
    2341             goto _block2__branch27;
    2342           }
    2343           int _v_len__expr9 = (_v_len91 - _v_len92);
    2344           if (_v_deref__item25.symbol_at ((0 + 1 + 1 + 1)))
    2345           {
    2346             goto _block2__branch27;
    2347           }
    2348           Expr _v_deref__deref__item25 (Expr (_v_deref__item25, (0 + 1 + 1 + 1)));
    2349           int _v_len93 = _v_deref__deref__item25.get_len ();
    2350           int _v_len94 = 0;
    2351           if (_v_len93 < _v_len94)
    2352           {
    2353             goto _block2__branch27;
    2354           }
    2355           int _v_len__comment2 = (_v_len93 - _v_len94);
    2356           if (!_c_78.term_eq (_v_deref__item25, 0))
    2357           {
    2358             goto _block2__branch27;
    2359           }
    2360           if (!_v_deref__item25.symbol_at ((0 + 1)))
    2361           {
    2362             goto _block2__branch27;
     2402            goto _block2__branch28;
     2403          }
     2404          Expr _v_deref__item26 (Expr (_vt_item, 0));
     2405          int _v_len97 = _v_deref__item26.get_len ();
     2406          int _v_len98 = 4;
     2407          if (_v_len97 < _v_len98)
     2408          {
     2409            goto _block2__branch28;
     2410          }
     2411          int _v_len__expr9 = (_v_len97 - _v_len98);
     2412          if (_v_deref__item26.symbol_at ((0 + 1 + 1 + 1)))
     2413          {
     2414            goto _block2__branch28;
     2415          }
     2416          Expr _v_deref__deref__item26 (Expr (_v_deref__item26, (0 + 1 + 1 + 1)));
     2417          int _v_len99 = _v_deref__deref__item26.get_len ();
     2418          int _v_len100 = 0;
     2419          if (_v_len99 < _v_len100)
     2420          {
     2421            goto _block2__branch28;
     2422          }
     2423          int _v_len__comment2 = (_v_len99 - _v_len100);
     2424          if (!_c_78.term_eq (_v_deref__item26, 0))
     2425          {
     2426            goto _block2__branch28;
     2427          }
     2428          if (!_v_deref__item26.symbol_at ((0 + 1)))
     2429          {
     2430            goto _block2__branch28;
    23632431          }
    23642432          Expr _vs_linkage;
    2365           _vs_linkage = Expr (_v_deref__item25, (0 + 1), 1);
     2433          _vs_linkage = Expr (_v_deref__item26, (0 + 1), 1);
    23662434          Expr _vt_name;
    2367           _vt_name = Expr (_v_deref__item25, (0 + 1 + 1), 1);
     2435          _vt_name = Expr (_v_deref__item26, (0 + 1 + 1), 1);
    23682436          Expr _ve_expr;
    2369           _ve_expr = Expr (_v_deref__item25, (0 + 1 + 1 + 1 + 1), _v_len__expr9);
     2437          _ve_expr = Expr (_v_deref__item26, (0 + 1 + 1 + 1 + 1), _v_len__expr9);
    23702438          Expr _ve_comment;
    2371           _ve_comment = Expr (_v_deref__deref__item25, 0, _v_len__comment2);
     2439          _ve_comment = Expr (_v_deref__deref__item26, 0, _v_len__comment2);
    23722440          Expr _ge_linkage__5;
    23732441          {
     
    23852453        _block11: {}
    23862454          Expr _ve_qualifiers;
    2387           Expr _ve__dollar_tmp_m_225_m_28;
     2455          Expr _ve__dollar_tmp_m_226_m_28;
    23882456          Expr _vs_name__producer;
    23892457          Expr _ve_name__arg;
     
    23952463              }
    23962464              Expr _v_deref__name (Expr (_vt_name, 0));
    2397               int _v_len95 = _v_deref__name.get_len ();
    2398               int _v_len96 = 1;
    2399               if (_v_len95 < _v_len96)
     2465              int _v_len101 = _v_deref__name.get_len ();
     2466              int _v_len102 = 1;
     2467              if (_v_len101 < _v_len102)
    24002468              {
    24012469                goto _block12__branch1;
    24022470              }
    2403               int _v_len___dollar_tmp_m_223_m_27 = (_v_len95 - _v_len96);
     2471              int _v_len___dollar_tmp_m_224_m_27 = (_v_len101 - _v_len102);
    24042472              if (!_c_11.term_eq (_v_deref__name, 0))
    24052473              {
    24062474                goto _block12__branch1;
    24072475              }
    2408               Expr _ve__dollar_tmp_m_223_m_27;
    2409               _ve__dollar_tmp_m_223_m_27 = Expr (_v_deref__name, (0 + 1), _v_len___dollar_tmp_m_223_m_27);
     2476              Expr _ve__dollar_tmp_m_224_m_27;
     2477              _ve__dollar_tmp_m_224_m_27 = Expr (_v_deref__name, (0 + 1), _v_len___dollar_tmp_m_224_m_27);
    24102478              Expr _ge_auxcall56;
    24112479              RF_CALL (::refal::Box::Get, Module_Name, _ge_auxcall56);
    24122480              _ve_qualifiers = _ge_auxcall56;
    2413               _ve__dollar_tmp_m_225_m_28 = empty;
     2481              _ve__dollar_tmp_m_226_m_28 = empty;
    24142482              _vs_name__producer = _c_80;
    24152483              _ve_name__arg = _vt_name;
     
    24212489            RF_CALL (Extract_Qualifiers, _vt_name, (_ge_auxcall57, _ge_auxcall58));
    24222490            _ve_qualifiers = _ge_auxcall57;
    2423             _ve__dollar_tmp_m_225_m_28 = _ge_auxcall58;
     2491            _ve__dollar_tmp_m_226_m_28 = _ge_auxcall58;
    24242492            _vs_name__producer = _c_81;
    24252493            _ve_name__arg = (_c_12 + _vt_name);
     
    24402508          goto _block2;
    24412509        }
    2442       _block2__branch27: {}
     2510      _block2__branch28: {}
    24432511        {
    24442512          if (_vt_item.symbol_at (0))
    24452513          {
    2446             goto _block2__branch28;
    2447           }
    2448           Expr _v_deref__item26 (Expr (_vt_item, 0));
    2449           if (_v_deref__item26.get_len () != 4)
    2450           {
    2451             goto _block2__branch28;
    2452           }
    2453           if (!_c_82.term_eq (_v_deref__item26, 0))
    2454           {
    2455             goto _block2__branch28;
    2456           }
    2457           if (!_v_deref__item26.symbol_at ((0 + 1)))
    2458           {
    2459             goto _block2__branch28;
    2460           }
    2461           if (!_v_deref__item26.symbol_at ((0 + 1 + 1)))
    2462           {
    2463             goto _block2__branch28;
     2514            goto _block2__branch29;
     2515          }
     2516          Expr _v_deref__item27 (Expr (_vt_item, 0));
     2517          if (_v_deref__item27.get_len () != 4)
     2518          {
     2519            goto _block2__branch29;
     2520          }
     2521          if (!_c_82.term_eq (_v_deref__item27, 0))
     2522          {
     2523            goto _block2__branch29;
     2524          }
     2525          if (!_v_deref__item27.symbol_at ((0 + 1)))
     2526          {
     2527            goto _block2__branch29;
     2528          }
     2529          if (!_v_deref__item27.symbol_at ((0 + 1 + 1)))
     2530          {
     2531            goto _block2__branch29;
    24642532          }
    24652533          Expr _vs_linkage;
    2466           _vs_linkage = Expr (_v_deref__item26, (0 + 1), 1);
     2534          _vs_linkage = Expr (_v_deref__item27, (0 + 1), 1);
    24672535          Expr _vs_tag;
    2468           _vs_tag = Expr (_v_deref__item26, (0 + 1 + 1), 1);
     2536          _vs_tag = Expr (_v_deref__item27, (0 + 1 + 1), 1);
    24692537          Expr _vt_name;
    2470           _vt_name = Expr (_v_deref__item26, (0 + 1 + 1 + 1), 1);
     2538          _vt_name = Expr (_v_deref__item27, (0 + 1 + 1 + 1), 1);
    24712539          RF_CALL (::refal::Table::Bind, (Locals, (_c_12 + _vt_name), empty), /*void*/);
    24722540          Expr _ge_linkage__5;
     
    24862554          Expr _v_ToChars1;
    24872555          RF_CALL (::refal::Convert::ToChars, _vs_tag, _v_ToChars1);
    2488           int _v_len97 = _v_ToChars1.get_len ();
    2489           int _v_len98 = 1;
    2490           if (_v_len97 < _v_len98)
     2556          int _v_len103 = _v_ToChars1.get_len ();
     2557          int _v_len104 = 1;
     2558          if (_v_len103 < _v_len104)
    24912559          {
    24922560            goto _block1__branch1;
    24932561          }
    2494           int _v_len__2 = (_v_len97 - _v_len98);
     2562          int _v_len__2 = (_v_len103 - _v_len104);
    24952563          if (!_v_ToChars1.symbol_at (0))
    24962564          {
     
    25262594          goto _block2;
    25272595        }
    2528       _block2__branch28: {}
     2596      _block2__branch29: {}
    25292597        {
    25302598          if (_vt_item.symbol_at (0))
    25312599          {
    2532             goto _block2__branch29;
    2533           }
    2534           Expr _v_deref__item27 (Expr (_vt_item, 0));
    2535           if (_v_deref__item27.get_len () != 2)
    2536           {
    2537             goto _block2__branch29;
    2538           }
    2539           if (!_c_12.term_eq (_v_deref__item27, 0))
    2540           {
    2541             goto _block2__branch29;
     2600            goto _block2__branch30;
     2601          }
     2602          Expr _v_deref__item28 (Expr (_vt_item, 0));
     2603          if (_v_deref__item28.get_len () != 2)
     2604          {
     2605            goto _block2__branch30;
     2606          }
     2607          if (!_c_12.term_eq (_v_deref__item28, 0))
     2608          {
     2609            goto _block2__branch30;
    25422610          }
    25432611          Expr _vt_name;
    2544           _vt_name = Expr (_v_deref__item27, (0 + 1), 1);
     2612          _vt_name = Expr (_v_deref__item28, (0 + 1), 1);
    25452613          Expr _ve_qualifiers;
    2546           Expr _ve__dollar_tmp_m_250_m_54;
    2547           RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_250_m_54));
     2614          Expr _ve__dollar_tmp_m_251_m_54;
     2615          RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_251_m_54));
    25482616          Expr _ge_auxcall65;
    25492617          RF_CALL (Namespace_Control, _ve_qualifiers, _ge_auxcall65);
     
    25532621          goto _block2;
    25542622        }
    2555       _block2__branch29: {}
     2623      _block2__branch30: {}
    25562624        {
    25572625          if (_vt_item.symbol_at (0))
    25582626          {
    2559             goto _block2__branch30;
    2560           }
    2561           Expr _v_deref__item28 (Expr (_vt_item, 0));
    2562           if (_v_deref__item28.get_len () != 2)
    2563           {
    2564             goto _block2__branch30;
    2565           }
    2566           if (!_c_33.term_eq (_v_deref__item28, 0))
    2567           {
    2568             goto _block2__branch30;
     2627            goto _block2__branch31;
     2628          }
     2629          Expr _v_deref__item29 (Expr (_vt_item, 0));
     2630          if (_v_deref__item29.get_len () != 2)
     2631          {
     2632            goto _block2__branch31;
     2633          }
     2634          if (!_c_33.term_eq (_v_deref__item29, 0))
     2635          {
     2636            goto _block2__branch31;
    25692637          }
    25702638          Expr _vt_name;
    2571           _vt_name = Expr (_v_deref__item28, (0 + 1), 1);
     2639          _vt_name = Expr (_v_deref__item29, (0 + 1), 1);
    25722640          Expr _ve_qualifiers;
    2573           Expr _ve__dollar_tmp_m_254_m_54;
    2574           RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_254_m_54));
     2641          Expr _ve__dollar_tmp_m_255_m_54;
     2642          RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_255_m_54));
    25752643          Expr _ge_auxcall67;
    25762644          RF_CALL (Namespace_Control, _ve_qualifiers, _ge_auxcall67);
     
    25802648          goto _block2;
    25812649        }
    2582       _block2__branch30: {}
     2650      _block2__branch31: {}
    25832651        {
    25842652          if (_vt_item.symbol_at (0))
    25852653          {
    2586             goto _block2__branch31;
    2587           }
    2588           Expr _v_deref__item29 (Expr (_vt_item, 0));
    2589           if (_v_deref__item29.get_len () != 2)
    2590           {
    2591             goto _block2__branch31;
    2592           }
    2593           if (!_c_90.term_eq (_v_deref__item29, 0))
    2594           {
    2595             goto _block2__branch31;
     2654            goto _block2__branch32;
     2655          }
     2656          Expr _v_deref__item30 (Expr (_vt_item, 0));
     2657          if (_v_deref__item30.get_len () != 2)
     2658          {
     2659            goto _block2__branch32;
     2660          }
     2661          if (!_c_90.term_eq (_v_deref__item30, 0))
     2662          {
     2663            goto _block2__branch32;
    25962664          }
    25972665          Expr _vt_name;
    2598           _vt_name = Expr (_v_deref__item29, (0 + 1), 1);
     2666          _vt_name = Expr (_v_deref__item30, (0 + 1), 1);
    25992667          RF_CALL (::refal::Table::Bind, (Externs, _vt_name, empty), /*void*/);
    26002668          Expr _ve_qualifiers;
    2601           Expr _ve__dollar_tmp_m_259_m_54;
    2602           RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_259_m_54));
     2669          Expr _ve__dollar_tmp_m_260_m_54;
     2670          RF_CALL (Extract_Qualifiers, _vt_name, (_ve_qualifiers, _ve__dollar_tmp_m_260_m_54));
    26032671          Expr _ge_auxcall69;
    26042672          RF_CALL (Namespace_Control, _ve_qualifiers, _ge_auxcall69);
     
    26082676          goto _block2;
    26092677        }
    2610       _block2__branch31: {}
     2678      _block2__branch32: {}
    26112679        if (_vt_item.symbol_at (0))
    26122680        {
    26132681          RF_FUNC_ERROR (unexpected_fail);
    26142682        }
    2615         Expr _v_deref__item30 (Expr (_vt_item, 0));
    2616         if (_v_deref__item30.get_len () != 4)
     2683        Expr _v_deref__item31 (Expr (_vt_item, 0));
     2684        if (_v_deref__item31.get_len () != 4)
    26172685        {
    26182686          RF_FUNC_ERROR (unexpected_fail);
    26192687        }
    2620         if (_v_deref__item30.symbol_at ((0 + 1 + 1)))
     2688        if (_v_deref__item31.symbol_at ((0 + 1 + 1)))
    26212689        {
    26222690          RF_FUNC_ERROR (unexpected_fail);
    26232691        }
    2624         if (_v_deref__item30.symbol_at ((0 + 1 + 1 + 1)))
     2692        if (_v_deref__item31.symbol_at ((0 + 1 + 1 + 1)))
    26252693        {
    26262694          RF_FUNC_ERROR (unexpected_fail);
    26272695        }
    2628         Expr _v_deref__deref__item30 (Expr (_v_deref__item30, (0 + 1 + 1)));
    2629         Expr _v_deref__deref__item302 (Expr (_v_deref__item30, (0 + 1 + 1 + 1)));
    2630         int _v_len99 = _v_deref__deref__item302.get_len ();
    2631         int _v_len100 = 0;
    2632         if (_v_len99 < _v_len100)
     2696        Expr _v_deref__deref__item31 (Expr (_v_deref__item31, (0 + 1 + 1)));
     2697        Expr _v_deref__deref__item312 (Expr (_v_deref__item31, (0 + 1 + 1 + 1)));
     2698        int _v_len105 = _v_deref__deref__item312.get_len ();
     2699        int _v_len106 = 0;
     2700        if (_v_len105 < _v_len106)
    26332701        {
    26342702          RF_FUNC_ERROR (unexpected_fail);
    26352703        }
    2636         int _v_len__ress3 = (_v_len99 - _v_len100);
    2637         int _v_len101 = _v_deref__deref__item30.get_len ();
    2638         int _v_len102 = 0;
    2639         if (_v_len101 < _v_len102)
     2704        int _v_len__ress3 = (_v_len105 - _v_len106);
     2705        int _v_len107 = _v_deref__deref__item31.get_len ();
     2706        int _v_len108 = 0;
     2707        if (_v_len107 < _v_len108)
    26402708        {
    26412709          RF_FUNC_ERROR (unexpected_fail);
    26422710        }
    2643         int _v_len__exprs = (_v_len101 - _v_len102);
    2644         if (!_v_deref__item30.symbol_at (0))
     2711        int _v_len__exprs = (_v_len107 - _v_len108);
     2712        if (!_v_deref__item31.symbol_at (0))
    26452713        {
    26462714          RF_FUNC_ERROR (unexpected_fail);
    26472715        }
    26482716        Expr _vs_call;
    2649         _vs_call = Expr (_v_deref__item30, 0, 1);
     2717        _vs_call = Expr (_v_deref__item31, 0, 1);
    26502718        Expr _vt_name;
    2651         _vt_name = Expr (_v_deref__item30, (0 + 1), 1);
     2719        _vt_name = Expr (_v_deref__item31, (0 + 1), 1);
    26522720        Expr _ve_exprs;
    2653         _ve_exprs = Expr (_v_deref__deref__item30, 0, _v_len__exprs);
     2721        _ve_exprs = Expr (_v_deref__deref__item31, 0, _v_len__exprs);
    26542722        Expr _ve_ress;
    2655         _ve_ress = Expr (_v_deref__deref__item302, 0, _v_len__ress3);
     2723        _ve_ress = Expr (_v_deref__deref__item312, 0, _v_len__ress3);
    26562724        {
    26572725          {
     
    26662734            Expr _v_Get3;
    26672735            RF_CALL (::refal::Box::Get, Current_Trace, _v_Get3);
    2668             int _v_len103 = _v_Get3.get_len ();
    2669             int _v_len104 = 1;
    2670             if (_v_len103 < _v_len104)
     2736            int _v_len109 = _v_Get3.get_len ();
     2737            int _v_len110 = 1;
     2738            if (_v_len109 < _v_len110)
    26712739            {
    26722740              goto _block15__branch1;
    26732741            }
    2674             int _v_len__full__name = (_v_len103 - _v_len104);
     2742            int _v_len__full__name = (_v_len109 - _v_len110);
    26752743            if (_v_Get3.symbol_at ((0 + _v_len__full__name)))
    26762744            {
     
    36433711            goto _block2__branch1;
    36443712          }
    3645           int _v_len___dollar_tmp_m_366_m_28 = (_v_len5 - _v_len6);
     3713          int _v_len___dollar_tmp_m_367_m_28 = (_v_len5 - _v_len6);
    36463714          int _v_len7 = _ve_arg.get_len ();
    36473715          int _v_len8 = 0;
     
    36503718            goto _block2__branch1;
    36513719          }
    3652           int _v_len___dollar_tmp_m_366_m_16 = (_v_len7 - _v_len8);
    3653           Expr _vv__dollar_tmp_m_366_m_16;
    3654           _vv__dollar_tmp_m_366_m_16 = Expr (_ve_arg, 0, _v_len___dollar_tmp_m_366_m_16);
    3655           Expr _vv__dollar_tmp_m_366_m_28;
    3656           _vv__dollar_tmp_m_366_m_28 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_366_m_28);
     3720          int _v_len___dollar_tmp_m_367_m_16 = (_v_len7 - _v_len8);
     3721          Expr _vv__dollar_tmp_m_367_m_16;
     3722          _vv__dollar_tmp_m_367_m_16 = Expr (_ve_arg, 0, _v_len___dollar_tmp_m_367_m_16);
     3723          Expr _vv__dollar_tmp_m_367_m_28;
     3724          _vv__dollar_tmp_m_367_m_28 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_367_m_28);
    36573725          _v_res1 = (_ve_arg + _c_43 + _vs_op + _c_43 + _ve_rest);
    36583726          goto _block2;
     
    38833951        goto _block1__branch2;
    38843952      }
    3885       int _v_len___dollar_tmp_m_397_m_14 = (_v_len7 - _v_len8);
    3886       Expr _vv__dollar_tmp_m_397_m_14;
    3887       _vv__dollar_tmp_m_397_m_14 = Expr (_ve_accum, 0, _v_len___dollar_tmp_m_397_m_14);
     3953      int _v_len___dollar_tmp_m_398_m_14 = (_v_len7 - _v_len8);
     3954      Expr _vv__dollar_tmp_m_398_m_14;
     3955      _vv__dollar_tmp_m_398_m_14 = Expr (_ve_accum, 0, _v_len___dollar_tmp_m_398_m_14);
    38883956      {
    38893957        {
     
    38943962            goto _block2__branch1;
    38953963          }
    3896           RF_lsplit (_v_CharsToBytes1, 0, _ve__dollar_tmp_m_399_m_33, _v_lsplit__CharsToBytes1);
     3964          RF_lsplit (_v_CharsToBytes1, 0, _ve__dollar_tmp_m_400_m_33, _v_lsplit__CharsToBytes1);
    38973965          for ( ; ; RF_iter(_v_CharsToBytes1)++)
    38983966          {
     
    39083976                goto _block2__branch1;
    39093977              }
    3910               int _v_len___dollar_tmp_m_399_m_39 = (_v_len9 - _v_len10);
     3978              int _v_len___dollar_tmp_m_400_m_39 = (_v_len9 - _v_len10);
    39113979              if (!_v_lsplit__CharsToBytes1.symbol_at (0))
    39123980              {
     
    39153983              Expr _vs_c;
    39163984              _vs_c = Expr (_v_lsplit__CharsToBytes1, 0, 1);
    3917               Expr _ve__dollar_tmp_m_399_m_39;
    3918               _ve__dollar_tmp_m_399_m_39 = Expr (_v_lsplit__CharsToBytes1, (0 + 1), _v_len___dollar_tmp_m_399_m_39);
     3985              Expr _ve__dollar_tmp_m_400_m_39;
     3986              _ve__dollar_tmp_m_400_m_39 = Expr (_v_lsplit__CharsToBytes1, (0 + 1), _v_len___dollar_tmp_m_400_m_39);
    39193987              if (!RF_CALL (::refal::Compare::Gt, (_vs_c, _c_146), /*void*/))
    39203988              {
     
    40134081            goto _block3__branch3;
    40144082          }
    4015           int _v_len___dollar_tmp_m_411_m_14 = (_v_len15 - _v_len16);
     4083          int _v_len___dollar_tmp_m_412_m_14 = (_v_len15 - _v_len16);
    40164084          if (!_c_11.term_eq (_v_deref__item3, 0))
    40174085          {
    40184086            goto _block3__branch3;
    40194087          }
    4020           Expr _ve__dollar_tmp_m_411_m_14;
    4021           _ve__dollar_tmp_m_411_m_14 = Expr (_v_deref__item3, (0 + 1), _v_len___dollar_tmp_m_411_m_14);
     4088          Expr _ve__dollar_tmp_m_412_m_14;
     4089          _ve__dollar_tmp_m_412_m_14 = Expr (_v_deref__item3, (0 + 1), _v_len___dollar_tmp_m_412_m_14);
    40224090          Expr _v_Rfp2Cpp1;
    40234091          RF_CALL (::refal::CppMangle::Rfp2Cpp, _vt_item, _v_Rfp2Cpp1);
     
    41954263        RF_FUNC_ERROR (unexpected_fail);
    41964264      }
    4197       Expr _vs__dollar_tmp_m_438_m_8;
    4198       _vs__dollar_tmp_m_438_m_8 = Expr (_vs_char, 0, 1);
     4265      Expr _vs__dollar_tmp_m_439_m_8;
     4266      _vs__dollar_tmp_m_439_m_8 = Expr (_vs_char, 0, 1);
    41994267      _ve_cpp__char = _vs_char;
    42004268    }
     
    43644432              goto _block2__branch1;
    43654433            }
    4366             Expr _vt__dollar_tmp_m_469_m_8;
    4367             _vt__dollar_tmp_m_469_m_8 = Expr (_v_compose6, 0, 1);
     4434            Expr _vt__dollar_tmp_m_470_m_8;
     4435            _vt__dollar_tmp_m_470_m_8 = Expr (_v_compose6, 0, 1);
    43684436            _v_res1 = (_c_103 + _ve_cpp__args + _c_38);
    43694437            goto _block2;
     
    43934461              goto _block2__branch3;
    43944462            }
    4395             int _v_len___dollar_tmp_m_471_m_9 = (_v_len11 - _v_len12);
     4463            int _v_len___dollar_tmp_m_472_m_9 = (_v_len11 - _v_len12);
    43964464            if (!_c_35.term_eq (_v_compose8, (0 + 1)))
    43974465            {
    43984466              goto _block2__branch3;
    43994467            }
    4400             Expr _vv__dollar_tmp_m_471_m_9;
    4401             _vv__dollar_tmp_m_471_m_9 = Expr (_v_deref__compose8, 0, _v_len___dollar_tmp_m_471_m_9);
     4468            Expr _vv__dollar_tmp_m_472_m_9;
     4469            _vv__dollar_tmp_m_472_m_9 = Expr (_v_deref__compose8, 0, _v_len___dollar_tmp_m_472_m_9);
    44024470            _v_res1 = (_c_103 + _ge_arg1 + _ve_cpp__args + _c_167);
    44034471            goto _block2;
     
    44104478            RF_FUNC_ERROR (unexpected_fail);
    44114479          }
    4412           int _v_len___dollar_tmp_m_472_m_8 = (_v_len13 - _v_len14);
     4480          int _v_len___dollar_tmp_m_473_m_8 = (_v_len13 - _v_len14);
    44134481          Expr _v_compose9 ((_ge_arg1 () + _gs_arg2));
    4414           Expr _ve__dollar_tmp_m_472_m_8;
    4415           _ve__dollar_tmp_m_472_m_8 = Expr (_v_compose9, 0, _v_len___dollar_tmp_m_472_m_8);
     4482          Expr _ve__dollar_tmp_m_473_m_8;
     4483          _ve__dollar_tmp_m_473_m_8 = Expr (_v_compose9, 0, _v_len___dollar_tmp_m_473_m_8);
    44164484          _v_res1 = (_ge_arg1 + _ve_cpp__args);
    44174485        }
     
    44524520            goto _block4__branch1;
    44534521          }
    4454           int _v_len___dollar_tmp_m_458_m_21 = (_v_len19 - _v_len20);
    4455           Expr _vv__dollar_tmp_m_458_m_21;
    4456           _vv__dollar_tmp_m_458_m_21 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_458_m_21);
     4522          int _v_len___dollar_tmp_m_459_m_21 = (_v_len19 - _v_len20);
     4523          Expr _vv__dollar_tmp_m_459_m_21;
     4524          _vv__dollar_tmp_m_459_m_21 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_459_m_21);
    44574525          _ve_comma = _c_39;
    44584526          goto _block4;
     
    47154783              goto _block3__branch1;
    47164784            }
    4717             int _v_len___dollar_tmp_m_515_m_22 = (_v_len3 - _v_len4);
    4718             Expr _vv__dollar_tmp_m_515_m_22;
    4719             _vv__dollar_tmp_m_515_m_22 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_515_m_22);
     4785            int _v_len___dollar_tmp_m_516_m_22 = (_v_len3 - _v_len4);
     4786            Expr _vv__dollar_tmp_m_516_m_22;
     4787            _vv__dollar_tmp_m_516_m_22 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_516_m_22);
    47204788            goto _block3;
    47214789          }
     
    47824850              goto _block3__branch1;
    47834851            }
    4784             int _v_len___dollar_tmp_m_528_m_22 = (_v_len3 - _v_len4);
    4785             Expr _vv__dollar_tmp_m_528_m_22;
    4786             _vv__dollar_tmp_m_528_m_22 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_528_m_22);
     4852            int _v_len___dollar_tmp_m_529_m_22 = (_v_len3 - _v_len4);
     4853            Expr _vv__dollar_tmp_m_529_m_22;
     4854            _vv__dollar_tmp_m_529_m_22 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_529_m_22);
    47874855            goto _block3;
    47884856          }
  • to-imperative/trunk/c++/compiler/rfp_asail_java.cc

    r3635 r3894  
    518518static Expr _c_11;
    519519
     520static Expr _c_227;
     521
     522static Expr _c_12;
     523
     524static Expr _c_13;
     525
     526static Expr _c_14;
     527
     528static Expr _c_15;
     529
     530static Expr _c_16;
     531
     532static Expr _c_17;
     533
     534static Expr _c_18;
     535
     536static Expr _c_19;
     537
     538static Expr _c_20;
     539
     540static Expr _c_21;
     541
     542static Expr _c_22;
     543
     544static Expr _c_23;
     545
     546static Expr _c_24;
     547
     548static Expr _c_26;
     549
     550static Expr _c_25;
     551
     552static Expr _c_27;
     553
     554static Expr _c_28;
     555
     556static Expr _c_29;
     557
     558static Expr _c_30;
     559
     560static Expr _c_31;
     561
     562static Expr _c_32;
     563
     564static Expr _c_33;
     565
     566static Expr _c_160;
     567
     568static Expr _c_34;
     569
     570static Expr _c_228;
     571
     572static Expr _c_35;
     573
     574static Expr _c_63;
     575
     576static Expr _c_36;
     577
     578static Expr _c_37;
     579
     580static Expr _c_38;
     581
     582static Expr _c_39;
     583
     584static Expr _c_40;
     585
     586static Expr _c_41;
     587
     588static Expr _c_42;
     589
     590static Expr _c_43;
     591
     592static Expr _c_44;
     593
     594static Expr _c_45;
     595
     596static Expr _c_46;
     597
     598static Expr _c_47;
     599
     600static Expr _c_66;
     601
     602static Expr _c_48;
     603
     604static Expr _c_49;
     605
     606static Expr _c_50;
     607
     608static Expr _c_51;
     609
     610static Expr _c_52;
     611
     612static Expr _c_53;
     613
     614static Expr _c_54;
     615
     616static Expr _c_55;
     617
     618static Expr _c_56;
     619
     620static Expr _c_229;
     621
     622static Expr _c_57;
     623
     624static Expr _c_58;
     625
     626static Expr _c_59;
     627
     628static Expr _c_60;
     629
     630static Expr _c_61;
     631
     632static Expr _c_62;
     633
     634static Expr _c_64;
     635
     636static Expr _c_65;
     637
     638static Expr _c_67;
     639
     640static Expr _c_68;
     641
     642static Expr _c_69;
     643
     644static Expr _c_70;
     645
     646static Expr _c_71;
     647
     648static Expr _c_230;
     649
     650static Expr _c_106;
     651
     652static Expr _c_72;
     653
     654static Expr _c_73;
     655
     656static Expr _c_74;
     657
     658static Expr _c_75;
     659
     660static Expr _c_76;
     661
     662static Expr _c_77;
     663
     664static Expr _c_78;
     665
     666static Expr _c_79;
     667
     668static Expr _c_80;
     669
     670static Expr _c_81;
     671
     672static Expr _c_82;
     673
     674static Expr _c_83;
     675
     676static Expr _c_84;
     677
     678static Expr _c_109;
     679
     680static Expr _c_85;
     681
     682static Expr _c_86;
     683
     684static Expr _c_87;
     685
     686static Expr _c_88;
     687
     688static Expr _c_89;
     689
     690static Expr _c_90;
     691
     692static Expr _c_91;
     693
     694static Expr _c_92;
     695
     696static Expr _c_93;
     697
     698static Expr _c_94;
     699
     700static Expr _c_95;
     701
     702static Expr _c_96;
     703
     704static Expr _c_97;
     705
     706static Expr _c_98;
     707
     708static Expr _c_99;
     709
     710static Expr _c_100;
     711
     712static Expr _c_101;
     713
     714static Expr _c_102;
     715
     716static Expr _c_103;
     717
     718static Expr _c_104;
     719
     720static Expr _c_105;
     721
     722static Expr _c_107;
     723
     724static Expr _c_108;
     725
     726static Expr _c_110;
     727
     728static Expr _c_111;
     729
     730static Expr _c_112;
     731
     732static Expr _c_113;
     733
     734static Expr _c_114;
     735
     736static Expr _c_115;
     737
     738static Expr _c_116;
     739
     740static Expr _c_117;
     741
     742static Expr _c_118;
     743
     744static Expr _c_119;
     745
     746static Expr _c_120;
     747
     748static Expr _c_121;
     749
     750static Expr _c_122;
     751
     752static Expr _c_123;
     753
     754static Expr _c_124;
     755
     756static Expr _c_125;
     757
     758static Expr _c_126;
     759
     760static Expr _c_127;
     761
     762static Expr _c_128;
     763
     764static Expr _c_129;
     765
     766static Expr _c_130;
     767
     768static Expr _c_131;
     769
     770static Expr _c_132;
     771
     772static Expr _c_133;
     773
     774static Expr _c_134;
     775
     776static Expr _c_135;
     777
     778static Expr _c_136;
     779
     780static Expr _c_137;
     781
     782static Expr _c_138;
     783
     784static Expr _c_139;
     785
     786static Expr _c_140;
     787
     788static Expr _c_141;
     789
     790static Expr _c_142;
     791
     792static Expr _c_143;
     793
     794static Expr _c_144;
     795
     796static Expr _c_145;
     797
     798static Expr _c_146;
     799
     800static Expr _c_147;
     801
     802static Expr _c_148;
     803
     804static Expr _c_149;
     805
     806static Expr _c_150;
     807
     808static Expr _c_151;
     809
     810static Expr _c_152;
     811
     812static Expr _c_153;
     813
     814static Expr _c_154;
     815
     816static Expr _c_164;
     817
     818static Expr _c_155;
     819
     820static Expr _c_156;
     821
     822static Expr _c_157;
     823
     824static Expr _c_158;
     825
     826static Expr _c_159;
     827
     828static Expr _c_161;
     829
     830static Expr _c_162;
     831
     832static Expr _c_163;
     833
     834static Expr _c_165;
     835
     836static Expr _c_166;
     837
     838static Expr _c_167;
     839
     840static Expr _c_168;
     841
     842static Expr _c_169;
     843
     844static Expr _c_170;
     845
     846static Expr _c_171;
     847
     848static Expr _c_172;
     849
     850static Expr _c_173;
     851
     852static Expr _c_174;
     853
     854static Expr _c_175;
     855
     856static Expr _c_176;
     857
     858static Expr _c_177;
     859
     860static Expr _c_178;
     861
     862static Expr _c_179;
     863
     864static Expr _c_180;
     865
     866static Expr _c_181;
     867
     868static Expr _c_182;
     869
     870static Expr _c_183;
     871
     872static Expr _c_184;
     873
     874static Expr _c_185;
     875
     876static Expr _c_186;
     877
     878static Expr _c_187;
     879
     880static Expr _c_188;
     881
     882static Expr _c_189;
     883
     884static Expr _c_190;
     885
     886static Expr _c_191;
     887
     888static Expr _c_192;
     889
     890static Expr _c_193;
     891
     892static Expr _c_194;
     893
     894static Expr _c_195;
     895
     896static Expr _c_196;
     897
     898static Expr _c_197;
     899
     900static Expr _c_198;
     901
     902static Expr _c_199;
     903
     904static Expr _c_200;
     905
     906static Expr _c_201;
     907
     908static Expr _c_202;
     909
     910static Expr _c_203;
     911
     912static Expr _c_206;
     913
     914static Expr _c_204;
     915
     916static Expr _c_205;
     917
     918static Expr _c_207;
     919
     920static Expr _c_208;
     921
     922static Expr _c_209;
     923
     924static Expr _c_210;
     925
     926static Expr _c_211;
     927
    520928static Expr _c_212;
    521929
    522 static Expr _c_12;
    523 
    524 static Expr _c_13;
    525 
    526 static Expr _c_14;
    527 
    528 static Expr _c_15;
    529 
    530 static Expr _c_16;
    531 
    532 static Expr _c_17;
    533 
    534 static Expr _c_18;
    535 
    536 static Expr _c_19;
    537 
    538 static Expr _c_20;
    539 
    540 static Expr _c_21;
    541 
    542 static Expr _c_22;
    543 
    544 static Expr _c_23;
    545 
    546 static Expr _c_24;
    547 
    548 static Expr _c_26;
    549 
    550 static Expr _c_25;
    551 
    552 static Expr _c_27;
    553 
    554 static Expr _c_28;
    555 
    556 static Expr _c_29;
    557 
    558 static Expr _c_30;
    559 
    560 static Expr _c_31;
    561 
    562 static Expr _c_32;
    563 
    564 static Expr _c_33;
    565 
    566 static Expr _c_162;
    567 
    568 static Expr _c_34;
    569 
    570930static Expr _c_213;
    571931
    572 static Expr _c_35;
    573 
    574 static Expr _c_63;
    575 
    576 static Expr _c_36;
    577 
    578 static Expr _c_37;
    579 
    580 static Expr _c_38;
    581 
    582 static Expr _c_39;
    583 
    584 static Expr _c_40;
    585 
    586 static Expr _c_41;
    587 
    588 static Expr _c_42;
    589 
    590 static Expr _c_43;
    591 
    592 static Expr _c_44;
    593 
    594 static Expr _c_45;
    595 
    596 static Expr _c_46;
    597 
    598 static Expr _c_47;
    599 
    600 static Expr _c_66;
    601 
    602 static Expr _c_48;
    603 
    604 static Expr _c_49;
    605 
    606 static Expr _c_50;
    607 
    608 static Expr _c_51;
    609 
    610 static Expr _c_52;
    611 
    612 static Expr _c_53;
    613 
    614 static Expr _c_54;
    615 
    616 static Expr _c_55;
    617 
    618 static Expr _c_56;
    619 
    620932static Expr _c_214;
    621933
    622 static Expr _c_57;
    623 
    624 static Expr _c_58;
    625 
    626 static Expr _c_59;
    627 
    628 static Expr _c_60;
    629 
    630 static Expr _c_61;
    631 
    632 static Expr _c_62;
    633 
    634 static Expr _c_64;
    635 
    636 static Expr _c_65;
    637 
    638 static Expr _c_67;
    639 
    640 static Expr _c_68;
    641 
    642 static Expr _c_69;
    643 
    644 static Expr _c_70;
    645 
    646 static Expr _c_71;
    647 
    648934static Expr _c_215;
    649935
    650 static Expr _c_106;
    651 
    652 static Expr _c_72;
    653 
    654 static Expr _c_73;
    655 
    656 static Expr _c_74;
    657 
    658 static Expr _c_75;
    659 
    660 static Expr _c_76;
    661 
    662 static Expr _c_77;
    663 
    664 static Expr _c_78;
    665 
    666 static Expr _c_79;
    667 
    668 static Expr _c_80;
    669 
    670 static Expr _c_81;
    671 
    672 static Expr _c_82;
    673 
    674 static Expr _c_83;
    675 
    676 static Expr _c_84;
    677 
    678 static Expr _c_109;
    679 
    680 static Expr _c_85;
    681 
    682 static Expr _c_86;
    683 
    684 static Expr _c_87;
    685 
    686 static Expr _c_88;
    687 
    688 static Expr _c_89;
    689 
    690 static Expr _c_90;
    691 
    692 static Expr _c_91;
    693 
    694 static Expr _c_92;
    695 
    696 static Expr _c_93;
    697 
    698 static Expr _c_94;
    699 
    700 static Expr _c_95;
    701 
    702 static Expr _c_96;
    703 
    704 static Expr _c_97;
    705 
    706 static Expr _c_98;
    707 
    708 static Expr _c_99;
    709 
    710 static Expr _c_100;
    711 
    712 static Expr _c_101;
    713 
    714 static Expr _c_102;
    715 
    716 static Expr _c_103;
    717 
    718 static Expr _c_104;
    719 
    720 static Expr _c_105;
    721 
    722 static Expr _c_107;
    723 
    724 static Expr _c_108;
    725 
    726 static Expr _c_110;
    727 
    728 static Expr _c_111;
    729 
    730 static Expr _c_112;
    731 
    732 static Expr _c_113;
    733 
    734 static Expr _c_114;
    735 
    736 static Expr _c_115;
    737 
    738 static Expr _c_116;
    739 
    740 static Expr _c_117;
    741 
    742 static Expr _c_118;
    743 
    744 static Expr _c_119;
    745 
    746 static Expr _c_120;
    747 
    748 static Expr _c_121;
    749 
    750 static Expr _c_122;
    751 
    752 static Expr _c_123;
    753 
    754 static Expr _c_124;
    755 
    756 static Expr _c_125;
    757 
    758 static Expr _c_126;
    759 
    760 static Expr _c_127;
    761 
    762 static Expr _c_128;
    763 
    764 static Expr _c_129;
    765 
    766 static Expr _c_130;
    767 
    768 static Expr _c_131;
    769 
    770 static Expr _c_132;
    771 
    772 static Expr _c_133;
    773 
    774 static Expr _c_134;
    775 
    776 static Expr _c_135;
    777 
    778 static Expr _c_136;
    779 
    780 static Expr _c_137;
    781 
    782 static Expr _c_138;
    783 
    784 static Expr _c_139;
    785 
    786 static Expr _c_140;
    787 
    788 static Expr _c_141;
    789 
    790 static Expr _c_142;
    791 
    792 static Expr _c_143;
    793 
    794 static Expr _c_144;
    795 
    796 static Expr _c_145;
    797 
    798 static Expr _c_146;
    799 
    800 static Expr _c_147;
    801 
    802 static Expr _c_148;
    803 
    804 static Expr _c_149;
    805 
    806 static Expr _c_150;
    807 
    808 static Expr _c_151;
    809 
    810 static Expr _c_152;
    811 
    812 static Expr _c_153;
    813 
    814 static Expr _c_154;
    815 
    816 static Expr _c_163;
    817 
    818 static Expr _c_155;
    819 
    820 static Expr _c_156;
    821 
    822 static Expr _c_157;
    823 
    824 static Expr _c_158;
    825 
    826 static Expr _c_159;
    827 
    828 static Expr _c_160;
    829 
    830 static Expr _c_161;
    831 
    832 static Expr _c_164;
    833 
    834 static Expr _c_165;
    835 
    836 static Expr _c_166;
    837 
    838 static Expr _c_167;
    839 
    840 static Expr _c_168;
    841 
    842 static Expr _c_169;
    843 
    844 static Expr _c_170;
    845 
    846 static Expr _c_171;
    847 
    848 static Expr _c_172;
    849 
    850 static Expr _c_173;
    851 
    852 static Expr _c_174;
    853 
    854 static Expr _c_175;
    855 
    856 static Expr _c_176;
    857 
    858 static Expr _c_177;
    859 
    860 static Expr _c_178;
    861 
    862 static Expr _c_179;
    863 
    864 static Expr _c_180;
    865 
    866 static Expr _c_181;
    867 
    868 static Expr _c_182;
    869 
    870 static Expr _c_183;
    871 
    872 static Expr _c_184;
    873 
    874 static Expr _c_188;
    875 
    876 static Expr _c_185;
    877 
    878 static Expr _c_189;
    879 
    880 static Expr _c_186;
    881 
    882 static Expr _c_187;
    883 
    884 static Expr _c_190;
    885 
    886 static Expr _c_191;
    887 
    888 static Expr _c_192;
    889 
    890 static Expr _c_197;
    891 
    892 static Expr _c_193;
    893 
    894 static Expr _c_194;
    895 
    896 static Expr _c_195;
    897 
    898 static Expr _c_196;
    899 
    900 static Expr _c_198;
    901 
    902 static Expr _c_199;
    903 
    904 static Expr _c_200;
    905 
    906 static Expr _c_201;
    907 
    908 static Expr _c_202;
    909 
    910 static Expr _c_203;
    911 
    912 static Expr _c_204;
    913 
    914 static Expr _c_205;
    915 
    916 static Expr _c_206;
    917 
    918 static Expr _c_207;
    919 
    920 static Expr _c_208;
    921 
    922 static Expr _c_209;
    923 
    924 static Expr _c_210;
    925 
    926 static Expr _c_211;
     936static Expr _c_216;
     937
     938static Expr _c_217;
     939
     940static Expr _c_218;
     941
     942static Expr _c_219;
     943
     944static Expr _c_220;
     945
     946static Expr _c_221;
     947
     948static Expr _c_222;
     949
     950static Expr _c_223;
     951
     952static Expr _c_224;
     953
     954static Expr _c_225;
     955
     956static Expr _c_226;
    927957
    928958RF_FUNC (RFP_ASAIL_To_Java, (RF_ARG _gt_arg1;;), (RF_RES _v_res1, _v_res2;;))
     
    12841314          }
    12851315          Expr _v_deref__item3 (Expr (_vt_item, 0));
    1286           int _v_len5 = _v_deref__item3.get_len ();
    1287           int _v_len6 = 6;
     1316          if (_v_deref__item3.get_len () != 6)
     1317          {
     1318            goto _block2__branch3;
     1319          }
     1320          if (_v_deref__item3.symbol_at ((0 + 1 + 1 + 1)))
     1321          {
     1322            goto _block2__branch3;
     1323          }
     1324          if (_v_deref__item3.symbol_at ((0 + 1 + 1 + 1 + 1)))
     1325          {
     1326            goto _block2__branch3;
     1327          }
     1328          if (_v_deref__item3.symbol_at ((0 + 1 + 1 + 1 + 1 + 1)))
     1329          {
     1330            goto _block2__branch3;
     1331          }
     1332          Expr _v_deref__deref__item3 (Expr (_v_deref__item3, (0 + 1 + 1 + 1)));
     1333          Expr _v_deref__deref__item32 (Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1)));
     1334          Expr _v_deref__deref__item33 (Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1 + 1)));
     1335          int _v_len5 = _v_deref__deref__item3.get_len ();
     1336          int _v_len6 = 0;
    12881337          if (_v_len5 < _v_len6)
    12891338          {
    12901339            goto _block2__branch3;
    12911340          }
    1292           int _v_len__native = (_v_len5 - _v_len6);
    1293           if (_v_deref__item3.symbol_at ((0 + 1 + 1 + 1 + 1)))
     1341          int _v_len__in = (_v_len5 - _v_len6);
     1342          int _v_len7 = _v_deref__deref__item33.get_len ();
     1343          int _v_len8 = 1;
     1344          if (_v_len7 < _v_len8)
    12941345          {
    12951346            goto _block2__branch3;
    12961347          }
    1297           if (_v_deref__item3.symbol_at ((0 + 1 + 1 + 1 + 1 + 1)))
    1298           {
    1299             goto _block2__branch3;
    1300           }
    1301           Expr _v_deref__deref__item3 (Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1)));
    1302           Expr _v_deref__deref__item32 (Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1 + 1)));
    1303           int _v_len7 = _v_deref__deref__item32.get_len ();
    1304           int _v_len8 = 0;
    1305           if (_v_len7 < _v_len8)
    1306           {
    1307             goto _block2__branch3;
    1308           }
    1309           int _v_len__out = (_v_len7 - _v_len8);
    1310           int _v_len9 = _v_deref__deref__item3.get_len ();
     1348          int _v_len__native = (_v_len7 - _v_len8);
     1349          int _v_len9 = _v_deref__deref__item32.get_len ();
    13111350          int _v_len10 = 0;
    13121351          if (_v_len9 < _v_len10)
     
    13141353            goto _block2__branch3;
    13151354          }
    1316           int _v_len__in = (_v_len9 - _v_len10);
    1317           if (!_c_29.term_eq (_v_deref__item3, 0))
     1355          int _v_len__out = (_v_len9 - _v_len10);
     1356          if (!_v_deref__item3.symbol_at (0))
    13181357          {
    13191358            goto _block2__branch3;
     
    13231362            goto _block2__branch3;
    13241363          }
    1325           if (!_v_deref__item3.symbol_at ((0 + 1 + 1)))
     1364          if (!_c_29.term_eq (_v_deref__deref__item33, 0))
    13261365          {
    13271366            goto _block2__branch3;
    13281367          }
    13291368          Expr _vs_linkage;
    1330           _vs_linkage = Expr (_v_deref__item3, (0 + 1), 1);
     1369          _vs_linkage = Expr (_v_deref__item3, 0, 1);
    13311370          Expr _vs_tag;
    1332           _vs_tag = Expr (_v_deref__item3, (0 + 1 + 1), 1);
     1371          _vs_tag = Expr (_v_deref__item3, (0 + 1), 1);
    13331372          Expr _vt_qname;
    1334           _vt_qname = Expr (_v_deref__item3, (0 + 1 + 1 + 1), 1);
    1335           Expr _ve_native;
    1336           _ve_native = Expr (_v_deref__item3, (0 + 1 + 1 + 1 + 1 + 1 + 1), _v_len__native);
     1373          _vt_qname = Expr (_v_deref__item3, (0 + 1 + 1), 1);
    13371374          Expr _ve_in;
    13381375          _ve_in = Expr (_v_deref__deref__item3, 0, _v_len__in);
    13391376          Expr _ve_out;
    13401377          _ve_out = Expr (_v_deref__deref__item32, 0, _v_len__out);
     1378          Expr _ve_native;
     1379          _ve_native = Expr (_v_deref__deref__item33, (0 + 1), _v_len__native);
    13411380          RF_CALL (WrapGen, (_vs_linkage, _vs_tag, _vt_qname, _ve_in, _ve_out, _ve_native), _ve_java__item);
    13421381          goto _block2;
     
    37863825              }
    37873826            _block4__branch1: {}
    3788               {
    3789                 int _v_len5 = _v_len__1;
    3790                 int _v_len6 = 8;
    3791                 if (_v_len5 < _v_len6)
    3792                 {
    3793                   goto _block4__branch2;
    3794                 }
    3795                 int _v_len___dollar_tmp_m_396_m_23 = (_v_len5 - _v_len6);
    3796                 if (!_c_155.eq (_ve_1, 0))
    3797                 {
    3798                   goto _block4__branch2;
    3799                 }
    3800                 Expr _ve__dollar_tmp_m_396_m_23;
    3801                 _ve__dollar_tmp_m_396_m_23 = Expr (_ve_1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___dollar_tmp_m_396_m_23);
    3802                 goto _block4;
    3803               }
    3804             _block4__branch2: {}
    3805               int _v_len7 = _v_len__1;
    3806               int _v_len8 = 10;
    3807               if (_v_len7 < _v_len8)
     3827              int _v_len5 = _v_len__1;
     3828              int _v_len6 = 10;
     3829              if (_v_len5 < _v_len6)
    38083830              {
    38093831                goto _block3__branch1;
    38103832              }
    3811               int _v_len___dollar_tmp_m_397_m_25 = (_v_len7 - _v_len8);
    3812               if (!_c_156.eq (_ve_1, 0))
     3833              int _v_len___dollar_tmp_m_396_m_25 = (_v_len5 - _v_len6);
     3834              if (!_c_155.eq (_ve_1, 0))
    38133835              {
    38143836                goto _block3__branch1;
    38153837              }
    3816               Expr _ve__dollar_tmp_m_397_m_25;
    3817               _ve__dollar_tmp_m_397_m_25 = Expr (_ve_1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___dollar_tmp_m_397_m_25);
     3838              Expr _ve__dollar_tmp_m_396_m_25;
     3839              _ve__dollar_tmp_m_396_m_25 = Expr (_ve_1, (0 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1 + 1), _v_len___dollar_tmp_m_396_m_25);
    38183840            }
    38193841          _block4: {}
    3820             _v_res1 = (_c_157 + _ve_1 + _c_47);
     3842            _v_res1 = (_c_112 + _ve_1 + _c_47);
    38213843            goto _block3;
    38223844          }
     
    38433865        Expr _v_deref__Const__Expr__Aux12 (Expr (_v_Const__Expr__Aux1, 0));
    38443866        Expr _v_deref__Const__Expr__Aux13 (Expr (_v_Const__Expr__Aux1, (0 + 1)));
    3845         int _v_len9 = _v_deref__Const__Expr__Aux13.get_len ();
     3867        int _v_len7 = _v_deref__Const__Expr__Aux13.get_len ();
     3868        int _v_len8 = 0;
     3869        if (_v_len7 < _v_len8)
     3870        {
     3871          goto _block2__branch2;
     3872        }
     3873        int _v_len__2 = (_v_len7 - _v_len8);
     3874        int _v_len9 = _v_deref__Const__Expr__Aux12.get_len ();
    38463875        int _v_len10 = 0;
    38473876        if (_v_len9 < _v_len10)
     
    38493878          goto _block2__branch2;
    38503879        }
    3851         int _v_len__2 = (_v_len9 - _v_len10);
    3852         int _v_len11 = _v_deref__Const__Expr__Aux12.get_len ();
    3853         int _v_len12 = 0;
    3854         if (_v_len11 < _v_len12)
    3855         {
    3856           goto _block2__branch2;
    3857         }
    3858         int _v_len__12 = (_v_len11 - _v_len12);
     3880        int _v_len__12 = (_v_len9 - _v_len10);
    38593881        Expr _ve_1;
    38603882        _ve_1 = Expr (_v_deref__Const__Expr__Aux12, 0, _v_len__12);
     
    38653887      }
    38663888    _block2__branch2: {}
    3867       int _v_len13 = _v_Const__Expr__Aux1.get_len ();
    3868       int _v_len14 = 0;
    3869       if (_v_len13 < _v_len14)
     3889      int _v_len11 = _v_Const__Expr__Aux1.get_len ();
     3890      int _v_len12 = 0;
     3891      if (_v_len11 < _v_len12)
    38703892      {
    38713893        RF_FUNC_ERROR (unexpected_fail);
    38723894      }
    3873       int _v_len__concat = (_v_len13 - _v_len14);
     3895      int _v_len__concat = (_v_len11 - _v_len12);
    38743896      Expr _ve_concat;
    38753897      _ve_concat = Expr (_v_Const__Expr__Aux1, 0, _v_len__concat);
     
    38813903        RF_FUNC_ERROR (unexpected_fail);
    38823904      }
    3883       _v_res1 = (_c_158 + _gs_auxcall2 + _c_47 + _ge_auxcall3 + _c_117);
     3905      _v_res1 = (_c_156 + _gs_auxcall2 + _c_47 + _ge_auxcall3 + _c_117);
    38843906    }
    38853907  _block2: {}
     
    39233945        goto _block1__branch2;
    39243946      }
    3925       int _v_len___dollar_tmp_m_410_m_14 = (_v_len3 - _v_len4);
    3926       Expr _vv__dollar_tmp_m_410_m_14;
    3927       _vv__dollar_tmp_m_410_m_14 = Expr (_ve_accum, 0, _v_len___dollar_tmp_m_410_m_14);
     3947      int _v_len___dollar_tmp_m_409_m_14 = (_v_len3 - _v_len4);
     3948      Expr _vv__dollar_tmp_m_409_m_14;
     3949      _vv__dollar_tmp_m_409_m_14 = Expr (_ve_accum, 0, _v_len___dollar_tmp_m_409_m_14);
    39283950      Expr _ve_j__expr;
    39293951      RF_CALL (Const_Expr_Aux, (empty, _ve_expr), _ve_j__expr);
    3930       _v_res1 = ((_c_159 + _ve_accum + _c_36) () + _ve_j__expr);
     3952      _v_res1 = ((_c_157 + _ve_accum + _c_36) () + _ve_j__expr);
    39313953      goto _block1;
    39323954    }
     
    40054027            goto _block2__branch3;
    40064028          }
    4007           int _v_len___dollar_tmp_m_418_m_14 = (_v_len9 - _v_len10);
     4029          int _v_len___dollar_tmp_m_417_m_14 = (_v_len9 - _v_len10);
    40084030          if (!_c_97.term_eq (_v_deref__item3, 0))
    40094031          {
    40104032            goto _block2__branch3;
    40114033          }
    4012           Expr _ve__dollar_tmp_m_418_m_14;
    4013           _ve__dollar_tmp_m_418_m_14 = Expr (_v_deref__item3, (0 + 1), _v_len___dollar_tmp_m_418_m_14);
     4034          Expr _ve__dollar_tmp_m_417_m_14;
     4035          _ve__dollar_tmp_m_417_m_14 = Expr (_v_deref__item3, (0 + 1), _v_len___dollar_tmp_m_417_m_14);
    40144036          Expr _ge_auxcall4;
    40154037          RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_item, _ge_auxcall4);
     
    40364058          Expr _ge_auxcall5;
    40374059          RF_CALL (Name_To_Java, _vt_name, _ge_auxcall5);
    4038           _ve_java__item = (_c_163 + (_c_162 + (_c_161 + _ge_auxcall5 + _c_160) () + _c_14) () + _c_14) ();
     4060          Expr _ge_auxcall6;
     4061          RF_CALL (Name_To_Java, _vt_name, _ge_auxcall6);
     4062          _ve_java__item = (_c_163 + _ge_auxcall5 + _c_162 + (_c_160 + (_c_159 + _ge_auxcall6 + _c_158) () + _c_14) () + _c_161) ();
    40394063          goto _block2;
    40404064        }
     
    40734097          }
    40744098        _block3: {}
    4075           Expr _ge_auxcall6;
    4076           RF_CALL (Name_To_Java, _vt_name, _ge_auxcall6);
    4077           _ve_java__item = (_c_163 + (_c_162 + ((_ge_auxcall6 + _c_160) () + _c_35) () + _c_14) () + _c_14) ();
     4099          Expr _ge_auxcall7;
     4100          RF_CALL (Name_To_Java, _vt_name, _ge_auxcall7);
     4101          Expr _ge_auxcall8;
     4102          RF_CALL (Name_To_Java, _vt_name, _ge_auxcall8);
     4103          _ve_java__item = (_c_163 + _ge_auxcall7 + _c_162 + (_c_160 + ((_ge_auxcall8 + _c_158) () + _c_35) () + _c_14) () + _c_161) ();
    40784104          goto _block2;
    40794105        }
     
    40994125            RF_FUNC_ERROR (unexpected_fail);
    41004126          }
    4101           Expr _ge_auxcall7;
    4102           RF_CALL (Symbol_To_Java, _vs_sym, _ge_auxcall7);
    4103           _ve_java__item = (_c_165 + _ge_auxcall7 + _c_36) ();
     4127          Expr _ge_auxcall9;
     4128          RF_CALL (Symbol_To_Java, _vs_sym, _ge_auxcall9);
     4129          _ve_java__item = (_c_165 + _ge_auxcall9 + _c_36) ();
    41044130        }
    41054131      _block4: {}
     
    41994225        RF_FUNC_ERROR (unexpected_fail);
    42004226      }
    4201       Expr _vs__dollar_tmp_m_452_m_8;
    4202       _vs__dollar_tmp_m_452_m_8 = Expr (_vs_char, 0, 1);
     4227      Expr _vs__dollar_tmp_m_454_m_8;
     4228      _vs__dollar_tmp_m_454_m_8 = Expr (_vs_char, 0, 1);
    42034229      _ve_java__char = _vs_char;
    42044230    }
     
    42564282          goto _block2__branch1;
    42574283        }
    4258         int _v_len___dollar_tmp_m_464_m_19 = (_v_len5 - _v_len6);
    4259         Expr _vv__dollar_tmp_m_464_m_19;
    4260         _vv__dollar_tmp_m_464_m_19 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_464_m_19);
     4284        int _v_len___dollar_tmp_m_466_m_19 = (_v_len5 - _v_len6);
     4285        Expr _vv__dollar_tmp_m_466_m_19;
     4286        _vv__dollar_tmp_m_466_m_19 = Expr (_ve_rest, 0, _v_len___dollar_tmp_m_466_m_19);
    42614287        _ve_comma = _c_113;
    42624288        goto _block2;
     
    43294355            goto _block2__branch1;
    43304356          }
    4331           RF_lsplit (_ve_rest, 0, _ve__dollar_tmp_m_478_m_19, _v_lsplit__rest);
     4357          RF_lsplit (_ve_rest, 0, _ve__dollar_tmp_m_480_m_19, _v_lsplit__rest);
    43324358          for ( ; ; RF_iter(_ve_rest)++)
    43334359          {
     
    43434369                goto _block2__branch1;
    43444370              }
    4345               int _v_len___dollar_tmp_m_478_m_25 = (_v_len5 - _v_len6);
     4371              int _v_len___dollar_tmp_m_480_m_25 = (_v_len5 - _v_len6);
    43464372              if (_v_lsplit__rest.symbol_at (0))
    43474373              {
     
    43554381                goto _continue1;
    43564382              }
    4357               int _v_len___dollar_tmp_m_478_m_22 = (_v_len7 - _v_len8);
    4358               Expr _ve__dollar_tmp_m_478_m_25;
    4359               _ve__dollar_tmp_m_478_m_25 = Expr (_v_lsplit__rest, (0 + 1), _v_len___dollar_tmp_m_478_m_25);
    4360               Expr _ve__dollar_tmp_m_478_m_22;
    4361               _ve__dollar_tmp_m_478_m_22 = Expr (_v_deref__lsplit__rest, 0, _v_len___dollar_tmp_m_478_m_22);
     4383              int _v_len___dollar_tmp_m_480_m_22 = (_v_len7 - _v_len8);
     4384              Expr _ve__dollar_tmp_m_480_m_25;
     4385              _ve__dollar_tmp_m_480_m_25 = Expr (_v_lsplit__rest, (0 + 1), _v_len___dollar_tmp_m_480_m_25);
     4386              Expr _ve__dollar_tmp_m_480_m_22;
     4387              _ve__dollar_tmp_m_480_m_22 = Expr (_v_deref__lsplit__rest, 0, _v_len___dollar_tmp_m_480_m_22);
    43624388              _ve_comma = _c_113;
    43634389              goto _exit1;
     
    44494475            goto _block2__branch1;
    44504476          }
    4451           RF_lsplit (_ve_rest, 0, _ve__dollar_tmp_m_492_m_19, _v_lsplit__rest);
     4477          RF_lsplit (_ve_rest, 0, _ve__dollar_tmp_m_494_m_19, _v_lsplit__rest);
    44524478          for ( ; ; RF_iter(_ve_rest)++)
    44534479          {
     
    44634489                goto _block2__branch1;
    44644490              }
    4465               int _v_len___dollar_tmp_m_492_m_25 = (_v_len7 - _v_len8);
     4491              int _v_len___dollar_tmp_m_494_m_25 = (_v_len7 - _v_len8);
    44664492              if (_v_lsplit__rest.symbol_at (0))
    44674493              {
     
    44754501                goto _continue1;
    44764502              }
    4477               int _v_len___dollar_tmp_m_492_m_22 = (_v_len9 - _v_len10);
    4478               Expr _ve__dollar_tmp_m_492_m_25;
    4479               _ve__dollar_tmp_m_492_m_25 = Expr (_v_lsplit__rest, (0 + 1), _v_len___dollar_tmp_m_492_m_25);
    4480               Expr _ve__dollar_tmp_m_492_m_22;
    4481               _ve__dollar_tmp_m_492_m_22 = Expr (_v_deref__lsplit__rest, 0, _v_len___dollar_tmp_m_492_m_22);
     4503              int _v_len___dollar_tmp_m_494_m_22 = (_v_len9 - _v_len10);
     4504              Expr _ve__dollar_tmp_m_494_m_25;
     4505              _ve__dollar_tmp_m_494_m_25 = Expr (_v_lsplit__rest, (0 + 1), _v_len___dollar_tmp_m_494_m_25);
     4506              Expr _ve__dollar_tmp_m_494_m_22;
     4507              _ve__dollar_tmp_m_494_m_22 = Expr (_v_deref__lsplit__rest, 0, _v_len___dollar_tmp_m_494_m_22);
    44824508              _ve_comma = _c_113;
    44834509              goto _exit1;
     
    46344660  Expr _vt_var;
    46354661  _vt_var = Expr (_v_compose1, (0 + 1), 1);
    4636   if (_vt_var.symbol_at (0))
    46374662  {
    4638     RF_FUNC_ERROR (unexpected_fail);
     4663    {
     4664      Expr _vs_methodName;
     4665      {
     4666        {
     4667          Expr _v_compose2 ((_vt_var + _vs_javaType));
     4668          if (_v_compose2.symbol_at (0))
     4669          {
     4670            goto _block2__branch1;
     4671          }
     4672          Expr _v_deref__compose2 (Expr (_v_compose2, 0));
     4673          int _v_len1 = _v_deref__compose2.get_len ();
     4674          int _v_len2 = 1;
     4675          if (_v_len1 < _v_len2)
     4676          {
     4677            goto _block2__branch1;
     4678          }
     4679          int _v_len___dollar_tmp_m_536_m_14 = (_v_len1 - _v_len2);
     4680          if (!_c_179.term_eq (_v_compose2, (0 + 1)))
     4681          {
     4682            goto _block2__branch1;
     4683          }
     4684          if (!_c_178.term_eq (_v_deref__compose2, 0))
     4685          {
     4686            goto _block2__branch1;
     4687          }
     4688          Expr _ve__dollar_tmp_m_536_m_14;
     4689          _ve__dollar_tmp_m_536_m_14 = Expr (_v_deref__compose2, (0 + 1), _v_len___dollar_tmp_m_536_m_14);
     4690          _vs_methodName = _c_180;
     4691          goto _block2;
     4692        }
     4693      _block2__branch1: {}
     4694        {
     4695          Expr _v_compose3 ((_vt_var + _vs_javaType));
     4696          if (_v_compose3.symbol_at (0))
     4697          {
     4698            goto _block2__branch2;
     4699          }
     4700          Expr _v_deref__compose3 (Expr (_v_compose3, 0));
     4701          int _v_len3 = _v_deref__compose3.get_len ();
     4702          int _v_len4 = 1;
     4703          if (_v_len3 < _v_len4)
     4704          {
     4705            goto _block2__branch2;
     4706          }
     4707          int _v_len___dollar_tmp_m_537_m_14 = (_v_len3 - _v_len4);
     4708          if (!_c_181.term_eq (_v_compose3, (0 + 1)))
     4709          {
     4710            goto _block2__branch2;
     4711          }
     4712          if (!_c_178.term_eq (_v_deref__compose3, 0))
     4713          {
     4714            goto _block2__branch2;
     4715          }
     4716          Expr _ve__dollar_tmp_m_537_m_14;
     4717          _ve__dollar_tmp_m_537_m_14 = Expr (_v_deref__compose3, (0 + 1), _v_len___dollar_tmp_m_537_m_14);
     4718          _vs_methodName = _c_182;
     4719          goto _block2;
     4720        }
     4721      _block2__branch2: {}
     4722        {
     4723          Expr _v_compose4 ((_vt_var + _vs_javaType));
     4724          if (_v_compose4.symbol_at (0))
     4725          {
     4726            goto _block2__branch3;
     4727          }
     4728          Expr _v_deref__compose4 (Expr (_v_compose4, 0));
     4729          int _v_len5 = _v_deref__compose4.get_len ();
     4730          int _v_len6 = 1;
     4731          if (_v_len5 < _v_len6)
     4732          {
     4733            goto _block2__branch3;
     4734          }
     4735          int _v_len___dollar_tmp_m_538_m_14 = (_v_len5 - _v_len6);
     4736          if (!_c_183.term_eq (_v_compose4, (0 + 1)))
     4737          {
     4738            goto _block2__branch3;
     4739          }
     4740          if (!_c_178.term_eq (_v_deref__compose4, 0))
     4741          {
     4742            goto _block2__branch3;
     4743          }
     4744          Expr _ve__dollar_tmp_m_538_m_14;
     4745          _ve__dollar_tmp_m_538_m_14 = Expr (_v_deref__compose4, (0 + 1), _v_len___dollar_tmp_m_538_m_14);
     4746          _vs_methodName = _c_184;
     4747          goto _block2;
     4748        }
     4749      _block2__branch3: {}
     4750        {
     4751          Expr _v_compose5 ((_vt_var + _vs_javaType));
     4752          if (_v_compose5.symbol_at (0))
     4753          {
     4754            goto _block2__branch4;
     4755          }
     4756          Expr _v_deref__compose5 (Expr (_v_compose5, 0));
     4757          int _v_len7 = _v_deref__compose5.get_len ();
     4758          int _v_len8 = 1;
     4759          if (_v_len7 < _v_len8)
     4760          {
     4761            goto _block2__branch4;
     4762          }
     4763          int _v_len___dollar_tmp_m_539_m_14 = (_v_len7 - _v_len8);
     4764          if (!_c_185.term_eq (_v_compose5, (0 + 1)))
     4765          {
     4766            goto _block2__branch4;
     4767          }
     4768          if (!_c_178.term_eq (_v_deref__compose5, 0))
     4769          {
     4770            goto _block2__branch4;
     4771          }
     4772          Expr _ve__dollar_tmp_m_539_m_14;
     4773          _ve__dollar_tmp_m_539_m_14 = Expr (_v_deref__compose5, (0 + 1), _v_len___dollar_tmp_m_539_m_14);
     4774          _vs_methodName = _c_186;
     4775          goto _block2;
     4776        }
     4777      _block2__branch4: {}
     4778        {
     4779          Expr _v_compose6 ((_vt_var + _vs_javaType));
     4780          if (_v_compose6.symbol_at (0))
     4781          {
     4782            goto _block2__branch5;
     4783          }
     4784          Expr _v_deref__compose6 (Expr (_v_compose6, 0));
     4785          int _v_len9 = _v_deref__compose6.get_len ();
     4786          int _v_len10 = 1;
     4787          if (_v_len9 < _v_len10)
     4788          {
     4789            goto _block2__branch5;
     4790          }
     4791          int _v_len___dollar_tmp_m_540_m_14 = (_v_len9 - _v_len10);
     4792          if (!_c_187.term_eq (_v_compose6, (0 + 1)))
     4793          {
     4794            goto _block2__branch5;
     4795          }
     4796          if (!_c_178.term_eq (_v_deref__compose6, 0))
     4797          {
     4798            goto _block2__branch5;
     4799          }
     4800          Expr _ve__dollar_tmp_m_540_m_14;
     4801          _ve__dollar_tmp_m_540_m_14 = Expr (_v_deref__compose6, (0 + 1), _v_len___dollar_tmp_m_540_m_14);
     4802          _vs_methodName = _c_188;
     4803          goto _block2;
     4804        }
     4805      _block2__branch5: {}
     4806        {
     4807          Expr _v_compose7 ((_vt_var + _vs_javaType));
     4808          if (_v_compose7.symbol_at (0))
     4809          {
     4810            goto _block2__branch6;
     4811          }
     4812          Expr _v_deref__compose7 (Expr (_v_compose7, 0));
     4813          int _v_len11 = _v_deref__compose7.get_len ();
     4814          int _v_len12 = 1;
     4815          if (_v_len11 < _v_len12)
     4816          {
     4817            goto _block2__branch6;
     4818          }
     4819          int _v_len___dollar_tmp_m_541_m_14 = (_v_len11 - _v_len12);
     4820          if (!_c_189.term_eq (_v_compose7, (0 + 1)))
     4821          {
     4822            goto _block2__branch6;
     4823          }
     4824          if (!_c_178.term_eq (_v_deref__compose7, 0))
     4825          {
     4826            goto _block2__branch6;
     4827          }
     4828          Expr _ve__dollar_tmp_m_541_m_14;
     4829          _ve__dollar_tmp_m_541_m_14 = Expr (_v_deref__compose7, (0 + 1), _v_len___dollar_tmp_m_541_m_14);
     4830          _vs_methodName = _c_190;
     4831          goto _block2;
     4832        }
     4833      _block2__branch6: {}
     4834        {
     4835          Expr _v_compose8 ((_vt_var + _vs_javaType));
     4836          if (_v_compose8.symbol_at (0))
     4837          {
     4838            goto _block2__branch7;
     4839          }
     4840          Expr _v_deref__compose8 (Expr (_v_compose8, 0));
     4841          int _v_len13 = _v_deref__compose8.get_len ();
     4842          int _v_len14 = 1;
     4843          if (_v_len13 < _v_len14)
     4844          {
     4845            goto _block2__branch7;
     4846          }
     4847          int _v_len___dollar_tmp_m_542_m_14 = (_v_len13 - _v_len14);
     4848          if (!_c_192.term_eq (_v_compose8, (0 + 1)))
     4849          {
     4850            goto _block2__branch7;
     4851          }
     4852          if (!_c_191.term_eq (_v_deref__compose8, 0))
     4853          {
     4854            goto _block2__branch7;
     4855          }
     4856          Expr _ve__dollar_tmp_m_542_m_14;
     4857          _ve__dollar_tmp_m_542_m_14 = Expr (_v_deref__compose8, (0 + 1), _v_len___dollar_tmp_m_542_m_14);
     4858          _vs_methodName = _c_193;
     4859          goto _block2;
     4860        }
     4861      _block2__branch7: {}
     4862        {
     4863          Expr _v_compose9 ((_vt_var + _vs_javaType));
     4864          if (_v_compose9.symbol_at (0))
     4865          {
     4866            goto _block2__branch8;
     4867          }
     4868          Expr _v_deref__compose9 (Expr (_v_compose9, 0));
     4869          int _v_len15 = _v_deref__compose9.get_len ();
     4870          int _v_len16 = 1;
     4871          if (_v_len15 < _v_len16)
     4872          {
     4873            goto _block2__branch8;
     4874          }
     4875          int _v_len___dollar_tmp_m_543_m_14 = (_v_len15 - _v_len16);
     4876          if (!_c_194.term_eq (_v_compose9, (0 + 1)))
     4877          {
     4878            goto _block2__branch8;
     4879          }
     4880          if (!_c_191.term_eq (_v_deref__compose9, 0))
     4881          {
     4882            goto _block2__branch8;
     4883          }
     4884          Expr _ve__dollar_tmp_m_543_m_14;
     4885          _ve__dollar_tmp_m_543_m_14 = Expr (_v_deref__compose9, (0 + 1), _v_len___dollar_tmp_m_543_m_14);
     4886          _vs_methodName = _c_195;
     4887          goto _block2;
     4888        }
     4889      _block2__branch8: {}
     4890        {
     4891          Expr _v_compose10 ((_vt_var + _vs_javaType));
     4892          if (_v_compose10.symbol_at (0))
     4893          {
     4894            goto _block2__branch9;
     4895          }
     4896          Expr _v_deref__compose10 (Expr (_v_compose10, 0));
     4897          int _v_len17 = _v_deref__compose10.get_len ();
     4898          int _v_len18 = 1;
     4899          if (_v_len17 < _v_len18)
     4900          {
     4901            goto _block2__branch9;
     4902          }
     4903          int _v_len___dollar_tmp_m_544_m_14 = (_v_len17 - _v_len18);
     4904          if (!_c_196.term_eq (_v_compose10, (0 + 1)))
     4905          {
     4906            goto _block2__branch9;
     4907          }
     4908          if (!_c_191.term_eq (_v_deref__compose10, 0))
     4909          {
     4910            goto _block2__branch9;
     4911          }
     4912          Expr _ve__dollar_tmp_m_544_m_14;
     4913          _ve__dollar_tmp_m_544_m_14 = Expr (_v_deref__compose10, (0 + 1), _v_len___dollar_tmp_m_544_m_14);
     4914          _vs_methodName = _c_197;
     4915          goto _block2;
     4916        }
     4917      _block2__branch9: {}
     4918        {
     4919          Expr _v_compose11 ((_vt_var + _vs_javaType));
     4920          if (_v_compose11.symbol_at (0))
     4921          {
     4922            goto _block2__branch10;
     4923          }
     4924          Expr _v_deref__compose11 (Expr (_v_compose11, 0));
     4925          int _v_len19 = _v_deref__compose11.get_len ();
     4926          int _v_len20 = 1;
     4927          if (_v_len19 < _v_len20)
     4928          {
     4929            goto _block2__branch10;
     4930          }
     4931          int _v_len___dollar_tmp_m_545_m_14 = (_v_len19 - _v_len20);
     4932          if (!_c_198.term_eq (_v_compose11, (0 + 1)))
     4933          {
     4934            goto _block2__branch10;
     4935          }
     4936          if (!_c_191.term_eq (_v_deref__compose11, 0))
     4937          {
     4938            goto _block2__branch10;
     4939          }
     4940          Expr _ve__dollar_tmp_m_545_m_14;
     4941          _ve__dollar_tmp_m_545_m_14 = Expr (_v_deref__compose11, (0 + 1), _v_len___dollar_tmp_m_545_m_14);
     4942          _vs_methodName = _c_199;
     4943          goto _block2;
     4944        }
     4945      _block2__branch10: {}
     4946        {
     4947          Expr _v_compose12 ((_vt_var + _vs_javaType));
     4948          if (_v_compose12.symbol_at (0))
     4949          {
     4950            goto _block2__branch11;
     4951          }
     4952          Expr _v_deref__compose12 (Expr (_v_compose12, 0));
     4953          int _v_len21 = _v_deref__compose12.get_len ();
     4954          int _v_len22 = 1;
     4955          if (_v_len21 < _v_len22)
     4956          {
     4957            goto _block2__branch11;
     4958          }
     4959          int _v_len___dollar_tmp_m_546_m_14 = (_v_len21 - _v_len22);
     4960          if (!_c_200.term_eq (_v_compose12, (0 + 1)))
     4961          {
     4962            goto _block2__branch11;
     4963          }
     4964          if (!_c_191.term_eq (_v_deref__compose12, 0))
     4965          {
     4966            goto _block2__branch11;
     4967          }
     4968          Expr _ve__dollar_tmp_m_546_m_14;
     4969          _ve__dollar_tmp_m_546_m_14 = Expr (_v_deref__compose12, (0 + 1), _v_len___dollar_tmp_m_546_m_14);
     4970          _vs_methodName = _c_201;
     4971          goto _block2;
     4972        }
     4973      _block2__branch11: {}
     4974        Expr _v_compose13 ((_vt_var + _vs_javaType));
     4975        if (_v_compose13.symbol_at (0))
     4976        {
     4977          goto _block1__branch1;
     4978        }
     4979        Expr _v_deref__compose13 (Expr (_v_compose13, 0));
     4980        int _v_len23 = _v_deref__compose13.get_len ();
     4981        int _v_len24 = 1;
     4982        if (_v_len23 < _v_len24)
     4983        {
     4984          goto _block1__branch1;
     4985        }
     4986        int _v_len___dollar_tmp_m_547_m_14 = (_v_len23 - _v_len24);
     4987        if (!_c_202.term_eq (_v_compose13, (0 + 1)))
     4988        {
     4989          goto _block1__branch1;
     4990        }
     4991        if (!_c_191.term_eq (_v_deref__compose13, 0))
     4992        {
     4993          goto _block1__branch1;
     4994        }
     4995        Expr _ve__dollar_tmp_m_547_m_14;
     4996        _ve__dollar_tmp_m_547_m_14 = Expr (_v_deref__compose13, (0 + 1), _v_len___dollar_tmp_m_547_m_14);
     4997        _vs_methodName = _c_203;
     4998      }
     4999    _block2: {}
     5000      Expr _ge_auxcall1;
     5001      RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall1);
     5002      _v_res1 = (_c_204 + _vs_methodName + _c_137 + _ge_auxcall1 + _c_47);
     5003      goto _block1;
     5004    }
     5005  _block1__branch1: {}
     5006    {
     5007      Expr _v_compose14 ((_vt_var + _vs_javaType));
     5008      if (_v_compose14.symbol_at (0))
     5009      {
     5010        goto _block1__branch2;
     5011      }
     5012      Expr _v_deref__compose14 (Expr (_v_compose14, 0));
     5013      int _v_len25 = _v_deref__compose14.get_len ();
     5014      int _v_len26 = 1;
     5015      if (_v_len25 < _v_len26)
     5016      {
     5017        goto _block1__branch2;
     5018      }
     5019      int _v_len___dollar_tmp_m_550_m_12 = (_v_len25 - _v_len26);
     5020      if (!_v_compose14.symbol_at ((0 + 1)))
     5021      {
     5022        goto _block1__branch2;
     5023      }
     5024      if (!_c_178.term_eq (_v_deref__compose14, 0))
     5025      {
     5026        goto _block1__branch2;
     5027      }
     5028      Expr _vs__dollar_tmp_m_550_m_15;
     5029      _vs__dollar_tmp_m_550_m_15 = Expr (_v_compose14, (0 + 1), 1);
     5030      Expr _ve__dollar_tmp_m_550_m_12;
     5031      _ve__dollar_tmp_m_550_m_12 = Expr (_v_deref__compose14, (0 + 1), _v_len___dollar_tmp_m_550_m_12);
     5032      Expr _ge_auxcall2;
     5033      RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall2);
     5034      _v_res1 = (_c_207 + _vs_javaType + _c_206 + _ge_auxcall2 + _c_205);
     5035      goto _block1;
     5036    }
     5037  _block1__branch2: {}
     5038    Expr _v_compose15 ((_vt_var + _vs_javaType));
     5039    if (_v_compose15.symbol_at (0))
     5040    {
     5041      RF_FUNC_ERROR (unexpected_fail);
     5042    }
     5043    Expr _v_deref__compose15 (Expr (_v_compose15, 0));
     5044    int _v_len27 = _v_deref__compose15.get_len ();
     5045    int _v_len28 = 1;
     5046    if (_v_len27 < _v_len28)
     5047    {
     5048      RF_FUNC_ERROR (unexpected_fail);
     5049    }
     5050    int _v_len___dollar_tmp_m_552_m_12 = (_v_len27 - _v_len28);
     5051    if (!_v_compose15.symbol_at ((0 + 1)))
     5052    {
     5053      RF_FUNC_ERROR (unexpected_fail);
     5054    }
     5055    if (!_c_191.term_eq (_v_deref__compose15, 0))
     5056    {
     5057      RF_FUNC_ERROR (unexpected_fail);
     5058    }
     5059    Expr _vs__dollar_tmp_m_552_m_15;
     5060    _vs__dollar_tmp_m_552_m_15 = Expr (_v_compose15, (0 + 1), 1);
     5061    Expr _ve__dollar_tmp_m_552_m_12;
     5062    _ve__dollar_tmp_m_552_m_12 = Expr (_v_deref__compose15, (0 + 1), _v_len___dollar_tmp_m_552_m_12);
     5063    Expr _v_ToChars1;
     5064    RF_CALL (::refal::Convert::ToChars, _vs_javaType, _v_ToChars1);
     5065    int _v_len29 = _v_ToChars1.get_len ();
     5066    int _v_len30 = 2;
     5067    if (_v_len29 < _v_len30)
     5068    {
     5069      RF_FUNC_ERROR (unexpected_fail);
     5070    }
     5071    int _v_len__javaElemType = (_v_len29 - _v_len30);
     5072    if (!_c_208.eq (_v_ToChars1, (0 + _v_len__javaElemType)))
     5073    {
     5074      RF_FUNC_ERROR (unexpected_fail);
     5075    }
     5076    Expr _ve_javaElemType;
     5077    _ve_javaElemType = Expr (_v_ToChars1, 0, _v_len__javaElemType);
     5078    Expr _vs_javaElemType;
     5079    RF_CALL (::refal::Convert::ToWord, _ve_javaElemType, _vs_javaElemType);
     5080    Expr _ge_auxcall3;
     5081    RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall3);
     5082    Expr _ge_auxcall4;
     5083    RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall4);
     5084    _v_res1 = (_c_207 + _vs_javaType + _c_212 + _ge_auxcall3 + _c_211 + _vs_javaElemType + _c_210 + _ge_auxcall4 + _c_209);
    46395085  }
    4640   Expr _v_deref__var (Expr (_vt_var, 0));
    4641   int _v_len1 = _v_deref__var.get_len ();
    4642   int _v_len2 = 1;
     5086_block1: {}
     5087RF_END
     5088
     5089RF_FUNC (ConvertFrom, (RF_ARG _gt_arg1, _gs_arg2, _ge_arg3;;), (RF_RES _v_res1;;))
     5090  int _v_len1 = (_ge_arg3.get_len () + 2);
     5091  int _v_len2 = 2;
    46435092  if (_v_len1 < _v_len2)
    46445093  {
    46455094    RF_FUNC_ERROR (unexpected_fail);
    46465095  }
    4647   int _v_len___dollar_tmp_m_532_m_23 = (_v_len1 - _v_len2);
    4648   if (!_v_deref__var.symbol_at (0))
     5096  int _v_len__arg = (_v_len1 - _v_len2);
     5097  Expr _v_compose1 ((_gt_arg1 + _gs_arg2 + _ge_arg3));
     5098  if (_v_compose1.symbol_at (0))
    46495099  {
    46505100    RF_FUNC_ERROR (unexpected_fail);
    46515101  }
    4652   Expr _vs_refType;
    4653   _vs_refType = Expr (_v_deref__var, 0, 1);
    4654   Expr _ve__dollar_tmp_m_532_m_23;
    4655   _ve__dollar_tmp_m_532_m_23 = Expr (_v_deref__var, (0 + 1), _v_len___dollar_tmp_m_532_m_23);
    4656   {
    4657     {
    4658       if (!_vs_refType.term_eq (_c_178, 0))
    4659       {
    4660         goto _block1__branch1;
    4661       }
    4662       {
    4663         {
    4664           {
    4665             {
    4666               if (!_vs_javaType.term_eq (_c_179, 0))
    4667               {
    4668                 goto _block3__branch1;
    4669               }
    4670               goto _block3;
    4671             }
    4672           _block3__branch1: {}
    4673             {
    4674               if (!_vs_javaType.term_eq (_c_180, 0))
    4675               {
    4676                 goto _block3__branch2;
    4677               }
    4678               goto _block3;
    4679             }
    4680           _block3__branch2: {}
    4681             {
    4682               if (!_vs_javaType.term_eq (_c_181, 0))
    4683               {
    4684                 goto _block3__branch3;
    4685               }
    4686               goto _block3;
    4687             }
    4688           _block3__branch3: {}
    4689             {
    4690               if (!_vs_javaType.term_eq (_c_182, 0))
    4691               {
    4692                 goto _block3__branch4;
    4693               }
    4694               goto _block3;
    4695             }
    4696           _block3__branch4: {}
    4697             {
    4698               if (!_vs_javaType.term_eq (_c_183, 0))
    4699               {
    4700                 goto _block3__branch5;
    4701               }
    4702               goto _block3;
    4703             }
    4704           _block3__branch5: {}
    4705             if (!_vs_javaType.term_eq (_c_184, 0))
    4706             {
    4707               goto _block2__branch1;
    4708             }
    4709           }
    4710         _block3: {}
    4711           Expr _ge_auxcall1;
    4712           RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall1);
    4713           _v_res1 = (_c_187 + _vs_javaType + _c_186 + _ge_auxcall1 + _c_185);
    4714           goto _block2;
    4715         }
    4716       _block2__branch1: {}
    4717         Expr _ge_auxcall2;
    4718         RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall2);
    4719         _v_res1 = (_c_190 + _vs_javaType + _c_189 + _ge_auxcall2 + _c_188);
    4720       }
    4721     _block2: {}
    4722       goto _block1;
    4723     }
    4724   _block1__branch1: {}
    4725     if (!_vs_refType.term_eq (_c_191, 0))
    4726     {
    4727       RF_FUNC_ERROR (unexpected_fail);
    4728     }
    4729     Expr _v_ToChars1;
    4730     RF_CALL (::refal::Convert::ToChars, _vs_javaType, _v_ToChars1);
    4731     int _v_len3 = _v_ToChars1.get_len ();
    4732     int _v_len4 = 2;
    4733     if (_v_len3 < _v_len4)
    4734     {
    4735       RF_FUNC_ERROR (unexpected_fail);
    4736     }
    4737     int _v_len__javaElemType = (_v_len3 - _v_len4);
    4738     if (!_c_192.eq (_v_ToChars1, (0 + _v_len__javaElemType)))
    4739     {
    4740       RF_FUNC_ERROR (unexpected_fail);
    4741     }
    4742     Expr _ve_javaElemType;
    4743     _ve_javaElemType = Expr (_v_ToChars1, 0, _v_len__javaElemType);
    4744     Expr _vs_javaElemType;
    4745     RF_CALL (::refal::Convert::ToWord, _ve_javaElemType, _vs_javaElemType);
    4746     {
    4747       {
    4748         {
    4749           {
    4750             if (!_vs_javaElemType.term_eq (_c_179, 0))
    4751             {
    4752               goto _block5__branch1;
    4753             }
    4754             goto _block5;
    4755           }
    4756         _block5__branch1: {}
    4757           {
    4758             if (!_vs_javaElemType.term_eq (_c_180, 0))
    4759             {
    4760               goto _block5__branch2;
    4761             }
    4762             goto _block5;
    4763           }
    4764         _block5__branch2: {}
    4765           {
    4766             if (!_vs_javaElemType.term_eq (_c_181, 0))
    4767             {
    4768               goto _block5__branch3;
    4769             }
    4770             goto _block5;
    4771           }
    4772         _block5__branch3: {}
    4773           {
    4774             if (!_vs_javaElemType.term_eq (_c_182, 0))
    4775             {
    4776               goto _block5__branch4;
    4777             }
    4778             goto _block5;
    4779           }
    4780         _block5__branch4: {}
    4781           {
    4782             if (!_vs_javaElemType.term_eq (_c_183, 0))
    4783             {
    4784               goto _block5__branch5;
    4785             }
    4786             goto _block5;
    4787           }
    4788         _block5__branch5: {}
    4789           if (!_vs_javaElemType.term_eq (_c_184, 0))
    4790           {
    4791             goto _block4__branch1;
    4792           }
    4793         }
    4794       _block5: {}
    4795         Expr _ge_auxcall3;
    4796         RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall3);
    4797         _v_res1 = (_c_187 + _vs_javaElemType + _c_193 + _ge_auxcall3 + _c_47);
    4798         goto _block4;
    4799       }
    4800     _block4__branch1: {}
    4801       Expr _ge_auxcall4;
    4802       RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall4);
    4803       Expr _ge_auxcall5;
    4804       RF_CALL (::refal::JavaMangle::Rfp2Java, _vt_var, _ge_auxcall5);
    4805       _v_res1 = (_c_190 + _vs_javaType + _c_197 + _ge_auxcall4 + _c_196 + _vs_javaElemType + _c_195 + _ge_auxcall5 + _c_194);
    4806     }
    4807   _block4: {}
    4808   }
    4809 _block1: {}
    4810 RF_END
    4811 
    4812 RF_FUNC (ConvertFrom, (RF_ARG _vt_var, _ve_arg;;), (RF_RES _v_res1;;))
    4813   if (_vt_var.symbol_at (0))
     5102  Expr _v_deref__compose1 (Expr (_v_compose1, 0));
     5103  int _v_len3 = _v_deref__compose1.get_len ();
     5104  int _v_len4 = 1;
     5105  if (_v_len3 < _v_len4)
    48145106  {
    48155107    RF_FUNC_ERROR (unexpected_fail);
    48165108  }
    4817   Expr _v_deref__var (Expr (_vt_var, 0));
    4818   int _v_len1 = _v_deref__var.get_len ();
    4819   int _v_len2 = 1;
    4820   if (_v_len1 < _v_len2)
     5109  int _v_len___dollar_tmp_m_558_m_25 = (_v_len3 - _v_len4);
     5110  if (!_v_compose1.symbol_at ((0 + 1)))
    48215111  {
    48225112    RF_FUNC_ERROR (unexpected_fail);
    48235113  }
    4824   int _v_len___dollar_tmp_m_550_m_23 = (_v_len1 - _v_len2);
    4825   if (!_v_deref__var.symbol_at (0))
     5114  if (!_v_deref__compose1.symbol_at (0))
    48265115  {
    48275116    RF_FUNC_ERROR (unexpected_fail);
    48285117  }
     5118  Expr _vs_javaType;
     5119  _vs_javaType = Expr (_v_compose1, (0 + 1), 1);
     5120  Expr _ve_arg;
     5121  _ve_arg = Expr (_v_compose1, (0 + 1 + 1), _v_len__arg);
    48295122  Expr _vs_refType;
    4830   _vs_refType = Expr (_v_deref__var, 0, 1);
    4831   Expr _ve__dollar_tmp_m_550_m_23;
    4832   _ve__dollar_tmp_m_550_m_23 = Expr (_v_deref__var, (0 + 1), _v_len___dollar_tmp_m_550_m_23);
     5123  _vs_refType = Expr (_v_deref__compose1, 0, 1);
     5124  Expr _ve__dollar_tmp_m_558_m_25;
     5125  _ve__dollar_tmp_m_558_m_25 = Expr (_v_deref__compose1, (0 + 1), _v_len___dollar_tmp_m_558_m_25);
     5126  Expr _v_ToChars1;
     5127  RF_CALL (::refal::Convert::ToChars, _vs_javaType, _v_ToChars1);
     5128  Expr _ve_type;
    48335129  {
    48345130    {
    4835       if (!_vs_refType.term_eq (_c_178, 0))
     5131      int _v_len5 = (_v_ToChars1.get_len () + 1);
     5132      int _v_len6 = 3;
     5133      if (_v_len5 < _v_len6)
    48365134      {
    48375135        goto _block1__branch1;
    48385136      }
    4839       _v_res1 = (_c_198 + _ve_arg + _c_47);
     5137      int _v_len___dollar_tmp_m_560_m_11 = (_v_len5 - _v_len6);
     5138      Expr _v_compose2 ((_vs_refType + _v_ToChars1));
     5139      if (!_c_178.term_eq (_v_compose2, 0))
     5140      {
     5141        goto _block1__branch1;
     5142      }
     5143      if (!_c_208.eq (_v_compose2, (0 + 1 + _v_len___dollar_tmp_m_560_m_11)))
     5144      {
     5145        goto _block1__branch1;
     5146      }
     5147      Expr _ve__dollar_tmp_m_560_m_11;
     5148      _ve__dollar_tmp_m_560_m_11 = Expr (_v_compose2, (0 + 1), _v_len___dollar_tmp_m_560_m_11);
     5149      _ve_type = _c_213;
    48405150      goto _block1;
    48415151    }
    48425152  _block1__branch1: {}
    4843     if (!_vs_refType.term_eq (_c_191, 0))
     5153    {
     5154      int _v_len7 = (_v_ToChars1.get_len () + 1);
     5155      int _v_len8 = 1;
     5156      if (_v_len7 < _v_len8)
     5157      {
     5158        goto _block1__branch2;
     5159      }
     5160      int _v_len___dollar_tmp_m_561_m_11 = (_v_len7 - _v_len8);
     5161      Expr _v_compose3 ((_vs_refType + _v_ToChars1));
     5162      if (!_c_178.term_eq (_v_compose3, 0))
     5163      {
     5164        goto _block1__branch2;
     5165      }
     5166      Expr _ve__dollar_tmp_m_561_m_11;
     5167      _ve__dollar_tmp_m_561_m_11 = Expr (_v_compose3, (0 + 1), _v_len___dollar_tmp_m_561_m_11);
     5168      _ve_type = empty;
     5169      goto _block1;
     5170    }
     5171  _block1__branch2: {}
     5172    int _v_len9 = (_v_ToChars1.get_len () + 1);
     5173    int _v_len10 = 3;
     5174    if (_v_len9 < _v_len10)
    48445175    {
    48455176      RF_FUNC_ERROR (unexpected_fail);
    48465177    }
    4847     _v_res1 = (_c_199 + _ve_arg + _c_47);
     5178    int _v_len___dollar_tmp_m_562_m_11 = (_v_len9 - _v_len10);
     5179    Expr _v_compose4 ((_vs_refType + _v_ToChars1));
     5180    if (!_c_191.term_eq (_v_compose4, 0))
     5181    {
     5182      RF_FUNC_ERROR (unexpected_fail);
     5183    }
     5184    if (!_c_208.eq (_v_compose4, (0 + 1 + _v_len___dollar_tmp_m_562_m_11)))
     5185    {
     5186      RF_FUNC_ERROR (unexpected_fail);
     5187    }
     5188    Expr _ve__dollar_tmp_m_562_m_11;
     5189    _ve__dollar_tmp_m_562_m_11 = Expr (_v_compose4, (0 + 1), _v_len___dollar_tmp_m_562_m_11);
     5190    _ve_type = empty;
    48485191  }
    48495192_block1: {}
     5193  _v_res1 = (_c_214 + _ve_type + _ve_arg + _c_47);
    48505194RF_END
    48515195
     
    49095253        goto _block1__branch1;
    49105254      }
    4911       RF_lsplit (_v_Get1, 0, _ve__dollar_tmp_m_557_m_21, _v_lsplit__Get1);
     5255      RF_lsplit (_v_Get1, 0, _ve__dollar_tmp_m_567_m_21, _v_lsplit__Get1);
    49125256      for ( ; ; RF_iter(_v_Get1)++)
    49135257      {
     
    49235267            goto _block1__branch1;
    49245268          }
    4925           int _v_len___dollar_tmp_m_557_m_31 = (_v_len7 - _v_len8);
     5269          int _v_len___dollar_tmp_m_567_m_31 = (_v_len7 - _v_len8);
    49265270          if (!_vt_qname.term_eq (_v_lsplit__Get1, 0))
    49275271          {
    49285272            goto _continue1;
    49295273          }
    4930           Expr _ve__dollar_tmp_m_557_m_31;
    4931           _ve__dollar_tmp_m_557_m_31 = Expr (_v_lsplit__Get1, (0 + 1), _v_len___dollar_tmp_m_557_m_31);
     5274          Expr _ve__dollar_tmp_m_567_m_31;
     5275          _ve__dollar_tmp_m_567_m_31 = Expr (_v_lsplit__Get1, (0 + 1), _v_len___dollar_tmp_m_567_m_31);
    49325276          RF_CALL (::refal::Box::Store, (Entry_Name, _vt_qname), /*void*/);
    49335277          goto _exit1;
     
    49705314  Expr _ge_auxcall5;
    49715315  Expr _gs_auxcall6;
    4972   RF_CALL (org::refal::plus::compiler::rfp_vars::Gener_Var_Indices, (_c_177, _ge_auxcall4, _c_200), (_ge_auxcall5, _gs_auxcall6));
     5316  RF_CALL (org::refal::plus::compiler::rfp_vars::Gener_Var_Indices, (_c_177, _ge_auxcall4, _c_215), (_ge_auxcall5, _gs_auxcall6));
    49735317  Expr _v_Del__Pragmas1;
    49745318  RF_CALL (org::refal::plus::compiler::rfp_helper::Del_Pragmas, (_ge_auxcall5 + _gs_auxcall6), _v_Del__Pragmas1);
     
    49865330  Expr _ve_rfArgs;
    49875331  _ve_rfArgs = Expr (_v_Del__Pragmas1, 0, _v_len__rfArgs);
    4988   Expr _vs__dollar_tmp_m_560_m_71;
    4989   _vs__dollar_tmp_m_560_m_71 = Expr (_v_Del__Pragmas1, (0 + _v_len__rfArgs), 1);
     5332  Expr _vs__dollar_tmp_m_570_m_71;
     5333  _vs__dollar_tmp_m_570_m_71 = Expr (_v_Del__Pragmas1, (0 + _v_len__rfArgs), 1);
    49905334  Expr _ge_auxcall7;
    49915335  RF_CALL (org::refal::plus::compiler::rfp_vars::Vars, _ve_out, _ge_auxcall7);
    49925336  Expr _ge_auxcall8;
    49935337  Expr _gs_auxcall9;
    4994   RF_CALL (org::refal::plus::compiler::rfp_vars::Gener_Var_Indices, (_c_177, _ge_auxcall7, _c_201), (_ge_auxcall8, _gs_auxcall9));
     5338  RF_CALL (org::refal::plus::compiler::rfp_vars::Gener_Var_Indices, (_c_177, _ge_auxcall7, _c_216), (_ge_auxcall8, _gs_auxcall9));
    49955339  Expr _v_Del__Pragmas2;
    49965340  RF_CALL (org::refal::plus::compiler::rfp_helper::Del_Pragmas, (_ge_auxcall8 + _gs_auxcall9), _v_Del__Pragmas2);
     
    50085352  Expr _ve_rfRes;
    50095353  _ve_rfRes = Expr (_v_Del__Pragmas2, 0, _v_len__rfRes);
    5010   Expr _vs__dollar_tmp_m_561_m_71;
    5011   _vs__dollar_tmp_m_561_m_71 = Expr (_v_Del__Pragmas2, (0 + _v_len__rfRes), 1);
     5354  Expr _vs__dollar_tmp_m_571_m_71;
     5355  _vs__dollar_tmp_m_571_m_71 = Expr (_v_Del__Pragmas2, (0 + _v_len__rfRes), 1);
    50125356  Expr _ve_funcHead;
    50135357  Expr _vs_shift;
    50145358  {
    50155359    {
    5016       if (!_vs_methodName.term_eq (_c_202, 0))
     5360      if (!_vs_methodName.term_eq (_c_217, 0))
    50175361      {
    50185362        goto _block3__branch1;
    50195363      }
    5020       _ve_funcHead = (_c_203 + _vs_className);
     5364      _ve_funcHead = (_c_218 + _vs_className);
    50215365      _vs_shift = _c_142;
    50225366      goto _block3;
     
    50245368  _block3__branch1: {}
    50255369    {
    5026       if (!_vs_static.term_eq (_c_202, 0))
     5370      if (!_vs_static.term_eq (_c_217, 0))
    50275371      {
    50285372        goto _block3__branch2;
     
    51415485    RF_CALL (::refal::JavaMangle::Rfp2Java, _ve_rfRes, _ge_auxcall15);
    51425486    Expr _ge_auxcall16;
    5143     RF_CALL (ConvertFrom, (_vt_rfResType, _ve_funcCall), _ge_auxcall16);
    5144     _ve_body = (_ge_auxcall15 + _c_204 + _ge_auxcall16 + _c_77) ();
     5487    RF_CALL (ConvertFrom, (_vt_rfResType, _vs_javaResType, _ve_funcCall), _ge_auxcall16);
     5488    _ve_body = (_ge_auxcall15 + _c_219 + _ge_auxcall16 + _c_77) ();
    51455489  }
    51465490_block7: {}
     
    51555499  Expr _ge_auxcall21;
    51565500  RF_CALL (Name_To_Java, _vt_qname, _ge_auxcall21);
    5157   _v_res1 = (_c_19 + _ve_refalFormat + (_c_43 + _ge_auxcall17 + _c_209 + _ge_auxcall18 + _c_41 + _ge_auxcall19 + _c_208 + (_c_11 + _ve_body () + _c_207 + (_c_206 + _ge_auxcall20 + _c_64 + _ge_auxcall21 + _c_205) () + _c_14) () + _c_14) ());
     5501  _v_res1 = (_c_19 + _ve_refalFormat + (_c_43 + _ge_auxcall17 + _c_224 + _ge_auxcall18 + _c_41 + _ge_auxcall19 + _c_223 + (_c_11 + _ve_body () + _c_222 + (_c_221 + _ge_auxcall20 + _c_64 + _ge_auxcall21 + _c_220) () + _c_14) () + _c_14) ());
    51585502RF_END
    51595503
     
    51615505  if (_ge_arg1.get_len () != 1)
    51625506  {
    5163     RF_ERROR (_c_210);
     5507    RF_ERROR (_c_225);
    51645508  }
    51655509  if (_ge_arg1.symbol_at (0))
    51665510  {
    5167     RF_ERROR (_c_210);
     5511    RF_ERROR (_c_225);
    51685512  }
    51695513  Expr _v_deref__arg1 (Expr (_ge_arg1, 0));
     
    51725516  if (_v_len1 < _v_len2)
    51735517  {
    5174     RF_ERROR (_c_210);
     5518    RF_ERROR (_c_225);
    51755519  }
    51765520  int _v_len__stub1 = (_v_len1 - _v_len2);
     
    51795523  Expr _v_ToRight1;
    51805524  RF_CALL (ToRight, _v_stub1, _v_ToRight1);
    5181   _v_res1 = (_c_211 + _v_ToRight1 + _c_47);
     5525  _v_res1 = (_c_226 + _v_ToRight1 + _c_47);
    51825526RF_END
    51835527
     
    51855529  if (_ge_arg1.get_len () != 1)
    51865530  {
    5187     RF_ERROR (_c_210);
     5531    RF_ERROR (_c_225);
    51885532  }
    51895533  Expr _v_stub1;
     
    52385582  _c_10 = rftype::Char::create_expr (L" (new Result ());");
    52395583  _c_11 = rftype::Char::create_expr (L"try {");
    5240   _c_212 = rftype::Char::create_expr (L"java.lang.System.out.println (\"$error: \" + e);");
    5241   _c_12 = rftype::Char::create_expr (L"} catch (RefalException e) {") + ((_c_212) () + (rftype::Char::create_expr (L"java.lang.System.exit (100);")) ()) () + rftype::Char::create_expr (L"}");
     5584  _c_227 = rftype::Char::create_expr (L"java.lang.System.out.println (\"$error: \" + e);");
     5585  _c_12 = rftype::Char::create_expr (L"} catch (RefalException e) {") + ((_c_227) () + (rftype::Char::create_expr (L"java.lang.System.exit (100);")) ()) () + rftype::Char::create_expr (L"}");
    52425586  _c_13 = rftype::Char::create_expr (L"public void run () {");
    52435587  _c_14 = Expr (_c_12, 0, 1);
     
    52505594  _c_21 = rftype::Char::create_expr (L"public class ");
    52515595  _c_22 = (rftype::Char::create_expr (L"import org.refal.plus.*;")) ();
    5252   _c_23 = Expr (_c_212, 30, 1);
     5596  _c_23 = Expr (_c_227, 30, 1);
    52535597  _c_24 = rftype::Char::create_expr (L"\\\"");
    52545598  _c_26 = rftype::Char::create_expr (L"\\'");
     
    52615605  _c_32 = Expr::create<rftype::Word>("TFUNC");
    52625606  _c_33 = Expr::create<rftype::Word>("FUNC?");
    5263   _c_162 = rftype::Char::create_expr (L"public boolean eval (Expr arg, Result res) throws RefalException {");
    5264   _c_34 = Expr (_c_162, 7, 7);
    5265   _c_213 = rftype::Char::create_expr (L"return true;");
    5266   _c_35 = (_c_213) ();
     5607  _c_160 = rftype::Char::create_expr (L"public boolean eval (Expr arg, Result res) throws RefalException {");
     5608  _c_34 = Expr (_c_160, 7, 7);
     5609  _c_228 = rftype::Char::create_expr (L"return true;");
     5610  _c_35 = (_c_228) ();
    52675611  _c_63 = rftype::Char::create_expr (L"\", \"This is for avoiding 'Unreachable code' errors\");");
    52685612  _c_36 = Expr (_c_63, 50, 2);
     
    52705614  _c_38 = Expr::create<rftype::Word>("Result");
    52715615  _c_39 = Expr::create<rftype::Word>("Expr");
    5272   _c_40 = Expr (_c_162, 41, 23);
     5616  _c_40 = Expr (_c_160, 41, 23);
    52735617  _c_41 = Expr (_c_13, 15, 2);
    52745618  _c_42 = Expr (_c_41, 0, 1);
     
    52845628  _c_51 = Expr::create<rftype::Word>("FOR");
    52855629  _c_52 = Expr::create<rftype::Word>("LABEL");
    5286   _c_53 = Expr (_c_212, 37, 2);
     5630  _c_53 = Expr (_c_227, 37, 2);
    52875631  _c_54 = Expr::create<rftype::Word>("INC-ITER");
    52885632  _c_55 = Expr::create<rftype::Word>("DEC-ITER");
    52895633  _c_56 = rftype::Char::create_expr (L".getLeft();");
    5290   _c_214 = rftype::Char::create_expr (L"Expr err = error.getExpr ();");
    5291   _c_57 = Expr (_c_214, 8, 3);
    5292   _c_58 = Expr (_c_214, 0, 5);
     5634  _c_229 = rftype::Char::create_expr (L"Expr err = error.getExpr ();");
     5635  _c_57 = Expr (_c_229, 8, 3);
     5636  _c_58 = Expr (_c_229, 0, 5);
    52935637  _c_59 = rftype::Char::create_expr (L".getRight();");
    52945638  _c_60 = rftype::Char::create_expr (L"for ( ; ; ");
     
    52995643  _c_67 = (Expr (_c_11, 0, 3)) ();
    53005644  _c_68 = Expr::create<rftype::Word>("CATCH-ERROR");
    5301   _c_69 = (_c_214) ();
     5645  _c_69 = (_c_229) ();
    53025646  _c_70 = rftype::Char::create_expr (L"catch (RefalException error) {");
    53035647  _c_71 = Expr::create<rftype::Word>("RETFAIL");
    5304   _c_215 = rftype::Char::create_expr (L"return false;");
    5305   _c_106 = rftype::Char::create_expr (L") {") + (_c_215) () + rftype::Char::create_expr (L"}");
     5648  _c_230 = rftype::Char::create_expr (L"return false;");
     5649  _c_106 = rftype::Char::create_expr (L") {") + (_c_230) () + rftype::Char::create_expr (L"}");
    53065650  _c_72 = Expr (_c_106, 3, 1);
    53075651  _c_73 = Expr::create<rftype::Word>("FATAL");
     
    53335677  _c_98 = rftype::Char::create_expr (L" final Expr ");
    53345678  _c_99 = Expr::create<rftype::Word>("OBJ");
    5335   _c_100 = rftype::Char::create_expr (L"\"));");
     5679  _c_100 = Expr (_c_74, 19, 3);
    53365680  _c_101 = Expr (_c_65, 24, 3);
    5337   _c_102 = rftype::Char::create_expr (L" = new Expr (Symbol.new");
     5681  _c_102 = rftype::Char::create_expr (L" = Objects.new");
    53385682  _c_103 = Expr::create<rftype::Word>("DECL-OBJ");
    53395683  _c_104 = Expr::create<rftype::Word>("DECL-FUNC");
    53405684  _c_105 = Expr::create<rftype::Word>("TAILCALL?");
    53415685  _c_107 = rftype::Char::create_expr (L"if (!");
    5342   _c_108 = Expr (_c_214, 16, 12);
     5686  _c_108 = Expr (_c_229, 16, 12);
    53435687  _c_110 = rftype::Char::create_expr (L"Expr.empty");
    53445688  _c_111 = Expr::create<rftype::Word>("PAREN");
    5345   _c_112 = rftype::Char::create_expr (L"new Expr ((Comparable<?>) ");
     5689  _c_112 = rftype::Char::create_expr (L"Expr.create (");
    53465690  _c_113 = Expr (_c_64, 1, 2);
    53475691  _c_114 = rftype::Char::create_expr (L"Expr.concat (");
     
    53505694  _c_117 = rftype::Char::create_expr (L".yield ()");
    53515695  _c_118 = rftype::Char::create_expr (L"Expr.getConcatenator ()");
    5352   _c_119 = Expr (_c_112, 10, 16);
     5696  _c_119 = rftype::Char::create_expr (L"(Comparable<?>) ");
    53535697  _c_120 = Expr::create<rftype::Word>("DEREF");
    53545698  _c_121 = rftype::Char::create_expr (L".at (");
     
    53585702  _c_125 = Expr::create<rftype::Word>("REF");
    53595703  _c_126 = Expr::create<rftype::Word>("ERROR-EXPR");
    5360   _c_127 = Expr (_c_214, 5, 3);
     5704  _c_127 = Expr (_c_229, 5, 3);
    53615705  _c_128 = Expr::create<rftype::Word>("Illegal int-symbol: ");
    53625706  _c_129 = Expr::create<rftype::Word>("LENGTH");
     
    53865730  _c_153 = rftype::Char::create_expr (L".prev ()");
    53875731  _c_154 = Expr (_c_119, 0, 15);
    5388   _c_163 = rftype::Char::create_expr (L"new Func () {");
    5389   _c_155 = Expr (_c_163, 0, 8);
    5390   _c_156 = Expr (_c_102, 13, 10);
    5391   _c_157 = Expr (_c_102, 3, 10);
    5392   _c_158 = Expr (_c_118, 0, 22);
    5393   _c_159 = rftype::Char::create_expr (L"Expr.fromSequence (\"");
    5394   _c_160 = rftype::Char::create_expr (L" (arg, res);");
    5395   _c_161 = Expr (_c_213, 0, 7);
    53965732  _c_164 = rftype::Char::create_expr (L"Symbol.newInt (\"");
     5733  _c_155 = Expr (_c_164, 0, 10);
     5734  _c_156 = Expr (_c_118, 0, 22);
     5735  _c_157 = rftype::Char::create_expr (L"Expr.fromSequence (\"");
     5736  _c_158 = rftype::Char::create_expr (L" (arg, res);");
     5737  _c_159 = Expr (_c_228, 0, 7);
     5738  _c_161 = Expr (_c_15, 0, 2);
     5739  _c_162 = rftype::Char::create_expr (L"\", new Func () {");
     5740  _c_163 = rftype::Char::create_expr (L"Objects.newFunc(\"");
    53975741  _c_165 = rftype::Char::create_expr (L"Symbol.newWord (\"");
    53985742  _c_166 = Expr (_c_24, 0, 1);
     
    54105754  _c_178 = Expr::create<rftype::Word>("SVAR");
    54115755  _c_179 = Expr::create<rftype::Word>("boolean");
    5412   _c_180 = Expr::create<rftype::Word>("char");
    5413   _c_181 = Expr::create<rftype::Word>("byte");
    5414   _c_182 = Expr::create<rftype::Word>("short");
    5415   _c_183 = Expr::create<rftype::Word>("int");
    5416   _c_184 = Expr::create<rftype::Word>("long");
    5417   _c_188 = rftype::Char::create_expr (L".at(0)))");
    5418   _c_185 = Expr (_c_188, 0, 7);
    5419   _c_189 = rftype::Char::create_expr (L") Native.objectValue(");
    5420   _c_186 = Expr (_c_189, 15, 6);
    5421   _c_187 = Expr (_c_189, 2, 7);
    5422   _c_190 = Expr (_c_112, 9, 2);
     5756  _c_180 = Expr::create<rftype::Word>("toBoolean");
     5757  _c_181 = Expr::create<rftype::Word>("char");
     5758  _c_182 = Expr::create<rftype::Word>("toChar");
     5759  _c_183 = Expr::create<rftype::Word>("byte");
     5760  _c_184 = Expr::create<rftype::Word>("toByte");
     5761  _c_185 = Expr::create<rftype::Word>("short");
     5762  _c_186 = Expr::create<rftype::Word>("toShort");
     5763  _c_187 = Expr::create<rftype::Word>("int");
     5764  _c_188 = Expr::create<rftype::Word>("toInt");
     5765  _c_189 = Expr::create<rftype::Word>("long");
     5766  _c_190 = Expr::create<rftype::Word>("toLong");
    54235767  _c_191 = Expr::create<rftype::Word>("EVAR");
    5424   _c_192 = Expr (_c_18, 47, 2);
    5425   _c_197 = rftype::Char::create_expr (L") Native.objectArrayValue(");
    5426   _c_193 = Expr (_c_197, 15, 11);
    5427   _c_194 = rftype::Char::create_expr (L".length()]))");
    5428   _c_195 = Expr (_c_192, 0, 1);
    5429   _c_196 = rftype::Char::create_expr (L", new ");
    5430   _c_198 = rftype::Char::create_expr (L"Native.sValueOf(");
    5431   _c_199 = rftype::Char::create_expr (L"Native.eValueOf(");
    5432   _c_200 = Expr (_c_160, 2, 3);
    5433   _c_201 = Expr (_c_160, 7, 3);
    5434   _c_202 = Expr::create<rftype::Word>("");
    5435   _c_203 = Expr (_c_196, 2, 4);
    5436   _c_204 = rftype::Char::create_expr (L".assign(");
    5437   _c_205 = rftype::Char::create_expr (L"\", e.toString());");
    5438   _c_206 = rftype::Char::create_expr (L"throw new org.refal.plus.RefalException(\"");
    5439   _c_207 = rftype::Char::create_expr (L"} catch (java.lang.Exception e) {");
    5440   _c_208 = Expr (_c_162, 41, 25);
    5441   _c_209 = Expr (_c_13, 6, 6);
    5442   _c_210 = Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Unexpected fail");
    5443   _c_211 = rftype::Char::create_expr (L".toRight (");
     5768  _c_192 = Expr::create<rftype::Word>("boolean[]");
     5769  _c_193 = Expr::create<rftype::Word>("toBooleanArray");
     5770  _c_194 = Expr::create<rftype::Word>("char[]");
     5771  _c_195 = Expr::create<rftype::Word>("toCharArray");
     5772  _c_196 = Expr::create<rftype::Word>("byte[]");
     5773  _c_197 = Expr::create<rftype::Word>("toByteArray");
     5774  _c_198 = Expr::create<rftype::Word>("short[]");
     5775  _c_199 = Expr::create<rftype::Word>("toShortArray");
     5776  _c_200 = Expr::create<rftype::Word>("int[]");
     5777  _c_201 = Expr::create<rftype::Word>("toIntArray");
     5778  _c_202 = Expr::create<rftype::Word>("long[]");
     5779  _c_203 = Expr::create<rftype::Word>("toLongArray");
     5780  _c_206 = rftype::Char::create_expr (L") Native.objectValue(");
     5781  _c_204 = Expr (_c_206, 2, 7);
     5782  _c_205 = Expr (_c_10, 14, 2);
     5783  _c_207 = rftype::Char::create_expr (L"((");
     5784  _c_208 = Expr (_c_18, 47, 2);
     5785  _c_209 = rftype::Char::create_expr (L".length()]))");
     5786  _c_210 = Expr (_c_208, 0, 1);
     5787  _c_211 = Expr (_c_162, 1, 6);
     5788  _c_212 = rftype::Char::create_expr (L") Native.objectArrayValue(");
     5789  _c_213 = rftype::Char::create_expr (L"(Object) ");
     5790  _c_214 = rftype::Char::create_expr (L"Native.toExpr(");
     5791  _c_215 = Expr (_c_158, 2, 3);
     5792  _c_216 = Expr (_c_158, 7, 3);
     5793  _c_217 = Expr::create<rftype::Word>("");
     5794  _c_218 = Expr (_c_211, 2, 4);
     5795  _c_219 = rftype::Char::create_expr (L".assign(");
     5796  _c_220 = rftype::Char::create_expr (L"\", e.toString());");
     5797  _c_221 = rftype::Char::create_expr (L"throw new RefalException(\"");
     5798  _c_222 = rftype::Char::create_expr (L"} catch (java.lang.Exception e) {");
     5799  _c_223 = Expr (_c_160, 41, 25);
     5800  _c_224 = Expr (_c_13, 6, 6);
     5801  _c_225 = Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Unexpected fail");
     5802  _c_226 = rftype::Char::create_expr (L".toRight (");
    54445803}
    54455804
  • to-imperative/trunk/c++/compiler/rfp_asail_jbc.cc

    r3635 r3894  
    142142RF_DECL (Const_Term_To_JBC);
    143143
     144RF_DECL (ConvertRefalToJava);
     145
    144146RF_DECL (ConvertType);
    145147
    146148RF_DECL (ConvertResType);
    147149
     150RF_DECL (ConvertJavaToRefal);
     151
    148152RF_DECL (Const_Expr_To_JBC);
    149153
     154RF_DECL (ClassWriter);
     155
    150156RF_DECL (Convert_Const_Expr);
    151157
     
    158164RF_DECL (D2I);
    159165
     166RF_DECL (DASTORE);
     167
     168RF_DECL (DCMPL);
     169
     170RF_DECL (DCMPG);
     171
     172RF_DECL (DDIV);
     173
     174RF_DECL (DCONST_1);
     175
     176RF_DECL (DCONST_0);
     177
     178RF_DECL (DALOAD);
     179
    160180RF_DECL (ConvertType_0);
    161181
    162 RF_DECL (DASTORE);
    163 
    164 RF_DECL (DCMPL);
    165 
    166 RF_DECL (DCMPG);
    167 
    168 RF_DECL (DDIV);
    169 
    170 RF_DECL (DCONST_1);
    171 
    172 RF_DECL (DCONST_0);
    173 
    174 RF_DECL (DALOAD);
    175 
    176 RF_DECL (ClassWriter);
    177 
    178182RF_DECL (DMUL);
    179183
     
    574578RF_DECL (T_SHORT);
    575579
     580RF_DECL (WrapGen2);
     581
    576582}
    577583
     
    594600namespace rfp_helper {
    595601
     602RF_DECL (PrintFunctionFormat);
     603
    596604RF_DECL (PrintConstDefinition);
    597605
     606RF_DECL (Subst);
     607
     608}
     609
     610}
     611
     612}
     613
     614}
     615
     616}
     617
     618namespace refal {
     619
     620namespace Access {
     621
     622RF_DECL (L);
     623
     624}
     625
     626}
     627
     628namespace org {
     629
     630namespace refal {
     631
     632namespace plus {
     633
     634namespace compiler {
     635
     636namespace rfp_vars {
     637
     638RF_DECL (Vars);
     639
     640}
     641
     642}
     643
     644}
     645
     646}
     647
     648}
     649
     650namespace refal {
     651
     652namespace Access {
     653
     654RF_DECL (Middle);
     655
     656RF_DECL (Length);
     657
     658}
     659
     660}
     661
     662namespace org {
     663
     664namespace refal {
     665
     666namespace plus {
     667
     668namespace compiler {
     669
     670namespace rfp_helper {
     671
    598672RF_DECL (PrintObjectDefinition);
    599673
    600 RF_DECL (PrintFunctionFormat);
    601 
    602674}
    603675
     
    618690namespace compiler {
    619691
    620 namespace rfp_vars {
    621 
    622 RF_DECL (Vars);
     692namespace rfp_asail_jbc {
     693
     694RF_DECL (WrapGen);
    623695
    624696}
     
    634706namespace refal {
    635707
     708namespace Apply {
     709
     710RF_DECL (Apply);
     711
     712}
     713
     714}
     715
     716namespace refal {
     717
     718namespace Box {
     719
     720RF_DECL (Box);
     721
     722}
     723
     724}
     725
     726namespace refal {
     727
     728namespace Arithm {
     729
     730RF_DECL (Add);
     731
     732}
     733
     734}
     735
     736namespace refal {
     737
     738namespace Box {
     739
     740RF_DECL (Put);
     741
     742RF_DECL (Get);
     743
     744}
     745
     746}
     747
     748namespace refal {
     749
     750namespace Class {
     751
     752RF_DECL (IsChar);
     753
     754RF_DECL (IsWord);
     755
     756RF_DECL (IsInt);
     757
     758}
     759
     760}
     761
     762namespace refal {
     763
     764namespace Convert {
     765
     766RF_DECL (ToLower);
     767
     768RF_DECL (ToChars);
     769
     770}
     771
     772}
     773
     774namespace refal {
     775
     776namespace Box {
     777
     778RF_DECL (Store);
     779
     780}
     781
     782}
     783
     784namespace refal {
     785
    636786namespace Access {
    637787
    638 RF_DECL (L);
    639 
    640 RF_DECL (Middle);
    641 
    642 RF_DECL (Length);
     788RF_DECL (R);
    643789
    644790}
     
    654800namespace compiler {
    655801
     802namespace rfp_asail_jbc {
     803
     804RF_DECL (T_FLOAT);
     805
     806}
     807
     808}
     809
     810}
     811
     812}
     813
     814}
     815
     816namespace refal {
     817
     818namespace Java {
     819
     820RF_DECL (Null);
     821
     822}
     823
     824}
     825
     826namespace refal {
     827
     828namespace JavaMangle {
     829
     830RF_DECL (Rfp2Java);
     831
     832}
     833
     834}
     835
     836namespace refal {
     837
     838namespace List {
     839
     840RF_DECL (Paren);
     841
     842RF_DECL (Map);
     843
     844RF_DECL (Intersperse);
     845
     846}
     847
     848}
     849
     850namespace refal {
     851
     852namespace Table {
     853
     854RF_DECL (Bind);
     855
     856RF_DECL (IsInTable);
     857
     858RF_DECL (Entries);
     859
     860}
     861
     862}
     863
     864namespace refal {
     865
     866namespace List {
     867
     868RF_DECL (Replicate);
     869
     870}
     871
     872}
     873
     874namespace refal {
     875
     876namespace Table {
     877
     878RF_DECL (TableCopy);
     879
     880RF_DECL (Table);
     881
     882RF_DECL (Lookup);
     883
     884}
     885
     886}
     887
     888namespace org {
     889
     890namespace refal {
     891
     892namespace plus {
     893
     894namespace compiler {
     895
     896namespace rfpc {
     897
     898extern Expr RFP_Trace;
     899
     900}
     901
     902}
     903
     904}
     905
     906}
     907
     908}
     909
     910namespace org {
     911
     912namespace refal {
     913
     914namespace plus {
     915
     916namespace compiler {
     917
    656918namespace rfp_helper {
    657919
    658 RF_DECL (Subst);
     920extern Expr RFP_Options;
    659921
    660922}
     
    668930}
    669931
     932namespace refal {
     933
     934namespace Convert {
     935
     936RF_DECL (ToWord);
     937
     938}
     939
     940}
     941
    670942namespace org {
    671943
     
    678950namespace rfp_asail_jbc {
    679951
    680 RF_DECL (WrapGen);
     952RF_DECL (Module_Item_To_JBC_0);
     953
     954RF_DECL (IIMVvisitTypeInsn);
    681955
    682956}
     
    690964}
    691965
     966namespace org {
     967
    692968namespace refal {
    693969
    694 namespace Apply {
    695 
    696 RF_DECL (Apply);
    697 
    698 }
    699 
    700 }
    701 
    702 namespace refal {
    703 
    704 namespace Box {
    705 
    706 RF_DECL (Box);
    707 
    708 }
    709 
    710 }
    711 
    712 namespace refal {
    713 
    714 namespace Arithm {
    715 
    716 RF_DECL (Add);
    717 
    718 }
    719 
    720 }
    721 
    722 namespace refal {
    723 
    724 namespace Box {
    725 
    726 RF_DECL (Put);
    727 
    728 RF_DECL (Get);
    729 
    730 }
    731 
    732 }
    733 
    734 namespace refal {
    735 
    736 namespace Class {
    737 
    738 RF_DECL (IsChar);
    739 
    740 RF_DECL (IsWord);
    741 
    742 RF_DECL (IsInt);
    743 
    744 }
    745 
    746 }
    747 
    748 namespace refal {
    749 
    750 namespace Convert {
    751 
    752 RF_DECL (ToLower);
    753 
    754 RF_DECL (ToChars);
    755 
    756 }
    757 
    758 }
    759 
    760 namespace refal {
    761 
    762 namespace Box {
    763 
    764 RF_DECL (Store);
    765 
    766 }
    767 
    768 }
    769 
    770 namespace refal {
    771 
    772 namespace Access {
    773 
    774 RF_DECL (R);
    775 
    776 }
    777 
    778 }
    779 
    780 namespace org {
    781 
    782 namespace refal {
    783 
    784970namespace plus {
    785971
     
    788974namespace rfp_asail_jbc {
    789975
    790 RF_DECL (T_FLOAT);
    791 
    792 }
    793 
    794 }
    795 
    796 }
    797 
    798 }
    799 
    800 }
    801 
    802 namespace refal {
    803 
    804 namespace Java {
    805 
    806 RF_DECL (Null);
    807 
    808 }
    809 
    810 }
    811 
    812 namespace refal {
    813 
    814 namespace JavaMangle {
    815 
    816 RF_DECL (Rfp2Java);
    817 
    818 }
    819 
    820 }
    821 
    822 namespace refal {
    823 
    824 namespace List {
    825 
    826 RF_DECL (Paren);
    827 
    828 RF_DECL (Map);
    829 
    830 RF_DECL (Intersperse);
    831 
    832 }
    833 
    834 }
    835 
    836 namespace refal {
    837 
    838 namespace Table {
    839 
    840 RF_DECL (Bind);
    841 
    842 RF_DECL (IsInTable);
    843 
    844 RF_DECL (Entries);
    845 
    846 }
    847 
    848 }
    849 
    850 namespace refal {
    851 
    852 namespace List {
    853 
    854 RF_DECL (Replicate);
    855 
    856 }
    857 
    858 }
    859 
    860 namespace refal {
    861 
    862 namespace Table {
    863 
    864 RF_DECL (TableCopy);
    865 
    866 RF_DECL (Table);
    867 
    868 RF_DECL (Lookup);
    869 
    870 }
    871 
    872 }
    873 
    874 namespace org {
    875 
    876 namespace refal {
    877 
    878 namespace plus {
    879 
    880 namespace compiler {
    881 
    882 namespace rfpc {
    883 
    884 extern Expr RFP_Trace;
    885 
    886 }
    887 
    888 }
    889 
    890 }
    891 
    892 }
    893 
    894 }
    895 
    896 namespace org {
    897 
    898 namespace refal {
    899 
    900 namespace plus {
    901 
    902 namespace compiler {
    903 
    904 namespace rfp_helper {
    905 
    906 extern Expr RFP_Options;
    907 
    908 }
    909 
    910 }
    911 
    912 }
    913 
    914 }
    915 
    916 }
    917 
    918 namespace refal {
    919 
    920 namespace Convert {
    921 
    922 RF_DECL (ToWord);
    923 
    924 }
    925 
    926 }
    927 
    928 namespace org {
    929 
    930 namespace refal {
    931 
    932 namespace plus {
    933 
    934 namespace compiler {
    935 
    936 namespace rfp_asail_jbc {
    937 
    938 RF_DECL (Module_Item_To_JBC_0);
    939 
    940 RF_DECL (IIMVvisitTypeInsn);
    941 
    942 }
    943 
    944 }
    945 
    946 }
    947 
    948 }
    949 
    950 }
    951 
    952 namespace org {
    953 
    954 namespace refal {
    955 
    956 namespace plus {
    957 
    958 namespace compiler {
    959 
    960 namespace rfp_asail_jbc {
    961 
    962976static Expr Module_Name;
    963977
     
    982996static Expr CWbox;
    983997
     998static Expr Options;
     999
    9841000static Expr Block_Tables;
    9851001
     
    9941010static Expr _c_3;
    9951011
     1012static Expr _c_8;
     1013
     1014static Expr _c_4;
     1015
     1016static Expr _c_5;
     1017
     1018static Expr _c_6;
     1019
    9961020static Expr _c_7;
    9971021
    998 static Expr _c_4;
    999 
    1000 static Expr _c_5;
    1001 
    1002 static Expr _c_6;
    1003 
    1004 static Expr _c_8;
    1005 
    10061022static Expr _c_9;
    10071023
     
    11721188static Expr _c_92;
    11731189
     1190static Expr _c_93;
     1191
     1192static Expr _c_94;
     1193
     1194static Expr _c_95;
     1195
     1196static Expr _c_96;
     1197
     1198static Expr _c_97;
     1199
     1200static Expr _c_98;
     1201
     1202static Expr _c_99;
     1203
     1204static Expr _c_100;
     1205
     1206static Expr _c_235;
     1207
     1208static Expr _c_101;
     1209
     1210static Expr _c_102;
     1211
     1212static Expr _c_103;
     1213
     1214static Expr _c_104;
     1215
     1216static Expr _c_105;
     1217
     1218static Expr _c_106;
     1219
     1220static Expr _c_107;
     1221
     1222static Expr _c_108;
     1223
     1224static Expr _c_109;
     1225
     1226static Expr _c_110;
     1227
     1228static Expr _c_111;
     1229
     1230static Expr _c_112;
     1231
     1232static Expr _c_113;
     1233
     1234static Expr _c_114;
     1235
     1236static Expr _c_115;
     1237
     1238static Expr _c_116;
     1239
     1240static Expr _c_117;
     1241
     1242static Expr _c_118;
     1243
     1244static Expr _c_119;
     1245
     1246static Expr _c_120;
     1247
     1248static Expr _c_121;
     1249
     1250static Expr _c_122;
     1251
     1252static Expr _c_123;
     1253
     1254static Expr _c_124;
     1255
     1256static Expr _c_125;
     1257
     1258static Expr _c_126;
     1259
     1260static Expr _c_127;
     1261
     1262static Expr _c_128;
     1263
     1264static Expr _c_129;
     1265
     1266static Expr _c_130;
     1267
     1268static Expr _c_131;
     1269
     1270static Expr _c_132;
     1271
     1272static Expr _c_133;
     1273
     1274static Expr _c_134;
     1275
     1276static Expr _c_135;
     1277
     1278static Expr _c_136;
     1279
     1280static Expr _c_137;
     1281
     1282static Expr _c_138;
     1283
     1284static Expr _c_139;
     1285
     1286static Expr _c_140;
     1287
     1288static Expr _c_141;
     1289
     1290static Expr _c_142;
     1291
     1292static Expr _c_143;
     1293
     1294static Expr _c_144;
     1295
     1296static Expr _c_145;
     1297
     1298static Expr _c_146;
     1299
     1300static Expr _c_147;
     1301
     1302static Expr _c_148;
     1303
     1304static Expr _c_149;
     1305
     1306static Expr _c_150;
     1307
     1308static Expr _c_151;
     1309
     1310static Expr _c_152;
     1311
     1312static Expr _c_153;
     1313
     1314static Expr _c_154;
     1315
     1316static Expr _c_155;
     1317
     1318static Expr _c_156;
     1319
     1320static Expr _c_157;
     1321
     1322static Expr _c_158;
     1323
     1324static Expr _c_159;
     1325
     1326static Expr _c_160;
     1327
     1328static Expr _c_161;
     1329
     1330static Expr _c_162;
     1331
     1332static Expr _c_163;
     1333
     1334static Expr _c_164;
     1335
     1336static Expr _c_165;
     1337
     1338static Expr _c_166;
     1339
     1340static Expr _c_167;
     1341
     1342static Expr _c_168;
     1343
     1344static Expr _c_169;
     1345
     1346static Expr _c_170;
     1347
     1348static Expr _c_171;
     1349
     1350static Expr _c_172;
     1351
     1352static Expr _c_173;
     1353
     1354static Expr _c_174;
     1355
     1356static Expr _c_175;
     1357
     1358static Expr _c_176;
     1359
     1360static Expr _c_177;
     1361
     1362static Expr _c_178;
     1363
     1364static Expr _c_179;
     1365
     1366static Expr _c_180;
     1367
     1368static Expr _c_181;
     1369
     1370static Expr _c_182;
     1371
     1372static Expr _c_183;
     1373
     1374static Expr _c_184;
     1375
     1376static Expr _c_185;
     1377
     1378static Expr _c_186;
     1379
     1380static Expr _c_187;
     1381
     1382static Expr _c_188;
     1383
     1384static Expr _c_189;
     1385
     1386static Expr _c_190;
     1387
     1388static Expr _c_191;
     1389
     1390static Expr _c_192;
     1391
     1392static Expr _c_193;
     1393
     1394static Expr _c_194;
     1395
     1396static Expr _c_195;
     1397
     1398static Expr _c_196;
     1399
     1400static Expr _c_197;
     1401
     1402static Expr _c_198;
     1403
     1404static Expr _c_199;
     1405
     1406static Expr _c_200;
     1407
     1408static Expr _c_201;
     1409
     1410static Expr _c_202;
     1411
     1412static Expr _c_203;
     1413
     1414static Expr _c_204;
     1415
     1416static Expr _c_211;
     1417
     1418static Expr _c_205;
     1419
     1420static Expr _c_206;
     1421
     1422static Expr _c_207;
     1423
     1424static Expr _c_208;
     1425
     1426static Expr _c_209;
     1427
     1428static Expr _c_210;
     1429
     1430static Expr _c_212;
     1431
     1432static Expr _c_213;
     1433
     1434static Expr _c_214;
     1435
     1436static Expr _c_215;
     1437
     1438static Expr _c_216;
     1439
     1440static Expr _c_217;
     1441
     1442static Expr _c_218;
     1443
     1444static Expr _c_219;
     1445
     1446static Expr _c_220;
     1447
     1448static Expr _c_221;
     1449
    11741450static Expr _c_222;
    11751451
    1176 static Expr _c_93;
    1177 
    1178 static Expr _c_94;
    1179 
    1180 static Expr _c_95;
    1181 
    1182 static Expr _c_96;
    1183 
    1184 static Expr _c_97;
    1185 
    1186 static Expr _c_98;
    1187 
    1188 static Expr _c_99;
    1189 
    1190 static Expr _c_100;
    1191 
    1192 static Expr _c_101;
    1193 
    1194 static Expr _c_102;
    1195 
    1196 static Expr _c_103;
    1197 
    1198 static Expr _c_104;
    1199 
    1200 static Expr _c_105;
    1201 
    1202 static Expr _c_106;
    1203 
    1204 static Expr _c_107;
    1205 
    1206 static Expr _c_108;
    1207 
    1208 static Expr _c_109;
    1209 
    1210 static Expr _c_110;
    1211 
    1212 static Expr _c_111;
    1213 
    1214 static Expr _c_112;
    1215 
    1216 static Expr _c_113;
    1217 
    1218 static Expr _c_114;
    1219 
    1220 static Expr _c_115;
    1221 
    1222 static Expr _c_116;
    1223 
    1224 static Expr _c_117;
    1225 
    1226 static Expr _c_118;
    1227 
    1228 static Expr _c_119;
    1229 
    1230 static Expr _c_120;
    1231 
    1232 static Expr _c_121;
    1233 
    1234 static Expr _c_122;
    1235 
    1236 static Expr _c_123;
    1237 
    1238 static Expr _c_124;
    1239 
    1240 static Expr _c_125;
    1241 
    1242 static Expr _c_126;
    1243 
    1244 static Expr _c_127;
    1245 
    1246 static Expr _c_128;
    1247 
    1248 static Expr _c_129;
    1249 
    1250 static Expr _c_130;
    1251 
    1252 static Expr _c_131;
    1253 
    1254 static Expr _c_132;
    1255 
    1256 static Expr _c_133;
    1257 
    1258 static Expr _c_134;
    1259 
    1260 static Expr _c_135;
    1261 
    1262 static Expr _c_136;
    1263 
    1264 static Expr _c_137;
    1265 
    1266 static Expr _c_138;
    1267 
    1268 static Expr _c_139;
    1269 
    1270 static Expr _c_140;
    1271 
    1272 static Expr _c_141;
    1273 
    1274 static Expr _c_142;
    1275 
    1276 static Expr _c_143;
    1277 
    1278 static Expr _c_144;
    1279 
    1280 static Expr _c_145;
    1281 
    1282 static Expr _c_146;
    1283 
    1284 static Expr _c_147;
    1285 
    1286 static Expr _c_148;
    1287 
    1288 static Expr _c_149;
    1289 
    1290 static Expr _c_150;
    1291 
    1292 static Expr _c_151;
    1293 
    1294 static Expr _c_152;
    1295 
    1296 static Expr _c_153;
    1297 
    1298 static Expr _c_154;
    1299 
    1300 static Expr _c_155;
    1301 
    1302 static Expr _c_156;
    1303 
    1304 static Expr _c_157;
    1305 
    1306 static Expr _c_158;
    1307 
    1308 static Expr _c_159;
    1309 
    1310 static Expr _c_160;
    1311 
    1312 static Expr _c_161;
    1313 
    1314 static Expr _c_162;
    1315 
    1316 static Expr _c_163;
    1317 
    1318 static Expr _c_164;
    1319 
    1320 static Expr _c_165;
    1321 
    1322 static Expr _c_166;
    1323 
    1324 static Expr _c_167;
    1325 
    1326 static Expr _c_168;
    1327 
    1328 static Expr _c_169;
    1329 
    1330 static Expr _c_170;
    1331 
    1332 static Expr _c_171;
    1333 
    1334 static Expr _c_172;
    1335 
    1336 static Expr _c_173;
    1337 
    1338 static Expr _c_174;
    1339 
    1340 static Expr _c_175;
    1341 
    1342 static Expr _c_176;
    1343 
    1344 static Expr _c_177;
    1345 
    1346 static Expr _c_178;
    1347 
    1348 static Expr _c_179;
    1349 
    1350 static Expr _c_180;
    1351 
    1352 static Expr _c_181;
    1353 
    1354 static Expr _c_182;
    1355 
    1356 static Expr _c_183;
    1357 
    1358 static Expr _c_198;
    1359 
    1360 static Expr _c_184;
    1361 
    1362 static Expr _c_185;
    1363 
    1364 static Expr _c_186;
    1365 
    1366 static Expr _c_187;
    1367 
    1368 static Expr _c_188;
    1369 
    1370 static Expr _c_189;
    1371 
    1372 static Expr _c_190;
    1373 
    1374 static Expr _c_191;
    1375 
    1376 static Expr _c_192;
    1377 
    1378 static Expr _c_193;
    1379 
    1380 static Expr _c_194;
    1381 
    1382 static Expr _c_195;
    1383 
    1384 static Expr _c_196;
    1385 
    1386 static Expr _c_197;
    1387 
    1388 static Expr _c_199;
    1389 
    1390 static Expr _c_200;
    1391 
    1392 static Expr _c_201;
    1393 
    1394 static Expr _c_202;
    1395 
    1396 static Expr _c_203;
    1397 
    1398 static Expr _c_204;
    1399 
    1400 static Expr _c_205;
    1401 
    1402 static Expr _c_206;
    1403 
    1404 static Expr _c_207;
    1405 
    1406 static Expr _c_208;
    1407 
    1408 static Expr _c_209;
    1409 
    1410 static Expr _c_210;
    1411 
    1412 static Expr _c_211;
    1413 
    1414 static Expr _c_212;
    1415 
    1416 static Expr _c_213;
    1417 
    1418 static Expr _c_214;
    1419 
    1420 static Expr _c_215;
    1421 
    1422 static Expr _c_216;
    1423 
    1424 static Expr _c_217;
    1425 
    1426 static Expr _c_218;
    1427 
    1428 static Expr _c_219;
    1429 
    1430 static Expr _c_220;
    1431 
    1432 static Expr _c_221;
     1452static Expr _c_223;
     1453
     1454static Expr _c_224;
     1455
     1456static Expr _c_225;
     1457
     1458static Expr _c_226;
     1459
     1460static Expr _c_227;
     1461
     1462static Expr _c_228;
     1463
     1464static Expr _c_229;
     1465
     1466static Expr _c_230;
     1467
     1468static Expr _c_231;
     1469
     1470static Expr _c_232;
     1471
     1472static Expr _c_233;
     1473
     1474static Expr _c_234;
    14331475
    14341476RF_FUNC (Integer, (RF_ARG _gs_arg1;;), (RF_RES _gs_res1;;))
     
    23812423RF_END
    23822424
    2383 RF_FUNC (RFP_ASAIL_To_JBC, (RF_ARG _gt_arg1;;), (RF_RES _v_res1;;))
    2384   if (_gt_arg1.symbol_at (0))
     2425RF_FUNC (RFP_ASAIL_To_JBC, (RF_ARG _gs_arg1, _gs_arg2, _gs_arg3, _gt_arg4;;), (RF_RES _v_res1;;))
     2426  Expr _v_compose1 ((_gs_arg1 + _gs_arg2 + _gs_arg3 + _gt_arg4));
     2427  if (_v_compose1.symbol_at ((0 + 1 + 1 + 1)))
    23852428  {
    23862429    RF_FUNC_ERROR (unexpected_fail);
    23872430  }
    2388   Expr _v_deref__arg1 (Expr (_gt_arg1, 0));
    2389   int _v_len1 = _v_deref__arg1.get_len ();
     2431  Expr _v_deref__compose1 (Expr (_v_compose1, (0 + 1 + 1 + 1)));
     2432  int _v_len1 = _v_deref__compose1.get_len ();
    23902433  int _v_len2 = 2;
    23912434  if (_v_len1 < _v_len2)
     
    23942437  }
    23952438  int _v_len__module = (_v_len1 - _v_len2);
    2396   if (_v_deref__arg1.symbol_at ((0 + 1)))
     2439  if (_v_deref__compose1.symbol_at ((0 + 1)))
    23972440  {
    23982441    RF_FUNC_ERROR (unexpected_fail);
    23992442  }
    2400   Expr _v_deref__deref__arg1 (Expr (_v_deref__arg1, (0 + 1)));
    2401   int _v_len3 = _v_deref__deref__arg1.get_len ();
     2443  Expr _v_deref__deref__compose1 (Expr (_v_deref__compose1, (0 + 1)));
     2444  int _v_len3 = _v_deref__deref__compose1.get_len ();
    24022445  int _v_len4 = 0;
    24032446  if (_v_len3 < _v_len4)
     
    24062449  }
    24072450  int _v_len__moduleName = (_v_len3 - _v_len4);
    2408   if (!_c_1.term_eq (_v_deref__arg1, 0))
     2451  if (!_v_compose1.symbol_at (0))
    24092452  {
    24102453    RF_FUNC_ERROR (unexpected_fail);
    24112454  }
     2455  if (!_v_compose1.symbol_at ((0 + 1)))
     2456  {
     2457    RF_FUNC_ERROR (unexpected_fail);
     2458  }
     2459  if (!_v_compose1.symbol_at ((0 + 1 + 1)))
     2460  {
     2461    RF_FUNC_ERROR (unexpected_fail);
     2462  }
     2463  if (!_c_1.term_eq (_v_deref__compose1, 0))
     2464  {
     2465    RF_FUNC_ERROR (unexpected_fail);
     2466  }
     2467  Expr _vs_varNames;
     2468  _vs_varNames = Expr (_v_compose1, 0, 1);
     2469  Expr _vs_lineNumber;
     2470  _vs_lineNumber = Expr (_v_compose1, (0 + 1), 1);
     2471  Expr _vs_source;
     2472  _vs_source = Expr (_v_compose1, (0 + 1 + 1), 1);
    24122473  Expr _ve_module;
    2413   _ve_module = Expr (_v_deref__arg1, (0 + 1 + 1), _v_len__module);
     2474  _ve_module = Expr (_v_deref__compose1, (0 + 1 + 1), _v_len__module);
    24142475  Expr _ve_moduleName;
    2415   _ve_moduleName = Expr (_v_deref__deref__arg1, 0, _v_len__moduleName);
     2476  _ve_moduleName = Expr (_v_deref__deref__compose1, 0, _v_len__moduleName);
     2477  RF_CALL (::refal::Box::Store, (Options, (_vs_varNames + _vs_lineNumber + _vs_source)), /*void*/);
    24162478  RF_CALL (::refal::Box::Store, (Objects, empty), /*void*/);
    24172479  RF_CALL (::refal::Box::Store, (Constants, empty), /*void*/);
     
    24612523  RF_CALL (::refal::Java::Null, /*void*/, _gs_auxcall11);
    24622524  RF_CALL (CWvisit, (_gs_auxcall6, _gs_auxcall7, _gs_auxcall10, _vs_class__name, _gs_auxcall11, _c_5, empty), /*void*/);
    2463   Expr _gs_auxcall12;
    2464   RF_CALL (CW, /*void*/, _gs_auxcall12);
    2465   Expr _gt_auxcall13;
    2466   if (!RF_CALL (::refal::Access::R, (_c_6, _ve_moduleName), _gt_auxcall13))
    2467   {
    2468     RF_FUNC_ERROR (unexpected_fail);
    2469   }
    2470   Expr _gs_auxcall14;
    2471   RF_CALL (::refal::Convert::ToWord, (_gt_auxcall13 + _c_7), _gs_auxcall14);
    2472   Expr _gs_auxcall15;
    2473   RF_CALL (::refal::Java::Null, /*void*/, _gs_auxcall15);
    2474   RF_CALL (CWvisitSource, (_gs_auxcall12, _gs_auxcall14, _gs_auxcall15), /*void*/);
     2525  {
     2526    {
     2527      Expr _v_Get1;
     2528      RF_CALL (::refal::Box::Get, Options, _v_Get1);
     2529      if (_v_Get1.get_len () != 3)
     2530      {
     2531        goto _block2__branch1;
     2532      }
     2533      if (!_v_Get1.symbol_at (0))
     2534      {
     2535        goto _block2__branch1;
     2536      }
     2537      if (!_v_Get1.symbol_at ((0 + 1)))
     2538      {
     2539        goto _block2__branch1;
     2540      }
     2541      if (!_c_6.term_eq (_v_Get1, (0 + 1 + 1)))
     2542      {
     2543        goto _block2__branch1;
     2544      }
     2545      Expr _vs__dollar_tmp_m_770_m_23;
     2546      _vs__dollar_tmp_m_770_m_23 = Expr (_v_Get1, 0, 1);
     2547      Expr _vs__dollar_tmp_m_770_m_25;
     2548      _vs__dollar_tmp_m_770_m_25 = Expr (_v_Get1, (0 + 1), 1);
     2549      Expr _gs_auxcall12;
     2550      RF_CALL (CW, /*void*/, _gs_auxcall12);
     2551      Expr _gt_auxcall13;
     2552      if (!RF_CALL (::refal::Access::R, (_c_7, _ve_moduleName), _gt_auxcall13))
     2553      {
     2554        goto _block2__branch1;
     2555      }
     2556      Expr _gs_auxcall14;
     2557      RF_CALL (::refal::Convert::ToWord, (_gt_auxcall13 + _c_8), _gs_auxcall14);
     2558      Expr _gs_auxcall15;
     2559      RF_CALL (::refal::Java::Null, /*void*/, _gs_auxcall15);