Changeset 2402


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

Legend:

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

    r2364 r2402  
    141141        goto _block1__branch1;
    142142      }
    143       if (0 != 0)
    144       {
    145         goto _block1__branch1;
    146       }
    147143      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    148144      Expr _vt_item (_ve_Items, 0, 1);
     
    159155                goto _block3__branch1;
    160156              }
    161               if (0 != 0)
    162               {
    163                 goto _block3__branch1;
    164               }
    165157              uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_50_m_20 = (_v_len3 - _v_len4);
    166158              Expr _vv__e__e_tmp_m_rfp__as2asrf_m_50_m_20 (_ve_targets, 0, _v_len___e__e_tmp_m_rfp__as2asrf_m_50_m_20);
    167               if (1 != 1)
    168               {
    169                 goto _block2__branch1;
    170               }
    171159              if (_ve_targets.get_len () < 1)
    172160              {
     
    181169              uintptr_t _v_len6 = 4;
    182170              if (_v_len5 < _v_len6)
    183               {
    184                 goto _block2__branch1;
    185               }
    186               if (0 != 0)
    187171              {
    188172                goto _block2__branch1;
     
    208192                    goto _block2__branch1;
    209193                  }
    210                   if (0 != 0)
    211                   {
    212                     goto _continue1;
    213                   }
    214194                  uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_51_m_31 = (_v_len7 - _v_len8);
    215195                  if (!_vt_name.term_eq (_v_lsplit__targets, 0))
     
    228208          }
    229209        _block3: {}
    230           if (1 != 1)
    231           {
    232             goto _block2__branch1;
    233           }
    234210          if (_vt_item.symbol_at (0))
    235211          {
     
    262238            goto _block2__branch1;
    263239          }
    264           if (0 != 0)
    265           {
    266             goto _block2__branch1;
    267           }
    268240          uintptr_t _v_len__in = (_v_len9 - _v_len10);
    269241          uintptr_t _v_len11 = _v_deref__deref__item23.get_len ();
     
    273245            goto _block2__branch1;
    274246          }
    275           if (0 != 0)
    276           {
    277             goto _block2__branch1;
    278           }
    279247          uintptr_t _v_len__branch = (_v_len11 - _v_len12);
    280248          uintptr_t _v_len13 = _v_deref__deref__item22.get_len ();
    281249          uintptr_t _v_len14 = 0;
    282250          if (_v_len13 < _v_len14)
    283           {
    284             goto _block2__branch1;
    285           }
    286           if (0 != 0)
    287251          {
    288252            goto _block2__branch1;
     
    395359            goto _block1__branch1;
    396360          }
    397           if (0 != 0)
    398           {
    399             goto _block1__branch1;
    400           }
    401361          uintptr_t _v_len__R = (_v_len1 - _v_len2);
    402362          if (_ve_Snt.symbol_at (0))
     
    411371            goto _block1__branch1;
    412372          }
    413           if (0 != 0)
    414           {
    415             goto _block1__branch1;
    416           }
    417373          uintptr_t _v_len__branches = (_v_len3 - _v_len4);
    418374          if (!_v_deref__Snt.symbol_at (0))
     
    426382          {
    427383            {
    428               if (1 != 1)
    429               {
    430                 goto _block2__branch1;
    431               }
    432384              if (!_vs_block.term_eq (_c_6, 0))
    433385              {
     
    437389            }
    438390          _block2__branch1: {}
    439             if (1 != 1)
    440             {
    441               goto _block1__branch1;
    442             }
    443391            if (!_vs_block.term_eq (_c_7, 0))
    444392            {
     
    466414                        goto _block4__branch1;
    467415                      }
    468                       if (0 != 0)
    469                       {
    470                         goto _block4__branch1;
    471                       }
    472416                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_94_m_45 = (_v_len5 - _v_len6);
    473417                      if (_ve_R.symbol_at (0))
     
    482426                        goto _block4__branch1;
    483427                      }
    484                       if (0 != 0)
    485                       {
    486                         goto _block4__branch1;
    487                       }
    488428                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_94_m_42 = (_v_len7 - _v_len8);
    489429                      if (_v_deref__R.symbol_at ((0 + 1 + 1)))
     
    498438                        goto _block4__branch1;
    499439                      }
    500                       if (0 != 0)
    501                       {
    502                         goto _block4__branch1;
    503                       }
    504440                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_94_m_39 = (_v_len9 - _v_len10);
    505441                      if (_v_deref__deref__R.symbol_at ((0 + 1 + 1)))
     
    511447                      uintptr_t _v_len12 = 1;
    512448                      if (_v_len11 < _v_len12)
    513                       {
    514                         goto _block4__branch1;
    515                       }
    516                       if (0 != 0)
    517449                      {
    518450                        goto _block4__branch1;
     
    547479                        goto _block4__branch2;
    548480                      }
    549                       if (0 != 0)
    550                       {
    551                         goto _block4__branch2;
    552                       }
    553481                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_95_m_46 = (_v_len13 - _v_len14);
    554482                      if (_ve_R.symbol_at (0))
     
    563491                        goto _block4__branch2;
    564492                      }
    565                       if (0 != 0)
    566                       {
    567                         goto _block4__branch2;
    568                       }
    569493                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_95_m_43 = (_v_len15 - _v_len16);
    570494                      if (_v_deref__R2.symbol_at ((0 + 1 + 1)))
     
    579503                        goto _block4__branch2;
    580504                      }
    581                       if (0 != 0)
    582                       {
    583                         goto _block4__branch2;
    584                       }
    585505                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_95_m_40 = (_v_len17 - _v_len18);
    586506                      if (_v_deref__deref__R2.symbol_at ((0 + 1 + 1)))
     
    592512                      uintptr_t _v_len20 = 1;
    593513                      if (_v_len19 < _v_len20)
    594                       {
    595                         goto _block4__branch2;
    596                       }
    597                       if (0 != 0)
    598514                      {
    599515                        goto _block4__branch2;
     
    628544                        goto _block4__branch3;
    629545                      }
    630                       if (0 != 0)
    631                       {
    632                         goto _block4__branch3;
    633                       }
    634546                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_96_m_45 = (_v_len21 - _v_len22);
    635547                      if (_ve_R.symbol_at (0))
     
    644556                        goto _block4__branch3;
    645557                      }
    646                       if (0 != 0)
    647                       {
    648                         goto _block4__branch3;
    649                       }
    650558                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_96_m_42 = (_v_len23 - _v_len24);
    651559                      if (_v_deref__R3.symbol_at ((0 + 1 + 1)))
     
    660568                        goto _block4__branch3;
    661569                      }
    662                       if (0 != 0)
    663                       {
    664                         goto _block4__branch3;
    665                       }
    666570                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_96_m_39 = (_v_len25 - _v_len26);
    667571                      if (_v_deref__deref__R3.symbol_at ((0 + 1 + 1)))
     
    673577                      uintptr_t _v_len28 = 1;
    674578                      if (_v_len27 < _v_len28)
    675                       {
    676                         goto _block4__branch3;
    677                       }
    678                       if (0 != 0)
    679579                      {
    680580                        goto _block4__branch3;
     
    709609                        goto _block4__branch4;
    710610                      }
    711                       if (0 != 0)
    712                       {
    713                         goto _block4__branch4;
    714                       }
    715611                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_97_m_46 = (_v_len29 - _v_len30);
    716612                      if (_ve_R.symbol_at (0))
     
    725621                        goto _block4__branch4;
    726622                      }
    727                       if (0 != 0)
    728                       {
    729                         goto _block4__branch4;
    730                       }
    731623                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_97_m_43 = (_v_len31 - _v_len32);
    732624                      if (_v_deref__R4.symbol_at ((0 + 1 + 1)))
     
    741633                        goto _block4__branch4;
    742634                      }
    743                       if (0 != 0)
    744                       {
    745                         goto _block4__branch4;
    746                       }
    747635                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_97_m_40 = (_v_len33 - _v_len34);
    748636                      if (_v_deref__deref__R4.symbol_at ((0 + 1 + 1)))
     
    754642                      uintptr_t _v_len36 = 1;
    755643                      if (_v_len35 < _v_len36)
    756                       {
    757                         goto _block4__branch4;
    758                       }
    759                       if (0 != 0)
    760644                      {
    761645                        goto _block4__branch4;
     
    790674                        goto _block4__branch5;
    791675                      }
    792                       if (0 != 0)
    793                       {
    794                         goto _block4__branch5;
    795                       }
    796676                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_98_m_19 = (_v_len37 - _v_len38);
    797677                      if (_ve_R.symbol_at (0))
     
    803683                      uintptr_t _v_len40 = 1;
    804684                      if (_v_len39 < _v_len40)
    805                       {
    806                         goto _block4__branch5;
    807                       }
    808                       if (0 != 0)
    809685                      {
    810686                        goto _block4__branch5;
     
    823699                    uintptr_t _v_len42 = 1;
    824700                    if (_v_len41 < _v_len42)
    825                     {
    826                       goto _block3__branch1;
    827                     }
    828                     if (0 != 0)
    829701                    {
    830702                      goto _block3__branch1;
     
    839711                    uintptr_t _v_len44 = 1;
    840712                    if (_v_len43 < _v_len44)
    841                     {
    842                       goto _block3__branch1;
    843                     }
    844                     if (0 != 0)
    845713                    {
    846714                      goto _block3__branch1;
     
    903771              RF_FUNC_ERROR (unexpected_fail);
    904772            }
    905             if (0 != 0)
    906             {
    907               RF_FUNC_ERROR (unexpected_fail);
    908             }
    909773            uintptr_t _v_len__rest = (_v_len45 - _v_len46);
    910774            if (_ve_branches.symbol_at (0))
     
    916780            uintptr_t _v_len48 = 2;
    917781            if (_v_len47 < _v_len48)
    918             {
    919               RF_FUNC_ERROR (unexpected_fail);
    920             }
    921             if (0 != 0)
    922782            {
    923783              RF_FUNC_ERROR (unexpected_fail);
     
    949809            goto _block1__branch2;
    950810          }
    951           if (0 != 0)
    952           {
    953             goto _block1__branch2;
    954           }
    955811          uintptr_t _v_len__R2 = (_v_len49 - _v_len50);
    956812          if (_ve_Snt.symbol_at (0))
     
    974830            goto _block1__branch2;
    975831          }
    976           if (0 != 0)
    977           {
    978             goto _block1__branch2;
    979           }
    980832          uintptr_t _v_len__branches2 = (_v_len51 - _v_len52);
    981833          if (!_c_3.term_eq (_v_deref__Snt2, 0))
     
    993845          {
    994846            {
    995               if (1 != 1)
    996               {
    997                 goto _block6__branch1;
    998               }
    999847              if (!_vs_block.term_eq (_c_6, 0))
    1000848              {
     
    1004852            }
    1005853          _block6__branch1: {}
    1006             if (1 != 1)
    1007             {
    1008               goto _block1__branch2;
    1009             }
    1010854            if (!_vs_block.term_eq (_c_7, 0))
    1011855            {
     
    1027871            goto _block1__branch3;
    1028872          }
    1029           if (0 != 0)
    1030           {
    1031             goto _block1__branch3;
    1032           }
    1033873          uintptr_t _v_len__R3 = (_v_len53 - _v_len54);
    1034874          if (_ve_Snt.symbol_at (0))
     
    1040880          uintptr_t _v_len56 = 2;
    1041881          if (_v_len55 < _v_len56)
    1042           {
    1043             goto _block1__branch3;
    1044           }
    1045           if (0 != 0)
    1046882          {
    1047883            goto _block1__branch3;
     
    1063899              uintptr_t _v_len58 = 1;
    1064900              if (_v_len57 < _v_len58)
    1065               {
    1066                 goto _block7__branch1;
    1067               }
    1068               if (0 != 0)
    1069901              {
    1070902                goto _block7__branch1;
     
    1082914                goto _block7__branch1;
    1083915              }
    1084               if (0 != 0)
    1085               {
    1086                 goto _block7__branch1;
    1087               }
    1088916              uintptr_t _v_len__2 = (_v_len59 - _v_len60);
    1089917              if (!_c_14.term_eq (_v_deref__Re, 0))
     
    1108936                goto _block8__branch1;
    1109937              }
    1110               if (0 != 0)
    1111               {
    1112                 goto _block8__branch1;
    1113               }
    1114938              uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_119_m_13 = (_v_len61 - _v_len62);
    1115939              Expr _vv__e__e_tmp_m_rfp__as2asrf_m_119_m_13 (_ve_R, 0, _v_len___e__e_tmp_m_rfp__as2asrf_m_119_m_13);
     
    1137961            goto _block1__branch4;
    1138962          }
    1139           if (0 != 0)
    1140           {
    1141             goto _block1__branch4;
    1142           }
    1143963          uintptr_t _v_len__R4 = (_v_len63 - _v_len64);
    1144964          if (_ve_Snt.symbol_at (0))
     
    1159979          uintptr_t _v_len66 = 2;
    1160980          if (_v_len65 < _v_len66)
    1161           {
    1162             goto _block1__branch4;
    1163           }
    1164           if (0 != 0)
    1165981          {
    1166982            goto _block1__branch4;
     
    12171033            goto _block1__branch5;
    12181034          }
    1219           if (0 != 0)
    1220           {
    1221             goto _block1__branch5;
    1222           }
    12231035          uintptr_t _v_len__condition = (_v_len67 - _v_len68);
    12241036          uintptr_t _v_len69 = _v_deref__deref__Snt5.get_len ();
    12251037          uintptr_t _v_len70 = 2;
    12261038          if (_v_len69 < _v_len70)
    1227           {
    1228             goto _block1__branch5;
    1229           }
    1230           if (0 != 0)
    12311039          {
    12321040            goto _block1__branch5;
     
    12761084            goto _block1__branch6;
    12771085          }
    1278           if (0 != 0)
    1279           {
    1280             goto _block1__branch6;
    1281           }
    12821086          uintptr_t _v_len__NOFAIL = (_v_len71 - _v_len72);
    12831087          if (_v_deref__Snt6.symbol_at ((0 + 1)))
     
    12891093          uintptr_t _v_len74 = 2;
    12901094          if (_v_len73 < _v_len74)
    1291           {
    1292             goto _block1__branch6;
    1293           }
    1294           if (0 != 0)
    12951095          {
    12961096            goto _block1__branch6;
     
    13391139            goto _block1__branch7;
    13401140          }
    1341           if (0 != 0)
    1342           {
    1343             goto _block1__branch7;
    1344           }
    13451141          uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_136_m_10 = (_v_len75 - _v_len76);
    13461142          if (!_c_14.term_eq (_v_deref__Snt7, 0))
     
    13581154          uintptr_t _v_len78 = 1;
    13591155          if (_v_len77 < _v_len78)
    1360           {
    1361             goto _block1__branch8;
    1362           }
    1363           if (0 != 0)
    13641156          {
    13651157            goto _block1__branch8;
     
    14131205        goto _block1__branch1;
    14141206      }
    1415       if (0 != 0)
    1416       {
    1417         goto _block1__branch1;
    1418       }
    14191207      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    14201208      Expr _vt_1 (_ve_items, 0, 1);
     
    14221210      {
    14231211        {
    1424           if (1 != 1)
    1425           {
    1426             goto _block2__branch1;
    1427           }
    14281212          if (_vt_1.symbol_at (0))
    14291213          {
     
    14371221            goto _block2__branch1;
    14381222          }
    1439           if (0 != 0)
    1440           {
    1441             goto _block2__branch1;
    1442           }
    14431223          uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_144_m_30 = (_v_len3 - _v_len4);
    14441224          if (!_c_6.term_eq (_v_deref__1, 0))
     
    14501230        }
    14511231      _block2__branch1: {}
    1452         if (1 != 1)
    1453         {
    1454           goto _block1__branch1;
    1455         }
    14561232        if (_vt_1.symbol_at (0))
    14571233        {
     
    14621238        uintptr_t _v_len6 = 1;
    14631239        if (_v_len5 < _v_len6)
    1464         {
    1465           goto _block1__branch1;
    1466         }
    1467         if (0 != 0)
    14681240        {
    14691241          goto _block1__branch1;
     
    15241296        goto _block1__branch2;
    15251297      }
    1526       if (0 != 0)
    1527       {
    1528         goto _block1__branch2;
    1529       }
    15301298      uintptr_t _v_len__rest2 = (_v_len7 - _v_len8);
    15311299      if (_ve_items.symbol_at (0))
     
    15371305      uintptr_t _v_len10 = 3;
    15381306      if (_v_len9 < _v_len10)
    1539       {
    1540         goto _block1__branch2;
    1541       }
    1542       if (0 != 0)
    15431307      {
    15441308        goto _block1__branch2;
     
    15581322      {
    15591323        {
    1560           if (1 != 1)
    1561           {
    1562             goto _block4__branch1;
    1563           }
    15641324          if (_v_len__rest2 != 0)
    15651325          {
     
    16061366        goto _block1__branch3;
    16071367      }
    1608       if (0 != 0)
    1609       {
    1610         goto _block1__branch3;
    1611       }
    16121368      uintptr_t _v_len__rest3 = (_v_len11 - _v_len12);
    16131369      if (_ve_items.symbol_at (0))
     
    16191375      uintptr_t _v_len14 = 1;
    16201376      if (_v_len13 < _v_len14)
    1621       {
    1622         goto _block1__branch3;
    1623       }
    1624       if (0 != 0)
    16251377      {
    16261378        goto _block1__branch3;
     
    16451397      uintptr_t _v_len16 = 1;
    16461398      if (_v_len15 < _v_len16)
    1647       {
    1648         goto _block1__branch4;
    1649       }
    1650       if (0 != 0)
    16511399      {
    16521400        goto _block1__branch4;
     
    16841432            goto _block2__branch1;
    16851433          }
    1686           if (0 != 0)
    1687           {
    1688             goto _block2__branch1;
    1689           }
    16901434          uintptr_t _v_len__Snt__4 = (_v_len1 - _v_len2);
    16911435          if (_ve_Sentence.symbol_at (0))
     
    16971441          uintptr_t _v_len4 = 2;
    16981442          if (_v_len3 < _v_len4)
    1699           {
    1700             goto _block2__branch1;
    1701           }
    1702           if (0 != 0)
    17031443          {
    17041444            goto _block2__branch1;
     
    17231463          goto _block1__branch1;
    17241464        }
    1725         if (0 != 0)
    1726         {
    1727           goto _block1__branch1;
    1728         }
    17291465        uintptr_t _v_len__Snt__42 = (_v_len5 - _v_len6);
    17301466        if (_ve_Sentence.symbol_at (0))
     
    17361472        uintptr_t _v_len8 = 2;
    17371473        if (_v_len7 < _v_len8)
    1738         {
    1739           goto _block1__branch1;
    1740         }
    1741         if (0 != 0)
    17421474        {
    17431475          goto _block1__branch1;
     
    17941526                uintptr_t _v_len10 = 1;
    17951527                if (_v_len9 < _v_len10)
    1796                 {
    1797                   goto _continue1;
    1798                 }
    1799                 if (0 != 0)
    18001528                {
    18011529                  goto _continue1;
     
    18191547                      goto _continue1;
    18201548                    }
    1821                     if (0 != 0)
    1822                     {
    1823                       goto _continue2;
    1824                     }
    18251549                    uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_195_m_42 = (_v_len11 - _v_len12);
    18261550                    if (_v_lsplit__lsplit__args.symbol_at (0))
     
    18321556                    uintptr_t _v_len14 = 1;
    18331557                    if (_v_len13 < _v_len14)
    1834                     {
    1835                       goto _continue2;
    1836                     }
    1837                     if (0 != 0)
    18381558                    {
    18391559                      goto _continue2;
     
    18801600      RF_FUNC_ERROR (unexpected_fail);
    18811601    }
    1882     if (0 != 0)
    1883     {
    1884       RF_FUNC_ERROR (unexpected_fail);
    1885     }
    18861602    uintptr_t _v_len__Snt = (_v_len15 - _v_len16);
    18871603    if (_ve_Sentence.symbol_at (0))
     
    18931609    uintptr_t _v_len18 = 2;
    18941610    if (_v_len17 < _v_len18)
    1895     {
    1896       RF_FUNC_ERROR (unexpected_fail);
    1897     }
    1898     if (0 != 0)
    18991611    {
    19001612      RF_FUNC_ERROR (unexpected_fail);
     
    19331645        RF_FUNC_ERROR (unexpected_fail);
    19341646      }
    1935       if (0 != 0)
    1936       {
    1937         RF_FUNC_ERROR (unexpected_fail);
    1938       }
    19391647      uintptr_t _v_len__rest = (_v_len19 - _v_len20);
    19401648      if (_ve_branches.symbol_at (0))
     
    19491657        RF_FUNC_ERROR (unexpected_fail);
    19501658      }
    1951       if (0 != 0)
    1952       {
    1953         RF_FUNC_ERROR (unexpected_fail);
    1954       }
    19551659      uintptr_t _v_len__br_m_snt = (_v_len21 - _v_len22);
    19561660      if (_v_deref__branches.symbol_at ((0 + 1 + 1)))
     
    19621666      uintptr_t _v_len24 = 2;
    19631667      if (_v_len23 < _v_len24)
    1964       {
    1965         RF_FUNC_ERROR (unexpected_fail);
    1966       }
    1967       if (0 != 0)
    19681668      {
    19691669        RF_FUNC_ERROR (unexpected_fail);
     
    20231723                uintptr_t _v_len26 = 1;
    20241724                if (_v_len25 < _v_len26)
    2025                 {
    2026                   goto _continue3;
    2027                 }
    2028                 if (0 != 0)
    20291725                {
    20301726                  goto _continue3;
     
    20481744                      goto _continue3;
    20491745                    }
    2050                     if (0 != 0)
    2051                     {
    2052                       goto _continue4;
    2053                     }
    20541746                    uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_214_m_44 = (_v_len27 - _v_len28);
    20551747                    if (_v_lsplit__lsplit__vars.symbol_at (0))
     
    20611753                    uintptr_t _v_len30 = 1;
    20621754                    if (_v_len29 < _v_len30)
    2063                     {
    2064                       goto _continue4;
    2065                     }
    2066                     if (0 != 0)
    20671755                    {
    20681756                      goto _continue4;
     
    21311819      RF_FUNC_ERROR (unexpected_fail);
    21321820    }
    2133     if (0 != 0)
    2134     {
    2135       RF_FUNC_ERROR (unexpected_fail);
    2136     }
    21371821    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    21381822    Expr _vt_Statement (_ge_Snt__0, 0, 1);
     
    21431827        {
    21441828          {
    2145             if (1 != 1)
    2146             {
    2147               goto _block3__branch1;
    2148             }
    21491829            if (_vt_Statement.symbol_at (0))
    21501830            {
     
    21581838              goto _block3__branch1;
    21591839            }
    2160             if (0 != 0)
    2161             {
    2162               goto _block3__branch1;
    2163             }
    21641840            uintptr_t _v_len__Pe__6 = (_v_len3 - _v_len4);
    21651841            if (!_c_8.term_eq (_v_deref__Statement, 0))
     
    21731849          }
    21741850        _block3__branch1: {}
    2175           if (1 != 1)
    2176           {
    2177             goto _block2__branch1;
    2178           }
    21791851          if (_vt_Statement.symbol_at (0))
    21801852          {
     
    21851857          uintptr_t _v_len6 = 2;
    21861858          if (_v_len5 < _v_len6)
    2187           {
    2188             goto _block2__branch1;
    2189           }
    2190           if (0 != 0)
    21911859          {
    21921860            goto _block2__branch1;
     
    22231891          RF_FUNC_ERROR (unexpected_fail);
    22241892        }
    2225         if (0 != 0)
    2226         {
    2227           RF_FUNC_ERROR (unexpected_fail);
    2228         }
    22291893        uintptr_t _v_len__rest_m_Snt = (_v_len7 - _v_len8);
    22301894        if (_v_Subst1.symbol_at (0))
     
    22361900        uintptr_t _v_len10 = 2;
    22371901        if (_v_len9 < _v_len10)
    2238         {
    2239           RF_FUNC_ERROR (unexpected_fail);
    2240         }
    2241         if (0 != 0)
    22421902        {
    22431903          RF_FUNC_ERROR (unexpected_fail);
     
    22631923    _block2__branch1: {}
    22641924      {
    2265         if (1 != 1)
    2266         {
    2267           goto _block2__branch2;
    2268         }
    22691925        if (_vt_Statement.symbol_at (0))
    22701926        {
     
    22751931        uintptr_t _v_len12 = 2;
    22761932        if (_v_len11 < _v_len12)
    2277         {
    2278           goto _block2__branch2;
    2279         }
    2280         if (0 != 0)
    22811933        {
    22821934          goto _block2__branch2;
     
    23101962          RF_FUNC_ERROR (unexpected_fail);
    23111963        }
    2312         if (0 != 0)
    2313         {
    2314           RF_FUNC_ERROR (unexpected_fail);
    2315         }
    23161964        uintptr_t _v_len__rest_m_Snt2 = (_v_len13 - _v_len14);
    23171965        if (_v_Subst2.symbol_at (0))
     
    23231971        uintptr_t _v_len16 = 2;
    23241972        if (_v_len15 < _v_len16)
    2325         {
    2326           RF_FUNC_ERROR (unexpected_fail);
    2327         }
    2328         if (0 != 0)
    23291973        {
    23301974          RF_FUNC_ERROR (unexpected_fail);
     
    23491993    _block2__branch2: {}
    23501994      {
    2351         if (1 != 1)
    2352         {
    2353           goto _block2__branch3;
    2354         }
    23551995        if (_vt_Statement.symbol_at (0))
    23561996        {
     
    23642004          goto _block2__branch3;
    23652005        }
    2366         if (0 != 0)
    2367         {
    2368           goto _block2__branch3;
    2369         }
    23702006        uintptr_t _v_len__branches = (_v_len17 - _v_len18);
    23712007        if (!_v_deref__Statement4.symbol_at (0))
     
    23782014        {
    23792015          {
    2380             if (1 != 1)
     2016            if (!_vs_block.term_eq (_c_6, 0))
    23812017            {
    23822018              goto _block4__branch1;
    23832019            }
    2384             if (!_vs_block.term_eq (_c_6, 0))
    2385             {
    2386               goto _block4__branch1;
    2387             }
    23882020            goto _block4;
    23892021          }
    23902022        _block4__branch1: {}
    2391           if (1 != 1)
    2392           {
    2393             goto _block2__branch3;
    2394           }
    23952023          if (!_vs_block.term_eq (_c_7, 0))
    23962024          {
     
    24052033            uintptr_t _v_len20 = 1;
    24062034            if (_v_len19 < _v_len20)
    2407             {
    2408               goto _block5__branch1;
    2409             }
    2410             if (0 != 0)
    24112035            {
    24122036              goto _block5__branch1;
     
    24212045            uintptr_t _v_len22 = 2;
    24222046            if (_v_len21 < _v_len22)
    2423             {
    2424               goto _block5__branch1;
    2425             }
    2426             if (0 != 0)
    24272047            {
    24282048              goto _block5__branch1;
     
    24472067              goto _block5__branch2;
    24482068            }
    2449             if (0 != 0)
    2450             {
    2451               goto _block5__branch2;
    2452             }
    24532069            uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_279_m_27 = (_v_len23 - _v_len24);
    24542070            if (_ve_rest.symbol_at (0))
     
    24602076            uintptr_t _v_len26 = 2;
    24612077            if (_v_len25 < _v_len26)
    2462             {
    2463               goto _block5__branch2;
    2464             }
    2465             if (0 != 0)
    24662078            {
    24672079              goto _block5__branch2;
     
    24862098              goto _block5__branch3;
    24872099            }
    2488             if (0 != 0)
    2489             {
    2490               goto _block5__branch3;
    2491             }
    24922100            uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_280_m_28 = (_v_len27 - _v_len28);
    24932101            if (_ve_rest.symbol_at (0))
     
    24992107            uintptr_t _v_len30 = 2;
    25002108            if (_v_len29 < _v_len30)
    2501             {
    2502               goto _block5__branch3;
    2503             }
    2504             if (0 != 0)
    25052109            {
    25062110              goto _block5__branch3;
     
    25332137            RF_FUNC_ERROR (unexpected_fail);
    25342138          }
    2535           if (0 != 0)
    2536           {
    2537             RF_FUNC_ERROR (unexpected_fail);
    2538           }
    25392139          uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_282_m_12 = (_v_len31 - _v_len32);
    25402140          Expr _ve__e__e_tmp_m_rfp__as2asrf_m_282_m_12 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__as2asrf_m_282_m_12);
     
    25622162                uintptr_t _v_len34 = 1;
    25632163                if (_v_len33 < _v_len34)
    2564                 {
    2565                   goto _block6__branch1;
    2566                 }
    2567                 if (0 != 0)
    25682164                {
    25692165                  goto _block6__branch1;
     
    25782174                uintptr_t _v_len36 = 1;
    25792175                if (_v_len35 < _v_len36)
    2580                 {
    2581                   goto _block6__branch1;
    2582                 }
    2583                 if (0 != 0)
    25842176                {
    25852177                  goto _block6__branch1;
     
    26332225                    goto _block7__branch1;
    26342226                  }
    2635                   if (0 != 0)
    2636                   {
    2637                     goto _continue1;
    2638                   }
    26392227                  uintptr_t _v_len__2 = (_v_len37 - _v_len38);
    26402228                  if (_v_lsplit__bl_m_res_m_vars.symbol_at (0))
     
    26492237                    goto _continue1;
    26502238                  }
    2651                   if (0 != 0)
    2652                   {
    2653                     goto _continue1;
    2654                   }
    26552239                  uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_290_m_32 = (_v_len39 - _v_len40);
    26562240                  Expr _ve_2 (_v_lsplit__bl_m_res_m_vars, (0 + 1), _v_len__2);
     
    26712255                        goto _continue1;
    26722256                      }
    2673                       if (0 != 0)
    2674                       {
    2675                         goto _continue2;
    2676                       }
    26772257                      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_290_m_68 = (_v_len41 - _v_len42);
    26782258                      if (_v_lsplit__vars.symbol_at (0))
     
    26842264                      uintptr_t _v_len44 = 1;
    26852265                      if (_v_len43 < _v_len44)
    2686                       {
    2687                         goto _continue2;
    2688                       }
    2689                       if (0 != 0)
    26902266                      {
    26912267                        goto _continue2;
     
    27232299    _block2__branch3: {}
    27242300      {
    2725         if (1 != 1)
    2726         {
    2727           goto _block2__branch4;
    2728         }
    27292301        if (_vt_Statement.symbol_at (0))
    27302302        {
     
    27352307        uintptr_t _v_len46 = 2;
    27362308        if (_v_len45 < _v_len46)
    2737         {
    2738           goto _block2__branch4;
    2739         }
    2740         if (0 != 0)
    27412309        {
    27422310          goto _block2__branch4;
     
    27582326    _block2__branch4: {}
    27592327      {
    2760         if (1 != 1)
    2761         {
    2762           goto _block2__branch5;
    2763         }
    27642328        if (_vt_Statement.symbol_at (0))
    27652329        {
     
    27952359    _block2__branch5: {}
    27962360      {
    2797         if (1 != 1)
    2798         {
    2799           goto _block2__branch6;
    2800         }
    28012361        if (_vt_Statement.symbol_at (0))
    28022362        {
     
    28072367        uintptr_t _v_len48 = 3;
    28082368        if (_v_len47 < _v_len48)
    2809         {
    2810           goto _block2__branch6;
    2811         }
    2812         if (0 != 0)
    28132369        {
    28142370          goto _block2__branch6;
     
    28322388      }
    28332389    _block2__branch6: {}
     2390      {
     2391        if (_vt_Statement.symbol_at (0))
     2392        {
     2393          goto _block2__branch7;
     2394        }
     2395        Expr _v_deref__Statement8 (_vt_Statement, 0);
     2396        if (_v_deref__Statement8.get_len () != 2)
     2397        {
     2398          goto _block2__branch7;
     2399        }
     2400        if (!_c_15.term_eq (_v_deref__Statement8, 0))
     2401        {
     2402          goto _block2__branch7;
     2403        }
     2404        Expr _vt_branch (_v_deref__Statement8, (0 + 1), 1);
     2405        Expr _ge_auxcall11;
     2406        RF_CALL (Rename_m_Vars, (_vs_num, _ve_vars, _ve_res_m_vars, _vt_branch), _ge_auxcall11);
     2407        _ve_new_m_Snt = (_ve_new_m_Snt + (_c_15 + _ge_auxcall11) ());
     2408        _ge_Snt__0 = _ve_rest;
     2409        goto _block2;
     2410      }
     2411    _block2__branch7: {}
    28342412      _ve_new_m_Snt = (_ve_new_m_Snt + _vt_Statement);
    28352413      _ge_Snt__0 = _ve_rest;
     
    28442422  uintptr_t _v_len2 = 1;
    28452423  if (_v_len1 < _v_len2)
    2846   {
    2847     RF_RETFAIL;
    2848   }
    2849   if (0 != 0)
    28502424  {
    28512425    RF_RETFAIL;
     
    28632437    RF_RETFAIL;
    28642438  }
    2865   if (0 != 0)
    2866   {
    2867     RF_RETFAIL;
    2868   }
    2869   uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_19 = (_v_len3 - _v_len4);
     2439  uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_19 = (_v_len3 - _v_len4);
    28702440  Expr _ve_vars (_ge_arg1, 0, _v_len__vars);
    2871   Expr _ve__e__e_tmp_m_rfp__as2asrf_m_333_m_19 (_v_deref__arg1, 0, _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_19);
    2872   Expr _vt_name (_v_deref__arg1, (0 + _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_19), 1);
     2441  Expr _ve__e__e_tmp_m_rfp__as2asrf_m_335_m_19 (_v_deref__arg1, 0, _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_19);
     2442  Expr _vt_name (_v_deref__arg1, (0 + _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_19), 1);
    28732443  if (_v_len__vars < 1)
    28742444  {
    28752445    RF_RETFAIL;
    28762446  }
    2877   RF_lsplit (_ve_vars, 0, _ve__e__e_tmp_m_rfp__as2asrf_m_333_m_40, _v_lsplit__vars);
     2447  RF_lsplit (_ve_vars, 0, _ve__e__e_tmp_m_rfp__as2asrf_m_335_m_40, _v_lsplit__vars);
    28782448  for ( ; ; RF_iter(_ve_vars)++)
    28792449  {
     
    28892459        RF_RETFAIL;
    28902460      }
    2891       if (0 != 0)
    2892       {
    2893         goto _continue1;
    2894       }
    2895       uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_53 = (_v_len5 - _v_len6);
     2461      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_53 = (_v_len5 - _v_len6);
    28962462      if (_v_lsplit__vars.symbol_at (0))
    28972463      {
     
    29052471        goto _continue1;
    29062472      }
    2907       if (0 != 0)
     2473      uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_43 = (_v_len7 - _v_len8);
     2474      if (!_vt_name.term_eq (_v_deref__lsplit__vars, (0 + _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_43)))
    29082475      {
    29092476        goto _continue1;
    29102477      }
    2911       uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_43 = (_v_len7 - _v_len8);
    2912       if (!_vt_name.term_eq (_v_deref__lsplit__vars, (0 + _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_43)))
    2913       {
    2914         goto _continue1;
    2915       }
    2916       Expr _ve__e__e_tmp_m_rfp__as2asrf_m_333_m_53 (_v_lsplit__vars, (0 + 1), _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_53);
    2917       Expr _ve__e__e_tmp_m_rfp__as2asrf_m_333_m_43 (_v_deref__lsplit__vars, 0, _v_len___e__e_tmp_m_rfp__as2asrf_m_333_m_43);
     2478      Expr _ve__e__e_tmp_m_rfp__as2asrf_m_335_m_53 (_v_lsplit__vars, (0 + 1), _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_53);
     2479      Expr _ve__e__e_tmp_m_rfp__as2asrf_m_335_m_43 (_v_deref__lsplit__vars, 0, _v_len___e__e_tmp_m_rfp__as2asrf_m_335_m_43);
    29182480      _v_res1 = empty;
    29192481      goto _exit1;
     
    29492511    RF_FUNC_ERROR (unexpected_fail);
    29502512  }
    2951   if (0 != 0)
    2952   {
    2953     RF_FUNC_ERROR (unexpected_fail);
    2954   }
    29552513  uintptr_t _v_len__QualifiedName = (_v_len1 - _v_len2);
    29562514  if (!_ge_arg1.symbol_at (0))
     
    29782536        goto _block1__branch1;
    29792537      }
    2980       if (0 != 0)
    2981       {
    2982         goto _block1__branch1;
    2983       }
    29842538      uintptr_t _v_len__Snt = (_v_len1 - _v_len2);
    29852539      Expr _v_compose1 ((_ge_arg1 () + _ge_arg2 () + _ge_arg3));
     
    30002554        goto _block1__branch1;
    30012555      }
    3002       if (0 != 0)
    3003       {
    3004         goto _block1__branch1;
    3005       }
    30062556      uintptr_t _v_len__substs = (_v_len3 - _v_len4);
    30072557      uintptr_t _v_len5 = _v_deref__compose1.get_len ();
     
    30112561        goto _block1__branch1;
    30122562      }
    3013       if (0 != 0)
    3014       {
    3015         goto _block1__branch1;
    3016       }
    30172563      uintptr_t _v_len__vars = (_v_len5 - _v_len6);
    30182564      if (_v_deref__compose1.symbol_at (0))
     
    30462592      Expr _ve_substs (_v_deref__compose12, (0 + 1), _v_len__substs);
    30472593      Expr _vs_tag (_v_deref__deref__compose1, 0, 1);
    3048       Expr _vt__e__e_tmp_m_rfp__as2asrf_m_342_m_12 (_v_deref__deref__compose1, (0 + 1), 1);
     2594      Expr _vt__e__e_tmp_m_rfp__as2asrf_m_344_m_12 (_v_deref__deref__compose1, (0 + 1), 1);
    30492595      Expr _vt_name (_v_deref__deref__compose1, (0 + 1 + 1), 1);
    3050       Expr _vs__e__e_tmp_m_rfp__as2asrf_m_342_m_32 (_v_deref__deref__compose12, 0, 1);
    3051       Expr _vt__e__e_tmp_m_rfp__as2asrf_m_342_m_34 (_v_deref__deref__compose12, (0 + 1), 1);
     2596      Expr _vs__e__e_tmp_m_rfp__as2asrf_m_344_m_32 (_v_deref__deref__compose12, 0, 1);
     2597      Expr _vt__e__e_tmp_m_rfp__as2asrf_m_344_m_34 (_v_deref__deref__compose12, (0 + 1), 1);
    30522598      Expr _vt_s (_v_deref__deref__compose12, (0 + 1 + 1), 1);
    30532599      Expr _ve_var_m_pats;
     
    30682614      RF_FUNC_ERROR (unexpected_fail);
    30692615    }
    3070     if (0 != 0)
    3071     {
    3072       RF_FUNC_ERROR (unexpected_fail);
    3073     }
    3074     uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_346_m_10 = (_v_len7 - _v_len8);
     2616    uintptr_t _v_len___e__e_tmp_m_rfp__as2asrf_m_348_m_10 = (_v_len7 - _v_len8);
    30752617    Expr _v_compose2 ((_ge_arg1 () + _ge_arg2 () + _ge_arg3));
    30762618    if (!_c_32.eq (_v_compose2, 0))
     
    30782620      RF_FUNC_ERROR (unexpected_fail);
    30792621    }
    3080     Expr _ve__e__e_tmp_m_rfp__as2asrf_m_346_m_10 (_v_compose2, (0 + 1 + 1), _v_len___e__e_tmp_m_rfp__as2asrf_m_346_m_10);
     2622    Expr _ve__e__e_tmp_m_rfp__as2asrf_m_348_m_10 (_v_compose2, (0 + 1 + 1), _v_len___e__e_tmp_m_rfp__as2asrf_m_348_m_10);
    30812623    _v_res1 = empty;
    30822624    _v_res2 = empty;
     
    30942636        goto _block1__branch1;
    30952637      }
    3096       if (0 != 0)
    3097       {
    3098         goto _block1__branch1;
    3099       }
    31002638      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    31012639      Expr _vt_Statement (_ve_Snt, 0, 1);
     
    31052643      {
    31062644        {
    3107           if (1 != 1)
    3108           {
    3109             goto _block2__branch1;
    3110           }
    31112645          if (_vt_Statement.symbol_at (0))
    31122646          {
     
    31262660          {
    31272661            {
    3128               if (1 != 1)
    3129               {
    3130                 goto _block3__branch1;
    3131               }
    31322662              if (!_vt_n.term_eq (_vt_name, 0))
    31332663              {
     
    31472677      _block2__branch1: {}
    31482678        {
    3149           if (1 != 1)
    3150           {
    3151             goto _block2__branch2;
    3152           }
    31532679          if (_vt_Statement.symbol_at (0))
    31542680          {
     
    31592685          uintptr_t _v_len4 = 0;
    31602686          if (_v_len3 < _v_len4)
    3161           {
    3162             goto _block2__branch2;
    3163           }
    3164           if (0 != 0)
    31652687          {
    31662688            goto _block2__branch2;
     
    31942716  uintptr_t _v_len2 = 3;
    31952717  if (_v_len1 < _v_len2)
    3196   {
    3197     RF_ERROR (_c_33);
    3198   }
    3199   if (0 != 0)
    32002718  {
    32012719    RF_ERROR (_c_33);
     
    32182736    RF_ERROR (_c_33);
    32192737  }
    3220   if (0 != 0)
    3221   {
    3222     RF_ERROR (_c_33);
    3223   }
    32242738  uintptr_t _v_len__stub2 = (_v_len3 - _v_len4);
    32252739  uintptr_t _v_len5 = _v_deref__arg1.get_len ();
    32262740  uintptr_t _v_len6 = 0;
    32272741  if (_v_len5 < _v_len6)
    3228   {
    3229     RF_ERROR (_c_33);
    3230   }
    3231   if (0 != 0)
    32322742  {
    32332743    RF_ERROR (_c_33);
  • to-imperative/trunk/c++/compiler/rfp_asail2asail.cc

    r2367 r2402  
    11#include <rf_core.hh>
     2#include <refal/Apply.hh>
     3#include <refal/Box.hh>
    24#include <refal/Arithm.hh>
     5#include <refal/Compare.hh>
     6#include <refal/StdIO.hh>
    37#include <refal/List.hh>
    4 #include <refal/Box.hh>
     8#include "rfp_helper.hh"
    59#include <refal/Table.hh>
    6 #include "rfp_helper.hh"
    7 #include <refal/StdIO.hh>
     10#include <refal/Class.hh>
    811
    912namespace refal
     
    4952RF_DECL (Eval_sp__m_);
    5053
     54RF_DECL (Simplify_m_Cmp);
     55
     56RF_DECL (Cmp);
     57
    5158RF_DECL (Free_m_Idx);
    5259
     60RF_DECL (_p___0);
     61
     62RF_DECL (Int_q___0);
     63
     64RF_DECL (_lt___0);
     65
     66RF_DECL (_s__eq___0);
     67
    5368RF_DECL (Simplify_m_Infix__0);
    5469
     70RF_DECL (_gt___0);
     71
    5572static Expr _c_0;
    5673
     
    140157
    141158static Expr _c_43;
     159
     160static Expr _c_44;
     161
     162static Expr _c_45;
     163
     164static Expr _c_46;
     165
     166static Expr _c_47;
     167
     168static Expr _c_48;
     169
     170static Expr _c_49;
     171
     172static Expr _c_50;
     173
     174static Expr _c_51;
    142175
    143176RF_FUNC (Simplify_m_ASAIL, (RF_ARG _ve_asail;;), (RF_RES _v_res1;;))
     
    159192        goto _block1__branch1;
    160193      }
    161       if (0 != 0)
    162       {
    163         goto _block1__branch1;
    164       }
    165194      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    166195      Expr _vt_first (_ge_arg1, 0, 1);
     
    169198      {
    170199        {
    171           if (1 != 1)
    172           {
    173             goto _block2__branch1;
    174           }
    175200          if (_vt_first.symbol_at (0))
    176201          {
     
    181206          uintptr_t _v_len4 = 4;
    182207          if (_v_len3 < _v_len4)
    183           {
    184             goto _block2__branch1;
    185           }
    186           if (0 != 0)
    187208          {
    188209            goto _block2__branch1;
     
    205226            goto _block2__branch1;
    206227          }
    207           if (0 != 0)
    208           {
    209             goto _block2__branch1;
    210           }
    211228          uintptr_t _v_len__arg2 = (_v_len5 - _v_len6);
    212229          uintptr_t _v_len7 = _v_deref__deref__first.get_len ();
     
    216233            goto _block2__branch1;
    217234          }
    218           if (0 != 0)
    219           {
    220             goto _block2__branch1;
    221           }
    222235          uintptr_t _v_len__arg1 = (_v_len7 - _v_len8);
    223236          if (!_c_0.term_eq (_v_deref__first, 0))
     
    233246          Expr _ve_arg1 (_v_deref__deref__first, 0, _v_len__arg1);
    234247          Expr _ve_arg2 (_v_deref__deref__first2, 0, _v_len__arg2);
    235           Expr _ge_auxcall1;
    236           RF_CALL (Simplify_m_Arithm, _ve_arg1 (), _ge_auxcall1);
    237           Expr _ge_auxcall2;
    238           RF_CALL (Simplify_m_Arithm, _ve_arg2 (), _ge_auxcall2);
    239           Expr _ge_auxcall3;
    240           RF_CALL (Simplify, _ve_body, _ge_auxcall3);
    241           _ge_first__3 = (_c_0 + _vs_op + _ge_auxcall1 () + _ge_auxcall2 () + _ge_auxcall3) ();
     248          {
     249            {
     250              Expr _ge_auxcall1;
     251              RF_CALL (Simplify_m_Arithm, _ve_arg1 (), _ge_auxcall1);
     252              Expr _ge_auxcall2;
     253              RF_CALL (Simplify_m_Arithm, _ve_arg2 (), _ge_auxcall2);
     254              Expr _v_Simplify_m_Cmp1;
     255              if (!RF_CALL (Simplify_m_Cmp, (_vs_op, _ge_auxcall1, _ge_auxcall2), _v_Simplify_m_Cmp1))
     256              {
     257                goto _block3__branch1;
     258              }
     259              {
     260                {
     261                  if (_v_Simplify_m_Cmp1.get_len () != 2)
     262                  {
     263                    goto _block4__branch1;
     264                  }
     265                  if (_v_Simplify_m_Cmp1.symbol_at (0))
     266                  {
     267                    goto _block4__branch1;
     268                  }
     269                  if (_v_Simplify_m_Cmp1.symbol_at ((0 + 1)))
     270                  {
     271                    goto _block4__branch1;
     272                  }
     273                  Expr _v_deref__Simplify_m_Cmp1 (_v_Simplify_m_Cmp1, 0);
     274                  Expr _v_deref__Simplify_m_Cmp12 (_v_Simplify_m_Cmp1, (0 + 1));
     275                  uintptr_t _v_len9 = _v_deref__Simplify_m_Cmp12.get_len ();
     276                  uintptr_t _v_len10 = 0;
     277                  if (_v_len9 < _v_len10)
     278                  {
     279                    goto _block4__branch1;
     280                  }
     281                  uintptr_t _v_len__2 = (_v_len9 - _v_len10);
     282                  uintptr_t _v_len11 = _v_deref__Simplify_m_Cmp1.get_len ();
     283                  uintptr_t _v_len12 = 0;
     284                  if (_v_len11 < _v_len12)
     285                  {
     286                    goto _block4__branch1;
     287                  }
     288                  uintptr_t _v_len__1 = (_v_len11 - _v_len12);
     289                  Expr _ve_1 (_v_deref__Simplify_m_Cmp1, 0, _v_len__1);
     290                  Expr _ve_2 (_v_deref__Simplify_m_Cmp12, 0, _v_len__2);
     291                  Expr _ge_auxcall3;
     292                  RF_CALL (Simplify, _ve_body, _ge_auxcall3);
     293                  _ge_first__3 = (_c_0 + _vs_op + _ve_1 () + _ve_2 () + _ge_auxcall3) ();
     294                  goto _block4;
     295                }
     296              _block4__branch1: {}
     297                if (_v_Simplify_m_Cmp1.get_len () != 0)
     298                {
     299                  RF_FUNC_ERROR (unexpected_fail);
     300                }
     301                RF_CALL (Simplify, _ve_body, _ge_first__3);
     302              }
     303            _block4: {}
     304              goto _block3;
     305            }
     306          _block3__branch1: {}
     307            _ge_first__3 = empty;
     308          }
     309        _block3: {}
    242310          goto _block2;
    243311        }
    244312      _block2__branch1: {}
    245313        {
    246           if (1 != 1)
     314          if (_vt_first.symbol_at (0))
    247315          {
    248316            goto _block2__branch2;
    249317          }
    250           if (_vt_first.symbol_at (0))
     318          Expr _v_deref__first2 (_vt_first, 0);
     319          uintptr_t _v_len13 = _v_deref__first2.get_len ();
     320          uintptr_t _v_len14 = 2;
     321          if (_v_len13 < _v_len14)
    251322          {
    252323            goto _block2__branch2;
    253324          }
    254           Expr _v_deref__first2 (_vt_first, 0);
    255           uintptr_t _v_len9 = _v_deref__first2.get_len ();
    256           uintptr_t _v_len10 = 2;
    257           if (_v_len9 < _v_len10)
    258           {
    259             goto _block2__branch2;
    260           }
    261           if (0 != 0)
    262           {
    263             goto _block2__branch2;
    264           }
    265           uintptr_t _v_len__body2 = (_v_len9 - _v_len10);
     325          uintptr_t _v_len__body2 = (_v_len13 - _v_len14);
    266326          if (!_c_1.term_eq (_v_deref__first2, 0))
    267327          {
     
    277337      _block2__branch2: {}
    278338        {
    279           if (1 != 1)
     339          if (_vt_first.symbol_at (0))
    280340          {
    281341            goto _block2__branch3;
    282342          }
    283           if (_vt_first.symbol_at (0))
     343          Expr _v_deref__first3 (_vt_first, 0);
     344          uintptr_t _v_len15 = _v_deref__first3.get_len ();
     345          uintptr_t _v_len16 = 2;
     346          if (_v_len15 < _v_len16)
    284347          {
    285348            goto _block2__branch3;
    286349          }
    287           Expr _v_deref__first3 (_vt_first, 0);
    288           uintptr_t _v_len11 = _v_deref__first3.get_len ();
    289           uintptr_t _v_len12 = 2;
    290           if (_v_len11 < _v_len12)
    291           {
    292             goto _block2__branch3;
    293           }
    294           if (0 != 0)
    295           {
    296             goto _block2__branch3;
    297           }
    298           uintptr_t _v_len__expr = (_v_len11 - _v_len12);
     350          uintptr_t _v_len__expr = (_v_len15 - _v_len16);
    299351          if (!_c_2.term_eq (_v_deref__first3, 0))
    300352          {
     
    310362      _block2__branch3: {}
    311363        {
    312           if (1 != 1)
     364          if (_vt_first.symbol_at (0))
    313365          {
    314366            goto _block2__branch4;
    315367          }
    316           if (_vt_first.symbol_at (0))
     368          Expr _v_deref__first4 (_vt_first, 0);
     369          uintptr_t _v_len17 = _v_deref__first4.get_len ();
     370          uintptr_t _v_len18 = 0;
     371          if (_v_len17 < _v_len18)
    317372          {
    318373            goto _block2__branch4;
    319374          }
    320           Expr _v_deref__first4 (_vt_first, 0);
    321           uintptr_t _v_len13 = _v_deref__first4.get_len ();
    322           uintptr_t _v_len14 = 0;
    323           if (_v_len13 < _v_len14)
    324           {
    325             goto _block2__branch4;
    326           }
    327           if (0 != 0)
    328           {
    329             goto _block2__branch4;
    330           }
    331           uintptr_t _v_len__1 = (_v_len13 - _v_len14);
    332           Expr _ve_1 (_v_deref__first4, 0, _v_len__1);
     375          uintptr_t _v_len__12 = (_v_len17 - _v_len18);
     376          Expr _ve_1 (_v_deref__first4, 0, _v_len__12);
    333377          Expr _ge_auxcall6;
    334378          RF_CALL (Simplify, _ve_1, _ge_auxcall6);
     
    337381        }
    338382      _block2__branch4: {}
    339         if (1 != 1)
    340         {
    341           RF_FUNC_ERROR (unexpected_fail);
    342         }
    343383        if (!_vt_first.symbol_at (0))
    344384        {
     
    373413    RF_RETFAIL;
    374414  }
    375   if (0 != 0)
    376   {
    377     RF_RETFAIL;
    378   }
    379415  uintptr_t _v_len__1 = (_v_len1 - _v_len2);
    380416  Expr _ve_1 (_v__q_1, 0, _v_len__1);
     
    393429        goto _block1__branch1;
    394430      }
    395       if (0 != 0)
    396       {
    397         goto _block1__branch1;
    398       }
    399431      uintptr_t _v_len__2 = (_v_len1 - _v_len2);
    400432      Expr _vt_1 (_ge_arg1, 0, 1);
     
    403435      {
    404436        {
    405           if (1 != 1)
    406           {
    407             goto _block2__branch1;
    408           }
    409437          if (_vt_1.symbol_at (0))
    410438          {
     
    415443          uintptr_t _v_len4 = 4;
    416444          if (_v_len3 < _v_len4)
    417           {
    418             goto _block2__branch1;
    419           }
    420           if (0 != 0)
    421445          {
    422446            goto _block2__branch1;
     
    438462      _block2__branch1: {}
    439463        {
    440           if (1 != 1)
    441           {
    442             goto _block2__branch2;
    443           }
    444464          if (_vt_1.symbol_at (0))
    445465          {
     
    450470          uintptr_t _v_len6 = 4;
    451471          if (_v_len5 < _v_len6)
    452           {
    453             goto _block2__branch2;
    454           }
    455           if (0 != 0)
    456472          {
    457473            goto _block2__branch2;
     
    473489      _block2__branch2: {}
    474490        {
    475           if (1 != 1)
    476           {
    477             goto _block2__branch3;
    478           }
    479491          if (_vt_1.symbol_at (0))
    480492          {
     
    485497          uintptr_t _v_len8 = 5;
    486498          if (_v_len7 < _v_len8)
    487           {
    488             goto _block2__branch3;
    489           }
    490           if (0 != 0)
    491499          {
    492500            goto _block2__branch3;
     
    519527            goto _block2__branch3;
    520528          }
    521           if (0 != 0)
    522           {
    523             goto _block2__branch3;
    524           }
    525529          uintptr_t _v_len__cont = (_v_len9 - _v_len10);
    526530          uintptr_t _v_len11 = _v_deref__deref__132.get_len ();
     
    530534            goto _block2__branch3;
    531535          }
    532           if (0 != 0)
    533           {
    534             goto _block2__branch3;
    535           }
    536536          uintptr_t _v_len__break = (_v_len11 - _v_len12);
    537537          uintptr_t _v_len13 = _v_deref__deref__134.get_len ();
     
    541541            goto _block2__branch3;
    542542          }
    543           if (0 != 0)
    544           {
    545             goto _block2__branch3;
    546           }
    547543          uintptr_t _v_len__step = (_v_len13 - _v_len14);
    548544          uintptr_t _v_len15 = _v_deref__deref__133.get_len ();
    549545          uintptr_t _v_len16 = 0;
    550546          if (_v_len15 < _v_len16)
    551           {
    552             goto _block2__branch3;
    553           }
    554           if (0 != 0)
    555547          {
    556548            goto _block2__branch3;
     
    572564      _block2__branch3: {}
    573565        {
    574           if (1 != 1)
    575           {
    576             goto _block2__branch4;
    577           }
    578566          if (_vt_1.symbol_at (0))
    579567          {
     
    584572          uintptr_t _v_len18 = 2;
    585573          if (_v_len17 < _v_len18)
    586           {
    587             goto _block2__branch4;
    588           }
    589           if (0 != 0)
    590574          {
    591575            goto _block2__branch4;
     
    613597      _block2__branch4: {}
    614598        {
    615           if (1 != 1)
    616           {
    617             goto _block2__branch5;
    618           }
    619599          if (_vt_1.symbol_at (0))
    620600          {
     
    625605          uintptr_t _v_len20 = 2;
    626606          if (_v_len19 < _v_len20)
    627           {
    628             goto _block2__branch5;
    629           }
    630           if (0 != 0)
    631607          {
    632608            goto _block2__branch5;
     
    645621      _block2__branch5: {}
    646622        {
    647           if (1 != 1)
    648           {
    649             goto _block2__branch6;
    650           }
    651623          if (_vt_1.symbol_at (0))
    652624          {
     
    657629          uintptr_t _v_len22 = 4;
    658630          if (_v_len21 < _v_len22)
    659           {
    660             goto _block2__branch6;
    661           }
    662           if (0 != 0)
    663631          {
    664632            goto _block2__branch6;
     
    683651      _block2__branch6: {}
    684652        {
    685           if (1 != 1)
    686           {
    687             goto _block2__branch7;
    688           }
    689653          if (_vt_1.symbol_at (0))
    690654          {
     
    698662            goto _block2__branch7;
    699663          }
    700           if (0 != 0)
    701           {
    702             goto _block2__branch7;
    703           }
    704664          uintptr_t _v_len__body__47 = (_v_len23 - _v_len24);
    705665          if (!_c_7.term_eq (_v_deref__17, 0))
     
    713673        }
    714674      _block2__branch7: {}
    715         if (1 != 1)
    716         {
    717           goto _block1__branch1;
    718         }
    719675        if (_vt_1.symbol_at (0))
    720676        {
     
    725681        uintptr_t _v_len26 = 1;
    726682        if (_v_len25 < _v_len26)
    727         {
    728           goto _block1__branch1;
    729         }
    730         if (0 != 0)
    731683        {
    732684          goto _block1__branch1;
     
    753705      {
    754706        {
    755           if (1 != 1)
    756           {
    757             goto _block3__branch1;
    758           }
    759707          if (_v_GetR1.symbol_at (0))
    760708          {
     
    801749                  goto _block5__branch1;
    802750                }
    803                 if (0 != 0)
     751                uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_83_m_26 = (_v_len27 - _v_len28);
     752                if (_v__q_1.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_83_m_26)))
    804753                {
    805754                  goto _block5__branch1;
    806755                }
    807                 uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_78_m_26 = (_v_len27 - _v_len28);
    808                 if (_v__q_1.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_78_m_26)))
    809                 {
    810                   goto _block5__branch1;
    811                 }
    812                 Expr _v_deref___q_1 (_v__q_1, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_78_m_26));
     756                Expr _v_deref___q_1 (_v__q_1, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_83_m_26));
    813757                if (_v_deref___q_1.get_len () != 2)
    814758                {
     
    828772                  goto _block5__branch1;
    829773                }
    830                 Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_78_m_26 (_v__q_1, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_78_m_26);
     774                Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_83_m_26 (_v__q_1, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_83_m_26);
    831775                Expr _vt_other_m_label (_v_deref__deref___q_1, 0, 1);
    832776                Expr _v_Lookup1;
     
    853797      _block3__branch1: {}
    854798        {
    855           if (1 != 1)
    856           {
    857             goto _block3__branch2;
    858           }
    859799          if (_v_GetR1.symbol_at (0))
    860800          {
     
    887827            goto _block3__branch2;
    888828          }
    889           if (0 != 0)
    890           {
    891             goto _block3__branch2;
    892           }
    893829          uintptr_t _v_len__cont2 = (_v_len29 - _v_len30);
    894830          uintptr_t _v_len31 = _v_deref__deref__GetR123.get_len ();
     
    898834            goto _block3__branch2;
    899835          }
    900           if (0 != 0)
    901           {
    902             goto _block3__branch2;
    903           }
    904836          uintptr_t _v_len__step2 = (_v_len31 - _v_len32);
    905837          uintptr_t _v_len33 = _v_deref__deref__GetR122.get_len ();
    906838          uintptr_t _v_len34 = 0;
    907839          if (_v_len33 < _v_len34)
    908           {
    909             goto _block3__branch2;
    910           }
    911           if (0 != 0)
    912840          {
    913841            goto _block3__branch2;
     
    944872      _block3__branch2: {}
    945873        {
    946           if (1 != 1)
    947           {
    948             goto _block3__branch3;
    949           }
    950874          if (!_v_GetR1.term_eq (_c_8, 0))
    951875          {
     
    962886                goto _block7__branch1;
    963887              }
    964               if (0 != 0)
     888              uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_95_m_29 = (_v_len35 - _v_len36);
     889              if (_v__q_2.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_95_m_29)))
    965890              {
    966891                goto _block7__branch1;
    967892              }
    968               uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_90_m_29 = (_v_len35 - _v_len36);
    969               if (_v__q_2.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_90_m_29)))
    970               {
    971                 goto _block7__branch1;
    972               }
    973               Expr _v_deref___q_2 (_v__q_2, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_90_m_29));
     893              Expr _v_deref___q_2 (_v__q_2, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_95_m_29));
    974894              uintptr_t _v_len37 = _v_deref___q_2.get_len ();
    975895              uintptr_t _v_len38 = 1;
     
    978898                goto _block7__branch1;
    979899              }
    980               if (0 != 0)
     900              uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_95_m_32 = (_v_len37 - _v_len38);
     901              if (!_c_12.term_eq (_v_deref___q_2, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_95_m_32)))
    981902              {
    982903                goto _block7__branch1;
    983904              }
    984               uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_90_m_32 = (_v_len37 - _v_len38);
    985               if (!_c_12.term_eq (_v_deref___q_2, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_90_m_32)))
    986               {
    987                 goto _block7__branch1;
    988               }
    989               Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_90_m_29 (_v__q_2, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_90_m_29);
    990               Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_90_m_32 (_v_deref___q_2, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_90_m_32);
     905              Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_95_m_29 (_v__q_2, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_95_m_29);
     906              Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_95_m_32 (_v_deref___q_2, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_95_m_32);
    991907              _ve_t1 = (_c_7 + _ve_body) ();
    992908              _ge_2__4 = _ve_2;
     
    997913            uintptr_t _v_len40 = 1;
    998914            if (_v_len39 < _v_len40)
    999             {
    1000               RF_FUNC_ERROR (unexpected_fail);
    1001             }
    1002             if (0 != 0)
    1003915            {
    1004916              RF_FUNC_ERROR (unexpected_fail);
     
    1016928              RF_FUNC_ERROR (unexpected_fail);
    1017929            }
    1018             if (0 != 0)
    1019             {
    1020               RF_FUNC_ERROR (unexpected_fail);
    1021             }
    1022930            uintptr_t _v_len__catch_m_body = (_v_len41 - _v_len42);
    1023931            if (!_c_9.term_eq (_v_deref__2, 0))
     
    1034942        }
    1035943      _block3__branch3: {}
    1036         if (1 != 1)
    1037         {
    1038           RF_FUNC_ERROR (unexpected_fail);
    1039         }
    1040944        if (_v_GetR1.symbol_at (0))
    1041945        {
     
    1049953          RF_FUNC_ERROR (unexpected_fail);
    1050954        }
    1051         if (0 != 0)
    1052         {
    1053           RF_FUNC_ERROR (unexpected_fail);
    1054         }
    1055955        uintptr_t _v_len__item = (_v_len43 - _v_len44);
    1056956        Expr _ve_item (_v_deref__GetR13, 0, _v_len__item);
     
    1065965      }
    1066966      {
    1067         if (1 != 1)
    1068         {
    1069           goto _block8__branch1;
    1070         }
    1071967        uintptr_t _v_len45 = _ve_t1.get_len ();
    1072968        uintptr_t _v_len46 = 0;
     
    1075971          goto _block8__branch1;
    1076972        }
    1077         if (0 != 0)
    1078         {
    1079           goto _block8__branch1;
    1080         }
    1081         uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_99_m_15 = (_v_len45 - _v_len46);
     973        uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_104_m_15 = (_v_len45 - _v_len46);
    1082974        if (_vt_breaks.symbol_at (0))
    1083975        {
     
    1089981          goto _block8__branch1;
    1090982        }
    1091         Expr _vv__e__e_tmp_m_rfp__asail2asailrf_m_99_m_15 (_ve_t1, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_99_m_15);
    1092         RF_lsplit (_v_deref__breaks, 0, _ve__e__e_tmp_m_rfp__asail2asailrf_m_100_m_22, _v_lsplit__deref__breaks);
     983        Expr _vv__e__e_tmp_m_rfp__asail2asailrf_m_104_m_15 (_ve_t1, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_104_m_15);
     984        RF_lsplit (_v_deref__breaks, 0, _ve__e__e_tmp_m_rfp__asail2asailrf_m_105_m_22, _v_lsplit__deref__breaks);
    1093985        for ( ; ; RF_iter(_v_deref__breaks)++)
    1094986        {
     
    1104996              goto _block8__branch1;
    1105997            }
    1106             if (0 != 0)
    1107             {
    1108               goto _continue1;
    1109             }
    1110             uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_100_m_28 = (_v_len47 - _v_len48);
     998            uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_105_m_28 = (_v_len47 - _v_len48);
    1111999            Expr _vt_l (_v_lsplit__deref__breaks, 0, 1);
    1112             Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_100_m_28 (_v_lsplit__deref__breaks, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_100_m_28);
     1000            Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_105_m_28 (_v_lsplit__deref__breaks, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_105_m_28);
    11131001            RF_CALL (Table::Bind, (Breaks, _vt_l, _c_13), /*void*/);
    11141002          }
     
    11311019        goto _block1__branch2;
    11321020      }
    1133       if (0 != 0)
    1134       {
    1135         goto _block1__branch2;
    1136       }
    11371021      uintptr_t _v_len__22 = (_v_len49 - _v_len50);
    11381022      Expr _vt_1 (_ge_arg1, 0, 1);
     
    11401024      {
    11411025        {
    1142           if (1 != 1)
    1143           {
    1144             goto _block9__branch1;
    1145           }
    11461026          if (_vt_1.symbol_at (0))
    11471027          {
     
    11601040          Expr _v_GetR2;
    11611041          if (!RF_CALL (GetR, Last_m_Breaks, _v_GetR2))
    1162           {
    1163             RF_FUNC_ERROR (unexpected_fail);
    1164           }
    1165           if (1 != 1)
    11661042          {
    11671043            RF_FUNC_ERROR (unexpected_fail);
     
    11751051          uintptr_t _v_len52 = 0;
    11761052          if (_v_len51 < _v_len52)
    1177           {
    1178             RF_FUNC_ERROR (unexpected_fail);
    1179           }
    1180           if (0 != 0)
    11811053          {
    11821054            RF_FUNC_ERROR (unexpected_fail);
     
    11951067                goto _block10__branch1;
    11961068              }
    1197               if (0 != 0)
     1069              uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_115_m_24 = (_v_len53 - _v_len54);
     1070              if (_v__q_3.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_115_m_24)))
    11981071              {
    11991072                goto _block10__branch1;
    12001073              }
    1201               uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_110_m_24 = (_v_len53 - _v_len54);
    1202               if (_v__q_3.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_110_m_24)))
    1203               {
    1204                 goto _block10__branch1;
    1205               }
    1206               Expr _v_deref___q_3 (_v__q_3, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_110_m_24));
     1074              Expr _v_deref___q_3 (_v__q_3, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_115_m_24));
    12071075              if (_v_deref___q_3.get_len () != 2)
    12081076              {
     
    12261094                goto _block10__branch1;
    12271095              }
    1228               Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_110_m_24 (_v__q_3, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_110_m_24);
     1096              Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_115_m_24 (_v__q_3, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_115_m_24);
    12291097              _v_res1 = empty;
    12301098              goto _block10;
     
    12391107      _block9__branch1: {}
    12401108        {
    1241           if (1 != 1)
    1242           {
    1243             goto _block9__branch2;
    1244           }
    12451109          if (_vt_1.symbol_at (0))
    12461110          {
     
    12671131                goto _block11__branch1;
    12681132              }
    1269               if (0 != 0)
     1133              uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_119_m_22 = (_v_len55 - _v_len56);
     1134              if (_v__q_4.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_119_m_22)))
    12701135              {
    12711136                goto _block11__branch1;
    12721137              }
    1273               uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_114_m_22 = (_v_len55 - _v_len56);
    1274               if (_v__q_4.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_114_m_22)))
    1275               {
    1276                 goto _block11__branch1;
    1277               }
    1278               Expr _v_deref___q_4 (_v__q_4, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_114_m_22));
     1138              Expr _v_deref___q_4 (_v__q_4, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_119_m_22));
    12791139              if (_v_deref___q_4.get_len () != 5)
    12801140              {
     
    13111171                goto _block11__branch1;
    13121172              }
    1313               if (0 != 0)
    1314               {
    1315                 goto _block11__branch1;
    1316               }
    13171173              uintptr_t _v_len__break3 = (_v_len57 - _v_len58);
    13181174              uintptr_t _v_len59 = _v_deref__deref___q_44.get_len ();
     
    13221178                goto _block11__branch1;
    13231179              }
    1324               if (0 != 0)
    1325               {
    1326                 goto _block11__branch1;
    1327               }
    13281180              uintptr_t _v_len__step3 = (_v_len59 - _v_len60);
    13291181              uintptr_t _v_len61 = _v_deref__deref___q_43.get_len ();
     
    13331185                goto _block11__branch1;
    13341186              }
    1335               if (0 != 0)
    1336               {
    1337                 goto _block11__branch1;
    1338               }
    13391187              uintptr_t _v_len__cond2 = (_v_len61 - _v_len62);
    13401188              if (!_c_5.term_eq (_v_deref___q_4, 0))
     
    13461194                goto _block11__branch1;
    13471195              }
    1348               Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_114_m_22 (_v__q_4, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_114_m_22);
     1196              Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_119_m_22 (_v__q_4, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_119_m_22);
    13491197              Expr _ve_break (_v_deref__deref___q_42, 0, _v_len__break3);
    13501198              Expr _ve_cond (_v_deref__deref___q_43, 0, _v_len__cond2);
     
    13611209      _block9__branch2: {}
    13621210        {
    1363           if (1 != 1)
    1364           {
    1365             goto _block9__branch3;
    1366           }
    13671211          if (!_vt_1.term_eq (_c_16, 0))
    13681212          {
     
    13741218      _block9__branch3: {}
    13751219        {
    1376           if (1 != 1)
    1377           {
    1378             goto _block9__branch4;
    1379           }
    13801220          if (_vt_1.symbol_at (0))
    13811221          {
     
    13891229            goto _block9__branch4;
    13901230          }
    1391           if (0 != 0)
     1231          uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_123_m_13 = (_v_len63 - _v_len64);
     1232          if (!_c_17.term_eq (_v_deref__111, 0))
    13921233          {
    13931234            goto _block9__branch4;
    13941235          }
    1395           uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_118_m_13 = (_v_len63 - _v_len64);
    1396           if (!_c_17.term_eq (_v_deref__111, 0))
    1397           {
    1398             goto _block9__branch4;
    1399           }
    1400           Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_118_m_13 (_v_deref__111, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_118_m_13);
     1236          Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_123_m_13 (_v_deref__111, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_123_m_13);
    14011237          _v_res1 = _vt_1;
    14021238          goto _block9;
    14031239        }
    14041240      _block9__branch4: {}
    1405         if (1 != 1)
    1406         {
    1407           goto _block1__branch2;
    1408         }
    14091241        if (!_vt_1.term_eq (_c_18, 0))
    14101242        {
     
    14211253      uintptr_t _v_len66 = 1;
    14221254      if (_v_len65 < _v_len66)
    1423       {
    1424         goto _block1__branch3;
    1425       }
    1426       if (0 != 0)
    14271255      {
    14281256        goto _block1__branch3;
     
    14481276          goto _block12__branch1;
    14491277        }
    1450         if (1 != 1)
    1451         {
    1452           goto _block12__branch1;
    1453         }
    14541278        if (_v_GetR3.symbol_at (0))
    14551279        {
     
    14601284        uintptr_t _v_len68 = 0;
    14611285        if (_v_len67 < _v_len68)
    1462         {
    1463           goto _block12__branch1;
    1464         }
    1465         if (0 != 0)
    14661286        {
    14671287          goto _block12__branch1;
     
    14901310        goto _block1__branch1;
    14911311      }
    1492       if (0 != 0)
    1493       {
    1494         goto _block1__branch1;
    1495       }
    14961312      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    14971313      Expr _vt_1 (_ve_items, 0, 1);
     
    14991315      {
    15001316        {
    1501           if (1 != 1)
    1502           {
    1503             goto _block2__branch1;
    1504           }
    15051317          if (_vt_1.symbol_at (0))
    15061318          {
     
    15331345      _block2__branch1: {}
    15341346        {
    1535           if (1 != 1)
    1536           {
    1537             goto _block2__branch2;
    1538           }
    15391347          if (_vt_1.symbol_at (0))
    15401348          {
     
    15451353          uintptr_t _v_len4 = 2;
    15461354          if (_v_len3 < _v_len4)
    1547           {
    1548             goto _block2__branch2;
    1549           }
    1550           if (0 != 0)
    15511355          {
    15521356            goto _block2__branch2;
     
    15861390                goto _block3__branch1;
    15871391              }
    1588               Expr _vs__e__e_tmp_m_rfp__asail2asailrf_m_138_m_22 (_v_deref__d, (0 + 1), 1);
     1392              Expr _vs__e__e_tmp_m_rfp__asail2asailrf_m_143_m_22 (_v_deref__d, (0 + 1), 1);
    15891393              Expr _vt_new_m_var (_v_deref__d, (0 + 1 + 1), 1);
    15901394              Expr _ge_auxcall1;
     
    16071411      _block2__branch2: {}
    16081412        {
    1609           if (1 != 1)
    1610           {
    1611             goto _block2__branch3;
    1612           }
    16131413          if (_vt_1.symbol_at (0))
    16141414          {
     
    16221422            goto _block2__branch3;
    16231423          }
    1624           if (0 != 0)
    1625           {
    1626             goto _block2__branch3;
    1627           }
    16281424          uintptr_t _v_len__xpr = (_v_len5 - _v_len6);
    16291425          if (_v_deref__13.symbol_at ((0 + 1 + _v_len__xpr)))
     
    16351431          uintptr_t _v_len8 = 0;
    16361432          if (_v_len7 < _v_len8)
    1637           {
    1638             goto _block2__branch3;
    1639           }
    1640           if (0 != 0)
    16411433          {
    16421434            goto _block2__branch3;
     
    16541446          {
    16551447            {
    1656               if (1 != 1)
    1657               {
    1658                 goto _block4__branch1;
    1659               }
    16601448              if (!_vs_split.term_eq (_c_23, 0))
    16611449              {
     
    16651453            }
    16661454          _block4__branch1: {}
    1667             if (1 != 1)
    1668             {
    1669               goto _block2__branch3;
    1670             }
    16711455            if (!_vs_split.term_eq (_c_24, 0))
    16721456            {
     
    17611545            goto _block2__branch4;
    17621546          }
    1763           RF_lsplit (_ve_subst, 0, _ve__e__e_tmp_m_rfp__asail2asailrf_m_157_m_16, _v_lsplit__subst);
     1547          RF_lsplit (_ve_subst, 0, _ve__e__e_tmp_m_rfp__asail2asailrf_m_162_m_16, _v_lsplit__subst);
    17641548          for ( ; ; RF_iter(_ve_subst)++)
    17651549          {
     
    17751559                goto _block2__branch4;
    17761560              }
    1777               if (0 != 0)
    1778               {
    1779                 goto _continue1;
    1780               }
    1781               uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_157_m_33 = (_v_len9 - _v_len10);
     1561              uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_162_m_33 = (_v_len9 - _v_len10);
    17821562              if (_v_lsplit__subst.symbol_at (0))
    17831563              {
     
    17931573                goto _continue1;
    17941574              }
    1795               Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_157_m_33 (_v_lsplit__subst, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_157_m_33);
     1575              Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_162_m_33 (_v_lsplit__subst, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_162_m_33);
    17961576              Expr _vt_new_m_var (_v_deref__lsplit__subst, (0 + 1), 1);
    17971577              RF_TAILCALL (Remove_m_Dupl_m_Decl, (_ve_decls, _ve_subst, (_vt_new_m_var + _ve_rest)), _v_res1);
     
    18051585      _block2__branch4: {}
    18061586        {
    1807           if (1 != 1)
    1808           {
    1809             goto _block2__branch5;
    1810           }
    18111587          if (_vt_1.symbol_at (0))
    18121588          {
     
    18171593          uintptr_t _v_len12 = 0;
    18181594          if (_v_len11 < _v_len12)
    1819           {
    1820             goto _block2__branch5;
    1821           }
    1822           if (0 != 0)
    18231595          {
    18241596            goto _block2__branch5;
     
    18581630        goto _block1__branch1;
    18591631      }
    1860       RF_rsplit (_ve_decls, 0, _v_rsplit__decls, _ve__e__e_tmp_m_rfp__asail2asailrf_m_167_m_43);
     1632      RF_rsplit (_ve_decls, 0, _v_rsplit__decls, _ve__e__e_tmp_m_rfp__asail2asailrf_m_172_m_43);
    18611633      for ( ; ; RF_iter(_ve_decls)--)
    18621634      {
     
    18721644            goto _block1__branch1;
    18731645          }
    1874           if (0 != 0)
     1646          uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_172_m_17 = (_v_len1 - _v_len2);
     1647          if (_v_rsplit__decls.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_172_m_17)))
    18751648          {
    18761649            goto _continue1;
    18771650          }
    1878           uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_167_m_17 = (_v_len1 - _v_len2);
    1879           if (_v_rsplit__decls.symbol_at ((0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_167_m_17)))
     1651          Expr _v_deref__rsplit__decls (_v_rsplit__decls, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_172_m_17));
     1652          if (_v_deref__rsplit__decls.get_len () != 3)
    18801653          {
    18811654            goto _continue1;
    18821655          }
    1883           Expr _v_deref__rsplit__decls (_v_rsplit__decls, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_167_m_17));
    1884           if (_v_deref__rsplit__decls.get_len () != 3)
     1656          if (!_c_19.term_eq (_v_deref__rsplit__decls, 0))
    18851657          {
    18861658            goto _continue1;
    18871659          }
    1888           if (!_c_19.term_eq (_v_deref__rsplit__decls, 0))
     1660          if (!_v_deref__rsplit__decls.symbol_at ((0 + 1)))
    18891661          {
    18901662            goto _continue1;
    18911663          }
    1892           if (!_v_deref__rsplit__decls.symbol_at ((0 + 1)))
     1664          if (!_vt_var.term_eq (_v_deref__rsplit__decls, (0 + 1 + 1)))
    18931665          {
    18941666            goto _continue1;
    18951667          }
    1896           if (!_vt_var.term_eq (_v_deref__rsplit__decls, (0 + 1 + 1)))
    1897           {
    1898             goto _continue1;
    1899           }
    1900           Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_167_m_17 (_v_rsplit__decls, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_167_m_17);
     1668          Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_172_m_17 (_v_rsplit__decls, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_172_m_17);
    19011669          Expr _vs_type_m_old (_v_deref__rsplit__decls, (0 + 1), 1);
    19021670          {
    19031671            {
    1904               if (1 != 1)
    1905               {
    1906                 goto _block2__branch1;
    1907               }
    19081672              if (!_vs_type_m_old.term_eq (_vs_type, 0))
    19091673              {
     
    19161680            }
    19171681          _block2__branch1: {}
    1918             if (1 != 1)
    1919             {
    1920               RF_FUNC_ERROR (unexpected_fail);
    1921             }
    19221682            if (_vt_var.symbol_at (0))
    19231683            {
     
    19311691              RF_FUNC_ERROR (unexpected_fail);
    19321692            }
    1933             if (0 != 0)
     1693            uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_174_m_21 = (_v_len3 - _v_len4);
     1694            if (_v_deref__var.symbol_at ((0 + 1 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_174_m_21)))
    19341695            {
    19351696              RF_FUNC_ERROR (unexpected_fail);
    19361697            }
    1937             uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_169_m_21 = (_v_len3 - _v_len4);
    1938             if (_v_deref__var.symbol_at ((0 + 1 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_169_m_21)))
    1939             {
    1940               RF_FUNC_ERROR (unexpected_fail);
    1941             }
    1942             Expr _v_deref__deref__var (_v_deref__var, (0 + 1 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_169_m_21));
     1698            Expr _v_deref__deref__var (_v_deref__var, (0 + 1 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_174_m_21));
    19431699            uintptr_t _v_len5 = _v_deref__deref__var.get_len ();
    19441700            uintptr_t _v_len6 = 0;
    19451701            if (_v_len5 < _v_len6)
    1946             {
    1947               RF_FUNC_ERROR (unexpected_fail);
    1948             }
    1949             if (0 != 0)
    19501702            {
    19511703              RF_FUNC_ERROR (unexpected_fail);
     
    19571709            }
    19581710            Expr _vs_tag (_v_deref__var, 0, 1);
    1959             Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_169_m_21 (_v_deref__var, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_169_m_21);
     1711            Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_174_m_21 (_v_deref__var, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_174_m_21);
    19601712            Expr _ve_name (_v_deref__deref__var, 0, _v_len__name);
    19611713            Expr _gs_auxcall1;
     
    19861738  {
    19871739    {
    1988       if (1 != 1)
    1989       {
    1990         goto _block1__branch1;
    1991       }
    19921740      if (_gt_arg1.symbol_at (0))
    19931741      {
     
    20011749        goto _block1__branch1;
    20021750      }
    2003       if (0 != 0)
    2004       {
    2005         goto _block1__branch1;
    2006       }
    20071751      uintptr_t _v_len__args = (_v_len1 - _v_len2);
    20081752      if (!_c_27.term_eq (_v_deref__arg1, 0))
     
    20191763      {
    20201764        {
    2021           if (1 != 1)
    2022           {
    2023             goto _block2__branch1;
    2024           }
    20251765          if (!_vs_op.term_eq (_c_28, 0))
    20261766          {
     
    20371777      _block2__branch1: {}
    20381778        {
    2039           if (1 != 1)
    2040           {
    2041             goto _block2__branch2;
    2042           }
    20431779          if (!_vs_op.term_eq (_c_31, 0))
    20441780          {
     
    20551791      _block2__branch2: {}
    20561792        {
    2057           if (1 != 1)
    2058           {
    2059             goto _block2__branch3;
    2060           }
    20611793          if (!_vs_op.term_eq (_c_33, 0))
    20621794          {
     
    20731805      _block2__branch3: {}
    20741806        {
    2075           if (1 != 1)
    2076           {
    2077             goto _block2__branch4;
    2078           }
    20791807          if (!_vs_op.term_eq (_c_35, 0))
    20801808          {
     
    20911819      _block2__branch4: {}
    20921820        {
    2093           if (1 != 1)
    2094           {
    2095             goto _block2__branch5;
    2096           }
    20971821          if (!_vs_op.term_eq (_c_37, 0))
    20981822          {
     
    21081832        }
    21091833      _block2__branch5: {}
    2110         if (1 != 1)
     1834        if (!_vs_op.symbol_at (0))
    21111835        {
    21121836          RF_FUNC_ERROR (unexpected_fail);
    21131837        }
    2114         if (!_vs_op.symbol_at (0))
    2115         {
    2116           RF_FUNC_ERROR (unexpected_fail);
    2117         }
    2118         Expr _vs__e__e_tmp_m_rfp__asail2asailrf_m_191_m_6 (_vs_op, 0, 1);
     1838        Expr _vs__e__e_tmp_m_rfp__asail2asailrf_m_196_m_6 (_vs_op, 0, 1);
    21191839        if (!RF_CALL (List::Map, (_c_29, empty, _ve_args), _ge_auxalt6))
    21201840        {
     
    21371857        uintptr_t _v_len4 = 0;
    21381858        if (_v_len3 < _v_len4)
    2139         {
    2140           RF_FUNC_ERROR (unexpected_fail);
    2141         }
    2142         if (0 != 0)
    21431859        {
    21441860          RF_FUNC_ERROR (unexpected_fail);
     
    21551871  _block1__branch1: {}
    21561872    {
    2157       if (1 != 1)
    2158       {
    2159         goto _block1__branch2;
    2160       }
    21611873      if (_gt_arg1.symbol_at (0))
    21621874      {
     
    21701882        goto _block1__branch2;
    21711883      }
    2172       if (0 != 0)
    2173       {
    2174         goto _block1__branch2;
    2175       }
    21761884      uintptr_t _v_len__12 = (_v_len5 - _v_len6);
    21771885      Expr _ve_1 (_v_deref__arg12, 0, _v_len__12);
     
    21851893    }
    21861894  _block1__branch2: {}
    2187     if (1 != 1)
    2188     {
    2189       RF_FUNC_ERROR (unexpected_fail);
    2190     }
    21911895    if (!_gt_arg1.symbol_at (0))
    21921896    {
     
    22151919    RF_FUNC_ERROR (unexpected_fail);
    22161920  }
    2217   if (0 != 0)
    2218   {
    2219     RF_FUNC_ERROR (unexpected_fail);
    2220   }
    22211921  uintptr_t _v_len__args = (_v_len1 - _v_len2);
    22221922  Expr _ve_args (_v_deref__arg1, 0, _v_len__args);
     
    22421942    uintptr_t _v_len4 = 0;
    22431943    if (_v_len3 < _v_len4)
    2244     {
    2245       RF_FUNC_ERROR (unexpected_fail);
    2246     }
    2247     if (0 != 0)
    22481944    {
    22491945      RF_FUNC_ERROR (unexpected_fail);
     
    22671963        goto _block1__branch1;
    22681964      }
    2269       if (0 != 0)
     1965      uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_212_m_7 = (_v_len1 - _v_len2);
     1966      if (!_c_41.term_eq (_ge_arg1, 0))
    22701967      {
    22711968        goto _block1__branch1;
    22721969      }
    2273       uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_207_m_7 = (_v_len1 - _v_len2);
    2274       if (!_c_41.term_eq (_ge_arg1, 0))
    2275       {
    2276         goto _block1__branch1;
    2277       }
    2278       Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_207_m_7 (_ge_arg1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_207_m_7);
     1970      Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_212_m_7 (_ge_arg1, (0 + 1), _v_len___e__e_tmp_m_rfp__asail2asailrf_m_212_m_7);
    22791971      _v_res1 = _c_41;
    22801972      goto _block1;
     
    22881980        goto _block1__branch2;
    22891981      }
    2290       if (0 != 0)
     1982      uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_213_m_4 = (_v_len3 - _v_len4);
     1983      if (!_c_41.term_eq (_ge_arg1, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_213_m_4)))
    22911984      {
    22921985        goto _block1__branch2;
    22931986      }
    2294       uintptr_t _v_len___e__e_tmp_m_rfp__asail2asailrf_m_208_m_4 = (_v_len3 - _v_len4);
    2295       if (!_c_41.term_eq (_ge_arg1, (0 + _v_len___e__e_tmp_m_rfp__asail2asailrf_m_208_m_4)))
    2296       {
    2297         goto _block1__branch2;
    2298       }
    2299       Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_208_m_4 (_ge_arg1, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_208_m_4);
     1987      Expr _ve__e__e_tmp_m_rfp__asail2asailrf_m_213_m_4 (_ge_arg1, 0, _v_len___e__e_tmp_m_rfp__asail2asailrf_m_213_m_4);
    23001988      _v_res1 = _c_41;
    23011989      goto _block1;
     
    23091997        goto _block1__branch3;
    23101998      }
    2311       if (0 != 0)
    2312       {
    2313         goto _block1__branch3;
    2314       }
    23151999      uintptr_t _v_len__2 = (_v_len5 - _v_len6);
    23162000      if (!_c_42.term_eq (_ge_arg1, 0))
     
    23302014        goto _block1__branch4;
    23312015      }
    2332       if (0 != 0)
    2333       {
    2334         goto _block1__branch4;
    2335       }
    23362016      uintptr_t _v_len__1 = (_v_len7 - _v_len8);
    23372017      if (!_c_42.term_eq (_ge_arg1, (0 + _v_len__1)))
     
    23482028      uintptr_t _v_len10 = 2;
    23492029      if (_v_len9 < _v_len10)
    2350       {
    2351         goto _block1__branch5;
    2352       }
    2353       if (0 != 0)
    23542030      {
    23552031        goto _block1__branch5;
     
    23802056        goto _block1__branch6;
    23812057      }
    2382       if (0 != 0)
    2383       {
    2384         goto _block1__branch6;
    2385       }
    23862058      uintptr_t _v_len__23 = (_v_len11 - _v_len12);
    23872059      if (!_ge_arg1.symbol_at (0))
     
    24092081        goto _block1__branch1;
    24102082      }
    2411       if (0 != 0)
    2412       {
    2413         goto _block1__branch1;
    2414       }
    24152083      uintptr_t _v_len__2 = (_v_len1 - _v_len2);
    24162084      if (!_c_41.term_eq (_ge_arg1, 0))
     
    24302098        goto _block1__branch2;
    24312099      }
    2432       if (0 != 0)
    2433       {
    2434         goto _block1__branch2;
    2435       }
    24362100      uintptr_t _v_len__1 = (_v_len3 - _v_len4);
    24372101      if (!_c_41.term_eq (_ge_arg1, (0 + _v_len__1)))
     
    24482112      uintptr_t _v_len6 = 2;
    24492113      if (_v_len5 < _v_len6)
    2450       {
    2451         goto _block1__branch3;
    2452       }
    2453       if (0 != 0)
    24542114      {
    24552115        goto _block1__branch3;
     
    24802140        goto _block1__branch4;
    24812141      }
    2482       if (0 != 0)
    2483       {
    2484         goto _block1__branch4;
    2485       }
    24862142      uintptr_t _v_len__23 = (_v_len7 - _v_len8);
    24872143      if (!_ge_arg1.symbol_at (0))
     
    25092165        goto _block1__branch1;
    25102166      }
    2511       if (0 != 0)
    2512       {
    2513         goto _block1__branch1;
    2514       }
    25152167      uintptr_t _v_len__1 = (_v_len1 - _v_len2);
    25162168      if (!_c_42.term_eq (_ge_arg1, (0 + _v_len__1)))
     
    25372189        goto _block1__branch1;
    25382190      }
    2539       if (0 != 0)
    2540       {
    2541         goto _block1__branch1;
    2542       }
    25432191      uintptr_t _v_len__1 = (_v_len1 - _v_len2);
    25442192      if (!_c_42.term_eq (_ge_arg1, (0 + _v_len__1)))
     
    25652213        goto _block1__branch1;
    25662214      }
    2567       if (0 != 0)
    2568       {
    2569         goto _block1__branch1;
    2570       }
    25712215      uintptr_t _v_len__1 = (_v_len1 - _v_len2);
    25722216      if (!_c_41.term_eq (_ge_arg1, (0 + _v_len__1)))
     
    25802224  _block1__branch1: {}
    25812225    _v_res1 = _ge_arg1;
     2226  }
     2227_block1: {}
     2228RF_END
     2229
     2230RF_FUNC (Simplify_m_Cmp, (RF_ARG _vs_op, _ve_xpr1, _ve_xpr2;;), (RF_RES _v_res1;;))
     2231  Expr _gs_op__1;
     2232  {
     2233    {
     2234      if (!_vs_op.term_eq (_c_43, 0))
     2235      {
     2236        goto _block1__branch1;
     2237      }
     2238      _gs_op__1 = _c_44;
     2239      goto _block1;
     2240    }
     2241  _block1__branch1: {}
     2242    {
     2243      if (!_vs_op.term_eq (_c_45, 0))
     2244      {
     2245        goto _block1__branch2;
     2246      }
     2247      _gs_op__1 = _c_46;
     2248      goto _block1;
     2249    }
     2250  _block1__branch2: {}
     2251    if (!_vs_op.term_eq (_c_47, 0))
     2252    {
     2253      RF_FUNC_ERROR (unexpected_fail);
     2254    }
     2255    _gs_op__1 = _c_48;
     2256  }
     2257_block1: {}
     2258  RF_TAILCALL (Cmp, (_gs_op__1, _ve_xpr1, _ve_xpr2), _v_res1);
     2259RF_END
     2260
     2261RF_FUNC (Cmp, (RF_ARG _gs_arg1, _ge_arg2, _ge_arg3;;), (RF_RES _v_res1;;))
     2262  {
     2263    {
     2264      Expr _v_compose1 ((_gs_arg1 + _ge_arg2 () + _ge_arg3 ()));
     2265      if (_v_compose1.symbol_at ((0 + 1)))
     2266      {
     2267        goto _block1__branch1;
     2268      }
     2269      if (_v_compose1.symbol_at ((0 + 1 + 1)))
     2270      {
     2271        goto _block1__branch1;
     2272      }
     2273      Expr _v_deref__compose1 (_v_compose1, (0 + 1));
     2274      Expr _v_deref__compose12 (_v_compose1, (0 + 1 + 1));
     2275      if (_v_deref__compose12.get_len () < 1)
     2276      {
     2277        goto _block1__branch1;
     2278      }
     2279      if (_v_deref__compose1.get_len () < 1)
     2280      {
     2281        goto _block1__branch1;
     2282      }
     2283      if (!_v_compose1.symbol_at (0))
     2284      {
     2285        goto _block1__branch1;
     2286      }
     2287      Expr _vs_fn (_v_compose1, 0, 1);
     2288      RF_lsplit (_v_deref__compose1, 0, _ve_11, _v_lsplit__deref__compose1);
     2289      for ( ; ; RF_iter(_v_deref__compose1)++)
     2290      {
     2291        {
     2292          if (!RF_iter(_v_deref__compose1))
     2293          {
     2294            goto _block1__branch1;
     2295          }
     2296          uintptr_t _v_len1 = _v_lsplit__deref__compose1.get_len ();
     2297          uintptr_t _v_len2 = 1;
     2298          if (_v_len1 < _v_len2)
     2299          {
     2300            goto _block1__branch1;
     2301          }
     2302          uintptr_t _v_len__12 = (_v_len1 - _v_len2);
     2303          Expr _vt_x (_v_lsplit__deref__compose1, 0, 1);
     2304          Expr _ve_12 (_v_lsplit__deref__compose1, (0 + 1), _v_len__12);
     2305          RF_lsplit (_v_deref__compose12, 0, _ve_21, _v_lsplit__deref__compose12);
     2306          for ( ; ; RF_iter(_v_deref__compose12)++)
     2307          {
     2308            {
     2309              if (!RF_iter(_v_deref__compose12))
     2310              {
     2311                goto _continue1;
     2312              }
     2313              uintptr_t _v_len3 = _v_lsplit__deref__compose12.get_len ();
     2314              uintptr_t _v_len4 = 1;
     2315              if (_v_len3 < _v_len4)
     2316              {
     2317                goto _continue1;
     2318              }
     2319              uintptr_t _v_len__22 = (_v_len3 - _v_len4);
     2320              if (!_vt_x.term_eq (_v_lsplit__deref__compose12, 0))
     2321              {
     2322                goto _continue2;
     2323              }
     2324              Expr _ve_22 (_v_lsplit__deref__compose12, (0 + 1), _v_len__22);
     2325              RF_TAILCALL (Cmp, (_vs_fn, (_ve_11 + _ve_12), (_ve_21 + _ve_22)), _v_res1);
     2326              goto _exit2;
     2327            }
     2328        _continue2: {}
     2329          }
     2330        _exit2: {}
     2331          goto _exit1;
     2332        }
     2333    _continue1: {}
     2334      }
     2335    _exit1: {}
     2336      goto _block1;
     2337    }
     2338  _block1__branch1: {}
     2339    {
     2340      if (!RF_CALL (List::All, (_c_49, empty, _ge_arg2), /*void*/))
     2341      {
     2342        goto _block1__branch2;
     2343      }
     2344      if (!RF_CALL (List::All, (_c_49, empty, _ge_arg3), /*void*/))
     2345      {
     2346        goto _block1__branch2;
     2347      }
     2348      Expr _ge_auxcall1;
     2349      RF_CALL (List::Foldr1, (_c_50, empty, _ge_arg2), _ge_auxcall1);
     2350      Expr _ge_auxcall2;
     2351      RF_CALL (List::Foldr1, (_c_50, empty, _ge_arg3), _ge_auxcall2);
     2352      RF_TAILCALL (Apply::Apply, (_gs_arg1, (_ge_auxcall1 () + _ge_auxcall2 ())), _v_res1);
     2353      goto _block1;
     2354    }
     2355  _block1__branch2: {}
     2356    _v_res1 = (_ge_arg2 () + _ge_arg3 ());
    25822357  }
    25832358_block1: {}
     
    26102385RF_END
    26112386
     2387RF_FUNC (_p___0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     2388  if (_ge_arg1.get_len () != 2)
     2389  {
     2390    RF_ERROR (_c_51);
     2391  }
     2392  if (!_ge_arg1.symbol_at (0))
     2393  {
     2394    RF_ERROR (_c_51);
     2395  }
     2396  if (!_ge_arg1.symbol_at ((0 + 1)))
     2397  {
     2398    RF_ERROR (_c_51);
     2399  }
     2400  Expr _v_stub1 (_ge_arg1, 0, 1);
     2401  Expr _v_stub2 (_ge_arg1, (0 + 1), 1);
     2402  RF_CALL (Arithm::_p_, (_v_stub1, _v_stub2), _v_res1);
     2403RF_END
     2404
     2405RF_FUNC (Int_q___0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     2406  uintptr_t _v_len1 = _ge_arg1.get_len ();
     2407  uintptr_t _v_len2 = 0;
     2408  if (_v_len1 < _v_len2)
     2409  {
     2410    RF_ERROR (_c_51);
     2411  }
     2412  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
     2413  Expr _v_stub1 (_ge_arg1, 0, _v_len__stub1);
     2414  if (!RF_CALL (Class::Int_q_, _v_stub1, /*void*/))
     2415  {
     2416    RF_RETFAIL;
     2417  }
     2418  _v_res1 = empty;
     2419RF_END
     2420
     2421RF_FUNC (_lt___0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     2422  if (_ge_arg1.get_len () != 2)
     2423  {
     2424    RF_ERROR (_c_51);
     2425  }
     2426  if (_ge_arg1.symbol_at (0))
     2427  {
     2428    RF_ERROR (_c_51);
     2429  }
     2430  if (_ge_arg1.symbol_at ((0 + 1)))
     2431  {
     2432    RF_ERROR (_c_51);
     2433  }
     2434  Expr _v_deref__arg1 (_ge_arg1, 0);
     2435  Expr _v_deref__arg12 (_ge_arg1, (0 + 1));
     2436  uintptr_t _v_len1 = _v_deref__arg12.get_len ();
     2437  uintptr_t _v_len2 = 0;
     2438  if (_v_len1 < _v_len2)
     2439  {
     2440    RF_ERROR (_c_51);
     2441  }
     2442  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
     2443  uintptr_t _v_len3 = _v_deref__arg1.get_len ();
     2444  uintptr_t _v_len4 = 0;
     2445  if (_v_len3 < _v_len4)
     2446  {
     2447    RF_ERROR (_c_51);
     2448  }
     2449  uintptr_t _v_len__stub2 = (_v_len3 - _v_len4);
     2450  Expr _v_stub2 (_v_deref__arg1, 0, _v_len__stub2);
     2451  Expr _v_stub1 (_v_deref__arg12, 0, _v_len__stub1);
     2452  if (!RF_CALL (Compare::_lt_, (_v_stub2, _v_stub1), /*void*/))
     2453  {
     2454    RF_RETFAIL;
     2455  }
     2456  _v_res1 = empty;
     2457RF_END
     2458
     2459RF_FUNC (_s__eq___0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     2460  if (_ge_arg1.get_len () != 2)
     2461  {
     2462    RF_ERROR (_c_51);
     2463  }
     2464  if (_ge_arg1.symbol_at (0))
     2465  {
     2466    RF_ERROR (_c_51);
     2467  }
     2468  if (_ge_arg1.symbol_at ((0 + 1)))
     2469  {
     2470    RF_ERROR (_c_51);
     2471  }
     2472  Expr _v_deref__arg1 (_ge_arg1, 0);
     2473  Expr _v_deref__arg12 (_ge_arg1, (0 + 1));
     2474  uintptr_t _v_len1 = _v_deref__arg12.get_len ();
     2475  uintptr_t _v_len2 = 0;
     2476  if (_v_len1 < _v_len2)
     2477  {
     2478    RF_ERROR (_c_51);
     2479  }
     2480  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
     2481  uintptr_t _v_len3 = _v_deref__arg1.get_len ();
     2482  uintptr_t _v_len4 = 0;
     2483  if (_v_len3 < _v_len4)
     2484  {
     2485    RF_ERROR (_c_51);
     2486  }
     2487  uintptr_t _v_len__stub2 = (_v_len3 - _v_len4);
     2488  Expr _v_stub2 (_v_deref__arg1, 0, _v_len__stub2);
     2489  Expr _v_stub1 (_v_deref__arg12, 0, _v_len__stub1);
     2490  if (!RF_CALL (Compare::_s__eq_, (_v_stub2, _v_stub1), /*void*/))
     2491  {
     2492    RF_RETFAIL;
     2493  }
     2494  _v_res1 = empty;
     2495RF_END
     2496
    26122497RF_FUNC (Simplify_m_Infix__0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
    26132498  if (_ge_arg1.get_len () != 1)
    26142499  {
    2615     RF_ERROR (_c_43);
     2500    RF_ERROR (_c_51);
    26162501  }
    26172502  Expr _v_stub1 (_ge_arg1, 0, 1);
    26182503  RF_CALL (Simplify_m_Infix, _v_stub1, _v_res1);
     2504RF_END
     2505
     2506RF_FUNC (_gt___0, (RF_ARG _ge_arg1;;), (RF_RES _v_res1;;))
     2507  if (_ge_arg1.get_len () != 2)
     2508  {
     2509    RF_ERROR (_c_51);
     2510  }
     2511  if (_ge_arg1.symbol_at (0))
     2512  {
     2513    RF_ERROR (_c_51);
     2514  }
     2515  if (_ge_arg1.symbol_at ((0 + 1)))
     2516  {
     2517    RF_ERROR (_c_51);
     2518  }
     2519  Expr _v_deref__arg1 (_ge_arg1, 0);
     2520  Expr _v_deref__arg12 (_ge_arg1, (0 + 1));
     2521  uintptr_t _v_len1 = _v_deref__arg12.get_len ();
     2522  uintptr_t _v_len2 = 0;
     2523  if (_v_len1 < _v_len2)
     2524  {
     2525    RF_ERROR (_c_51);
     2526  }
     2527  uintptr_t _v_len__stub1 = (_v_len1 - _v_len2);
     2528  uintptr_t _v_len3 = _v_deref__arg1.get_len ();
     2529  uintptr_t _v_len4 = 0;
     2530  if (_v_len3 < _v_len4)
     2531  {
     2532    RF_ERROR (_c_51);
     2533  }
     2534  uintptr_t _v_len__stub2 = (_v_len3 - _v_len4);
     2535  Expr _v_stub2 (_v_deref__arg1, 0, _v_len__stub2);
     2536  Expr _v_stub1 (_v_deref__arg12, 0, _v_len__stub1);
     2537  if (!RF_CALL (Compare::_gt_, (_v_stub2, _v_stub1), /*void*/))
     2538  {
     2539    RF_RETFAIL;
     2540  }
     2541  _v_res1 = empty;
    26192542RF_END
    26202543
     
    26732596  _c_41 = Expr::create<rftype::Integer>("0");
    26742597  _c_42 = Expr::create<rftype::Integer>("1");
    2675   _c_43 = Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Unexpected fail");
     2598  _c_43 = Expr::create<rftype::Word>("!=");
     2599  _c_44 = Expr::create_sym<rftype::Func> (_s__eq___0);
     2600  _c_45 = Expr::create<rftype::Word>(">");
     2601  _c_46 = Expr::create_sym<rftype::Func> (_gt___0);
     2602  _c_47 = Expr::create<rftype::Word>("<");
     2603  _c_48 = Expr::create_sym<rftype::Func> (_lt___0);
     2604  _c_49 = Expr::create_sym<rftype::Func> (Int_q___0);
     2605  _c_50 = Expr::create_sym<rftype::Func> (_p___0);
     2606  _c_51 = Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Apply") + Expr::create<rftype::Word>("Unexpected fail");
    26762607}
    26772608
  • to-imperative/trunk/c++/compiler/rfp_asail_cpp.cc

    r2367 r2402  
    445445  uintptr_t _v_len2 = 1;
    446446  if (_v_len1 < _v_len2)
    447   {
    448     RF_FUNC_ERROR (unexpected_fail);
    449   }
    450   if (0 != 0)
    451447  {
    452448    RF_FUNC_ERROR (unexpected_fail);
     
    465461    RF_FUNC_ERROR (unexpected_fail);
    466462  }
    467   if (0 != 0)
    468   {
    469     RF_FUNC_ERROR (unexpected_fail);
    470   }
    471463  uintptr_t _v_len__ModuleName = (_v_len3 - _v_len4);
    472464  Expr _ve_asail (_v_compose1, (0 + 1), _v_len__asail);
     
    517509        goto _block3__branch1;
    518510      }
    519       if (0 != 0)
    520       {
    521         goto _block3__branch1;
    522       }
    523511      uintptr_t _v_len__cpp = (_v_len5 - _v_len6);
    524512      Expr _vv_cpp (_v_ASAIL_m_To_m_CPP1, 0, _v_len__cpp);
     
    531519          uintptr_t _v_len8 = 0;
    532520          if (_v_len7 < (_v_len8 + 1))
    533           {
    534             goto _block4__branch1;
    535           }
    536           if (0 != 0)
    537521          {
    538522            goto _block4__branch1;
     
    563547            goto _block5__branch1;
    564548          }
    565           if (0 != 0)
    566           {
    567             goto _block5__branch1;
    568           }
    569549          uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_86_m_35 = (_v_len9 - _v_len10);
    570550          Expr _vv__e__e_tmp_m_rfp__asail__cpprf_m_86_m_35 (_v__q_2, 0, _v_len___e__e_tmp_m_rfp__asail__cpprf_m_86_m_35);
     
    588568            goto _block6__branch1;
    589569          }
    590           if (0 != 0)
    591           {
    592             goto _block6__branch1;
    593           }
    594570          uintptr_t _v_len__name = (_v_len11 - _v_len12);
    595571          Expr _vv_name (_v__q_3, 0, _v_len__name);
     
    609585          uintptr_t _v_len14 = 0;
    610586          if (_v_len13 < (_v_len14 + 1))
    611           {
    612             goto _block7__branch1;
    613           }
    614           if (0 != 0)
    615587          {
    616588            goto _block7__branch1;
     
    639611            uintptr_t _v_len16 = 1;
    640612            if (_v_len15 < _v_len16)
    641             {
    642               RF_FUNC_ERROR (unexpected_fail);
    643             }
    644             if (0 != 0)
    645613            {
    646614              RF_FUNC_ERROR (unexpected_fail);
     
    667635              RF_FUNC_ERROR (unexpected_fail);
    668636            }
    669             if (0 != 0)
    670             {
    671               RF_FUNC_ERROR (unexpected_fail);
    672             }
    673637            uintptr_t _v_len__value = (_v_len17 - _v_len18);
    674638            Expr _ve_rest (_ve_c_m_exprs, (0 + 1), _v_len__rest);
     
    705669        goto _block1__branch1;
    706670      }
    707       if (0 != 0)
    708       {
    709         goto _block1__branch1;
    710       }
    711671      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    712672      Expr _vt_item (_ve_asail, 0, 1);
     
    715675      {
    716676        {
    717           if (1 != 1)
    718           {
    719             goto _block2__branch1;
    720           }
    721677          if (_vt_item.symbol_at (0))
    722678          {
     
    727683          uintptr_t _v_len4 = 5;
    728684          if (_v_len3 < _v_len4)
    729           {
    730             goto _block2__branch1;
    731           }
    732           if (0 != 0)
    733685          {
    734686            goto _block2__branch1;
     
    750702          {
    751703            {
    752               if (1 != 1)
    753               {
    754                 goto _block3__branch1;
    755               }
    756704              if (!_vs_tag.term_eq (_c_14, 0))
    757705              {
     
    761709            }
    762710          _block3__branch1: {}
    763             if (1 != 1)
    764             {
    765               goto _block2__branch1;
    766             }
    767711            if (!_vs_tag.term_eq (_c_15, 0))
    768712            {
     
    779723      _block2__branch1: {}
    780724        {
    781           if (1 != 1)
    782           {
    783             goto _block2__branch2;
    784           }
    785725          if (_vt_item.symbol_at (0))
    786726          {
     
    791731          uintptr_t _v_len6 = 5;
    792732          if (_v_len5 < _v_len6)
    793           {
    794             goto _block2__branch2;
    795           }
    796           if (0 != 0)
    797733          {
    798734            goto _block2__branch2;
     
    815751            goto _block2__branch2;
    816752          }
    817           if (0 != 0)
    818           {
    819             goto _block2__branch2;
    820           }
    821753          uintptr_t _v_len__ress = (_v_len7 - _v_len8);
    822754          uintptr_t _v_len9 = _v_deref__deref__item2.get_len ();
    823755          uintptr_t _v_len10 = 0;
    824756          if (_v_len9 < _v_len10)
    825           {
    826             goto _block2__branch2;
    827           }
    828           if (0 != 0)
    829757          {
    830758            goto _block2__branch2;
     
    849777          {
    850778            {
    851               if (1 != 1)
    852               {
    853                 goto _block4__branch1;
    854               }
    855779              if (!_vs_tag.term_eq (_c_14, 0))
    856780              {
     
    862786            }
    863787          _block4__branch1: {}
    864             if (1 != 1)
    865             {
    866               goto _block2__branch2;
    867             }
    868788            if (!_vs_tag.term_eq (_c_15, 0))
    869789            {
     
    896816                  {
    897817                    goto _block5__branch1;
    898                   }
    899                   if (0 != 0)
    900                   {
    901                     goto _continue1;
    902818                  }
    903819                  uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_124_m_32 = (_v_len11 - _v_len12);
     
    976892      _block2__branch2: {}
    977893        {
    978           if (1 != 1)
    979           {
    980             goto _block2__branch3;
    981           }
    982894          if (_vt_item.symbol_at (0))
    983895          {
     
    1000912      _block2__branch3: {}
    1001913        {
    1002           if (1 != 1)
    1003           {
    1004             goto _block2__branch4;
    1005           }
    1006914          if (_vt_item.symbol_at (0))
    1007915          {
     
    1012920          uintptr_t _v_len14 = 4;
    1013921          if (_v_len13 < _v_len14)
    1014           {
    1015             goto _block2__branch4;
    1016           }
    1017           if (0 != 0)
    1018922          {
    1019923            goto _block2__branch4;
     
    1036940            goto _block2__branch4;
    1037941          }
    1038           if (0 != 0)
    1039           {
    1040             goto _block2__branch4;
    1041           }
    1042942          uintptr_t _v_len__arg2 = (_v_len15 - _v_len16);
    1043943          uintptr_t _v_len17 = _v_deref__deref__item4.get_len ();
    1044944          uintptr_t _v_len18 = 0;
    1045945          if (_v_len17 < _v_len18)
    1046           {
    1047             goto _block2__branch4;
    1048           }
    1049           if (0 != 0)
    1050946          {
    1051947            goto _block2__branch4;
     
    1075971      _block2__branch4: {}
    1076972        {
    1077           if (1 != 1)
    1078           {
    1079             goto _block2__branch5;
    1080           }
    1081973          if (_vt_item.symbol_at (0))
    1082974          {
     
    1087979          uintptr_t _v_len20 = 2;
    1088980          if (_v_len19 < _v_len20)
    1089           {
    1090             goto _block2__branch5;
    1091           }
    1092           if (0 != 0)
    1093981          {
    1094982            goto _block2__branch5;
     
    1110998      _block2__branch5: {}
    1111999        {
    1112           if (1 != 1)
    1113           {
    1114             goto _block2__branch6;
    1115           }
    11161000          if (_vt_item.symbol_at (0))
    11171001          {
     
    11221006          uintptr_t _v_len22 = 5;
    11231007          if (_v_len21 < _v_len22)
    1124           {
    1125             goto _block2__branch6;
    1126           }
    1127           if (0 != 0)
    11281008          {
    11291009            goto _block2__branch6;
     
    11561036            goto _block2__branch6;
    11571037          }
    1158           if (0 != 0)
    1159           {
    1160             goto _block2__branch6;
    1161           }
    11621038          uintptr_t _v_len__cont_m_label = (_v_len23 - _v_len24);
    11631039          uintptr_t _v_len25 = _v_deref__deref__item62.get_len ();
     
    11671043            goto _block2__branch6;
    11681044          }
    1169           if (0 != 0)
    1170           {
    1171             goto _block2__branch6;
    1172           }
    11731045          uintptr_t _v_len__break_m_label = (_v_len25 - _v_len26);
    11741046          uintptr_t _v_len27 = _v_deref__deref__item64.get_len ();
     
    11781050            goto _block2__branch6;
    11791051          }
    1180           if (0 != 0)
    1181           {
    1182             goto _block2__branch6;
    1183           }
    11841052          uintptr_t _v_len__step = (_v_len27 - _v_len28);
    11851053          uintptr_t _v_len29 = _v_deref__deref__item63.get_len ();
    11861054          uintptr_t _v_len30 = 0;
    11871055          if (_v_len29 < _v_len30)
    1188           {
    1189             goto _block2__branch6;
    1190           }
    1191           if (0 != 0)
    11921056          {
    11931057            goto _block2__branch6;
     
    12481112      _block2__branch6: {}
    12491113        {
    1250           if (1 != 1)
    1251           {
    1252             goto _block2__branch7;
    1253           }
    12541114          if (_vt_item.symbol_at (0))
    12551115          {
     
    12631123            goto _block2__branch7;
    12641124          }
    1265           if (0 != 0)
    1266           {
    1267             goto _block2__branch7;
    1268           }
    12691125          uintptr_t _v_len__body6 = (_v_len31 - _v_len32);
    12701126          if (_v_deref__item7.symbol_at ((0 + 1)))
     
    12761132          uintptr_t _v_len34 = 0;
    12771133          if (_v_len33 < _v_len34)
    1278           {
    1279             goto _block2__branch7;
    1280           }
    1281           if (0 != 0)
    12821134          {
    12831135            goto _block2__branch7;
     
    12991151      _block2__branch7: {}
    13001152        {
    1301           if (1 != 1)
    1302           {
    1303             goto _block2__branch8;
    1304           }
    13051153          if (_vt_item.symbol_at (0))
    13061154          {
     
    13111159          uintptr_t _v_len36 = 1;
    13121160          if (_v_len35 < _v_len36)
    1313           {
    1314             goto _block2__branch8;
    1315           }
    1316           if (0 != 0)
    13171161          {
    13181162            goto _block2__branch8;
     
    13311175      _block2__branch8: {}
    13321176        {
    1333           if (1 != 1)
    1334           {
    1335             goto _block2__branch9;
    1336           }
    13371177          if (_vt_item.symbol_at (0))
    13381178          {
     
    13431183          uintptr_t _v_len38 = 1;
    13441184          if (_v_len37 < _v_len38)
    1345           {
    1346             goto _block2__branch9;
    1347           }
    1348           if (0 != 0)
    13491185          {
    13501186            goto _block2__branch9;
     
    13631199      _block2__branch9: {}
    13641200        {
    1365           if (1 != 1)
    1366           {
    1367             goto _block2__branch10;
    1368           }
    13691201          if (!_vt_item.term_eq (_c_46, 0))
    13701202          {
     
    13791211              uintptr_t _v_len40 = 1;
    13801212              if (_v_len39 < _v_len40)
    1381               {
    1382                 goto _block10__branch1;
    1383               }
    1384               if (0 != 0)
    13851213              {
    13861214                goto _block10__branch1;
     
    13981226                goto _block10__branch1;
    13991227              }
    1400               if (0 != 0)
    1401               {
    1402                 goto _block10__branch1;
    1403               }
    14041228              uintptr_t _v_len__ress2 = (_v_len41 - _v_len42);
    14051229              Expr _ve_name (_v__q_2, 0, _v_len__name);
     
    14171241      _block2__branch10: {}
    14181242        {
    1419           if (1 != 1)
    1420           {
    1421             goto _block2__branch11;
    1422           }
    14231243          if (!_vt_item.term_eq (_c_47, 0))
    14241244          {
     
    14331253              uintptr_t _v_len44 = 1;
    14341254              if (_v_len43 < _v_len44)
    1435               {
    1436                 goto _block11__branch1;
    1437               }
    1438               if (0 != 0)
    14391255              {
    14401256                goto _block11__branch1;
     
    14521268                goto _block11__branch1;
    14531269              }
    1454               if (0 != 0)
    1455               {
    1456                 goto _block11__branch1;
    1457               }
    14581270              uintptr_t _v_len__ress3 = (_v_len45 - _v_len46);
    14591271              Expr _ve_name (_v__q_3, 0, _v_len__name2);
     
    14711283      _block2__branch11: {}
    14721284        {
    1473           if (1 != 1)
    1474           {
    1475             goto _block2__branch12;
    1476           }
    14771285          if (!_vt_item.term_eq (_c_49, 0))
    14781286          {
     
    14841292      _block2__branch12: {}
    14851293        {
    1486           if (1 != 1)
    1487           {
    1488             goto _block2__branch13;
    1489           }
    14901294          if (_vt_item.symbol_at (0))
    14911295          {
     
    14991303            goto _block2__branch13;
    15001304          }
    1501           if (0 != 0)
    1502           {
    1503             goto _block2__branch13;
    1504           }
    15051305          uintptr_t _v_len__expr = (_v_len47 - _v_len48);
    15061306          if (_v_deref__item10.symbol_at ((0 + 1 + _v_len__expr)))
     
    15121312          uintptr_t _v_len50 = 0;
    15131313          if (_v_len49 < _v_len50)
    1514           {
    1515             goto _block2__branch13;
    1516           }
    1517           if (0 != 0)
    15181314          {
    15191315            goto _block2__branch13;
     
    15411337      _block2__branch13: {}
    15421338        {
    1543           if (1 != 1)
    1544           {
    1545             goto _block2__branch14;
    1546           }
    15471339          if (_vt_item.symbol_at (0))
    15481340          {
     
    15561348            goto _block2__branch14;
    15571349          }
    1558           if (0 != 0)
    1559           {
    1560             goto _block2__branch14;
    1561           }
    15621350          uintptr_t _v_len__expr2 = (_v_len51 - _v_len52);
    15631351          if (_v_deref__item11.symbol_at ((0 + 1 + _v_len__expr2)))
     
    15691357          uintptr_t _v_len54 = 0;
    15701358          if (_v_len53 < _v_len54)
    1571           {
    1572             goto _block2__branch14;
    1573           }
    1574           if (0 != 0)
    15751359          {
    15761360            goto _block2__branch14;
     
    15981382      _block2__branch14: {}
    15991383        {
    1600           if (1 != 1)
    1601           {
    1602             goto _block2__branch15;
    1603           }
    16041384          if (_vt_item.symbol_at (0))
    16051385          {
     
    16101390          uintptr_t _v_len56 = 2;
    16111391          if (_v_len55 < _v_len56)
    1612           {
    1613             goto _block2__branch15;
    1614           }
    1615           if (0 != 0)
    16161392          {
    16171393            goto _block2__branch15;
     
    16331409      _block2__branch15: {}
    16341410        {
    1635           if (1 != 1)
    1636           {
    1637             goto _block2__branch16;
    1638           }
    16391411          if (_vt_item.symbol_at (0))
    16401412          {
     
    16631435      _block2__branch16: {}
    16641436        {
    1665           if (1 != 1)
    1666           {
    1667             goto _block2__branch17;
    1668           }
    16691437          if (_vt_item.symbol_at (0))
    16701438          {
     
    16751443          uintptr_t _v_len58 = 2;
    16761444          if (_v_len57 < _v_len58)
    1677           {
    1678             goto _block2__branch17;
    1679           }
    1680           if (0 != 0)
    16811445          {
    16821446            goto _block2__branch17;
     
    16981462      _block2__branch17: {}
    16991463        {
    1700           if (1 != 1)
    1701           {
    1702             goto _block2__branch18;
    1703           }
    17041464          if (_vt_item.symbol_at (0))
    17051465          {
     
    17101470          uintptr_t _v_len60 = 2;
    17111471          if (_v_len59 < _v_len60)
    1712           {
    1713             goto _block2__branch18;
    1714           }
    1715           if (0 != 0)
    17161472          {
    17171473            goto _block2__branch18;
     
    17331489      _block2__branch18: {}
    17341490        {
    1735           if (1 != 1)
    1736           {
    1737             goto _block2__branch19;
    1738           }
    17391491          if (_vt_item.symbol_at (0))
    17401492          {
     
    17481500            goto _block2__branch19;
    17491501          }
    1750           if (0 != 0)
    1751           {
    1752             goto _block2__branch19;
    1753           }
    17541502          uintptr_t _v_len__expr6 = (_v_len61 - _v_len62);
    17551503          if (_v_deref__item16.symbol_at ((0 + 1 + 1 + _v_len__expr6)))
     
    17611509          uintptr_t _v_len64 = 0;
    17621510          if (_v_len63 < _v_len64)
    1763           {
    1764             goto _block2__branch19;
    1765           }
    1766           if (0 != 0)
    17671511          {
    17681512            goto _block2__branch19;
     
    17871531      _block2__branch19: {}
    17881532        {
    1789           if (1 != 1)
    1790           {
    1791             goto _block2__branch20;
    1792           }
    17931533          if (_vt_item.symbol_at (0))
    17941534          {
     
    17991539          uintptr_t _v_len66 = 4;
    18001540          if (_v_len65 < _v_len66)
    1801           {
    1802             goto _block2__branch20;
    1803           }
    1804           if (0 != 0)
    18051541          {
    18061542            goto _block2__branch20;
     
    18231559            goto _block2__branch20;
    18241560          }
    1825           if (0 != 0)
    1826           {
    1827             goto _block2__branch20;
    1828           }
    18291561          uintptr_t _v_len__len = (_v_len67 - _v_len68);
    18301562          uintptr_t _v_len69 = _v_deref__deref__item17.get_len ();
    18311563          uintptr_t _v_len70 = 0;
    18321564          if (_v_len69 < _v_len70)
    1833           {
    1834             goto _block2__branch20;
    1835           }
    1836           if (0 != 0)
    18371565          {
    18381566            goto _block2__branch20;
     
    18601588      _block2__branch20: {}
    18611589        {
    1862           if (1 != 1)
    1863           {
    1864             goto _block2__branch21;
    1865           }
    18661590          if (_vt_item.symbol_at (0))
    18671591          {
     
    18851609      _block2__branch21: {}
    18861610        {
    1887           if (1 != 1)
    1888           {
    1889             goto _block2__branch22;
    1890           }
    18911611          if (_vt_item.symbol_at (0))
    18921612          {
     
    19101630      _block2__branch22: {}
    19111631        {
    1912           if (1 != 1)
    1913           {
    1914             goto _block2__branch23;
    1915           }
    19161632          if (_vt_item.symbol_at (0))
    19171633          {
     
    19351651      _block2__branch23: {}
    19361652        {
    1937           if (1 != 1)
    1938           {
    1939             goto _block2__branch24;
    1940           }
    19411653          if (_vt_item.symbol_at (0))
    19421654          {
     
    19471659          uintptr_t _v_len72 = 1;
    19481660          if (_v_len71 < _v_len72)
    1949           {
    1950             goto _block2__branch24;
    1951           }
    1952           if (0 != 0)
    19531661          {
    19541662            goto _block2__branch24;
     
    19671675      _block2__branch24: {}
    19681676        {
    1969           if (1 != 1)
    1970           {
    1971             goto _block2__branch25;
    1972           }
    19731677          if (_vt_item.symbol_at (0))
    19741678          {
     
    19821686            goto _block2__branch25;
    19831687          }
    1984           if (0 != 0)
    1985           {
    1986             goto _block2__branch25;
    1987           }
    19881688          uintptr_t _v_len__expr9 = (_v_len73 - _v_len74);
    19891689          if (_v_deref__item22.symbol_at ((0 + 1 + 1 + 1)))
     
    19951695          uintptr_t _v_len76 = 0;
    19961696          if (_v_len75 < _v_len76)
    1997           {
    1998             goto _block2__branch25;
    1999           }
    2000           if (0 != 0)
    20011697          {
    20021698            goto _block2__branch25;
     
    20161712      _block2__branch25: {}
    20171713        {
    2018           if (1 != 1)
    2019           {
    2020             goto _block2__branch26;
    2021           }
    20221714          if (_vt_item.symbol_at (0))
    20231715          {
     
    20311723            goto _block2__branch26;
    20321724          }
    2033           if (0 != 0)
    2034           {
    2035             goto _block2__branch26;
    2036           }
    20371725          uintptr_t _v_len__expr10 = (_v_len77 - _v_len78);
    20381726          if (_v_deref__item23.symbol_at ((0 + 1 + 1 + 1)))
     
    20441732          uintptr_t _v_len80 = 0;
    20451733          if (_v_len79 < _v_len80)
    2046           {
    2047             goto _block2__branch26;
    2048           }
    2049           if (0 != 0)
    20501734          {
    20511735            goto _block2__branch26;
     
    20671751          {
    20681752            {
    2069               if (1 != 1)
    2070               {
    2071                 goto _block12__branch1;
    2072               }
    20731753              if (!_vs_linkage.term_eq (_c_18, 0))
    20741754              {
     
    20861766          {
    20871767            {
    2088               if (1 != 1)
    2089               {
    2090                 goto _block13__branch1;
    2091               }
    20921768              if (_vt_name.symbol_at (0))
    20931769              {
     
    20981774              uintptr_t _v_len82 = 1;
    20991775              if (_v_len81 < _v_len82)
    2100               {
    2101                 goto _block13__branch1;
    2102               }
    2103               if (0 != 0)
    21041776              {
    21051777                goto _block13__branch1;
     
    21331805      _block2__branch26: {}
    21341806        {
    2135           if (1 != 1)
    2136           {
    2137             goto _block2__branch27;
    2138           }
    21391807          if (_vt_item.symbol_at (0))
    21401808          {
     
    21641832          {
    21651833            {
    2166               if (1 != 1)
    2167               {
    2168                 goto _block14__branch1;
    2169               }
    21701834              if (!_vs_linkage.term_eq (_c_18, 0))
    21711835              {
     
    21871851            goto _block1__branch1;
    21881852          }
    2189           if (0 != 0)
    2190           {
    2191             goto _block1__branch1;
    2192           }
    21931853          uintptr_t _v_len__2 = (_v_len83 - _v_len84);
    21941854          if (!_v_To_m_Chars1.symbol_at (0))
     
    22031863          {
    22041864            {
    2205               if (1 != 1)
    2206               {
    2207                 goto _block15__branch1;
    2208               }
    22091865              if (!_vs_tag.term_eq (_c_76, 0))
    22101866              {
     
    22291885      _block2__branch27: {}
    22301886        {
    2231           if (1 != 1)
    2232           {
    2233             goto _block2__branch28;
    2234           }
    22351887          if (_vt_item.symbol_at (0))
    22361888          {
     
    22591911      _block2__branch28: {}
    22601912        {
    2261           if (1 != 1)
    2262           {
    2263             goto _block2__branch29;
    2264           }
    22651913          if (_vt_item.symbol_at (0))
    22661914          {
     
    22891937      _block2__branch29: {}
    22901938        {
    2291           if (1 != 1)
    2292           {
    2293             goto _block2__branch30;
    2294           }
    22951939          if (_vt_item.symbol_at (0))
    22961940          {
     
    23191963        }
    23201964      _block2__branch30: {}
    2321         if (1 != 1)
    2322         {
    2323           RF_FUNC_ERROR (unexpected_fail);
    2324         }
    23251965        if (_vt_item.symbol_at (0))
    23261966        {
     
    23481988          RF_FUNC_ERROR (unexpected_fail);
    23491989        }
    2350         if (0 != 0)
    2351         {
    2352           RF_FUNC_ERROR (unexpected_fail);
    2353         }
    23541990        uintptr_t _v_len__ress4 = (_v_len85 - _v_len86);
    23551991        uintptr_t _v_len87 = _v_deref__deref__item28.get_len ();
     
    23591995          RF_FUNC_ERROR (unexpected_fail);
    23601996        }
    2361         if (0 != 0)
    2362         {
    2363           RF_FUNC_ERROR (unexpected_fail);
    2364         }
    23651997        uintptr_t _v_len__exprs = (_v_len87 - _v_len88);
    23661998        if (!_v_deref__item28.symbol_at (0))
     
    23752007          {
    23762008            {
    2377               if (1 != 1)
    2378               {
    2379                 goto _negation1;
    2380               }
    23812009              if (!_vs_call.term_eq (_c_86, 0))
    23822010              {
     
    23912019            uintptr_t _v_len90 = 1;
    23922020            if (_v_len89 < _v_len90)
    2393             {
    2394               goto _block16__branch1;
    2395             }
    2396             if (0 != 0)
    23972021            {
    23982022              goto _block16__branch1;
     
    24282052          {
    24292053            {
    2430               if (1 != 1)
    2431               {
    2432                 goto _block18__branch1;
    2433               }
    24342054              if (!_vs_call.term_eq (_c_91, 0))
    24352055              {
     
    24832103        goto _block1__branch2;
    24842104      }
    2485       if (0 != 0)
    2486       {
    2487         goto _block1__branch2;
    2488       }
    24892105      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    24902106      if (_ve_expr_m_all.symbol_at (0))
     
    24992115        goto _block1__branch2;
    25002116      }
    2501       if (0 != 0)
    2502       {
    2503         goto _block1__branch2;
    2504       }
    25052117      uintptr_t _v_len__expr = (_v_len3 - _v_len4);
    25062118      if (!_c_94.term_eq (_v_deref__expr_m_all, 0))
     
    25182130      uintptr_t _v_len6 = 1;
    25192131      if (_v_len5 < _v_len6)
    2520       {
    2521         goto _block1__branch3;
    2522       }
    2523       if (0 != 0)
    25242132      {
    25252133        goto _block1__branch3;
     
    25372145        goto _block1__branch3;
    25382146      }
    2539       if (0 != 0)
    2540       {
    2541         goto _block1__branch3;
    2542       }
    25432147      uintptr_t _v_len__expr2 = (_v_len7 - _v_len8);
    25442148      if (!_c_59.term_eq (_v_deref__expr_m_all2, 0))
     
    25562160      uintptr_t _v_len10 = 1;
    25572161      if (_v_len9 < _v_len10)
    2558       {
    2559         goto _block1__branch4;
    2560       }
    2561       if (0 != 0)
    25622162      {
    25632163        goto _block1__branch4;
     
    25752175        goto _block1__branch4;
    25762176      }
    2577       if (0 != 0)
    2578       {
    2579         goto _block1__branch4;
    2580       }
    25812177      uintptr_t _v_len__expr3 = (_v_len11 - _v_len12);
    25822178      if (!_c_61.term_eq (_v_deref__expr_m_all3, 0))
     
    25942190      uintptr_t _v_len14 = 1;
    25952191      if (_v_len13 < _v_len14)
    2596       {
    2597         goto _block1__branch5;
    2598       }
    2599       if (0 != 0)
    26002192      {
    26012193        goto _block1__branch5;
     
    26132205        goto _block1__branch5;
    26142206      }
    2615       if (0 != 0)
    2616       {
    2617         goto _block1__branch5;
    2618       }
    26192207      uintptr_t _v_len__expr4 = (_v_len15 - _v_len16);
    26202208      if (!_c_62.term_eq (_v_deref__expr_m_all4, 0))
     
    26322220      uintptr_t _v_len18 = 1;
    26332221      if (_v_len17 < _v_len18)
    2634       {
    2635         goto _block1__branch6;
    2636       }
    2637       if (0 != 0)
    26382222      {
    26392223        goto _block1__branch6;
     
    26512235        goto _block1__branch6;
    26522236      }
    2653       if (0 != 0)
    2654       {
    2655         goto _block1__branch6;
    2656       }
    26572237      uintptr_t _v_len__expr5 = (_v_len19 - _v_len20);
    26582238      if (!_c_95.term_eq (_v_deref__expr_m_all5, 0))
     
    26702250      uintptr_t _v_len22 = 1;
    26712251      if (_v_len21 < _v_len22)
    2672       {
    2673         goto _block1__branch7;
    2674       }
    2675       if (0 != 0)
    26762252      {
    26772253        goto _block1__branch7;
     
    26892265        goto _block1__branch7;
    26902266      }
    2691       if (0 != 0)
    2692       {
    2693         goto _block1__branch7;
    2694       }
    26952267      uintptr_t _v_len__args = (_v_len23 - _v_len24);
    26962268      if (!_c_96.term_eq (_v_deref__expr_m_all6, 0))
     
    27082280      uintptr_t _v_len26 = 1;
    27092281      if (_v_len25 < _v_len26)
    2710       {
    2711         goto _block1__branch8;
    2712       }
    2713       if (0 != 0)
    27142282      {
    27152283        goto _block1__branch8;
     
    27272295        goto _block1__branch8;
    27282296      }
    2729       if (0 != 0)
    2730       {
    2731         goto _block1__branch8;
    2732       }
    27332297      uintptr_t _v_len__args2 = (_v_len27 - _v_len28);
    27342298      if (!_c_97.term_eq (_v_deref__expr_m_all7, 0))
     
    27462310      uintptr_t _v_len30 = 1;
    27472311      if (_v_len29 < _v_len30)
    2748       {
    2749         goto _block1__branch9;
    2750       }
    2751       if (0 != 0)
    27522312      {
    27532313        goto _block1__branch9;
     
    27652325        goto _block1__branch9;
    27662326      }
    2767       if (0 != 0)
    2768       {
    2769         goto _block1__branch9;
    2770       }
    27712327      uintptr_t _v_len__args3 = (_v_len31 - _v_len32);
    27722328      if (!_c_98.term_eq (_v_deref__expr_m_all8, 0))
     
    27912347      RF_FUNC_ERROR (unexpected_fail);
    27922348    }
    2793     if (0 != 0)
    2794     {
    2795       RF_FUNC_ERROR (unexpected_fail);
    2796     }
    27972349    uintptr_t _v_len__rest9 = (_v_len33 - _v_len34);
    27982350    if (_ve_expr_m_all.symbol_at (0))
     
    28132365    uintptr_t _v_len36 = 0;
    28142366    if (_v_len35 < _v_len36)
    2815     {
    2816       RF_FUNC_ERROR (unexpected_fail);
    2817     }
    2818     if (0 != 0)
    28192367    {
    28202368      RF_FUNC_ERROR (unexpected_fail);
     
    28812429        goto _block1__branch1;
    28822430      }
    2883       if (0 != 0)
    2884       {
    2885         goto _block1__branch1;
    2886       }
    28872431      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
    28882432      if (!_c_94.term_eq (_v_deref__arg1, 0))
     
    29132457        goto _block1__branch2;
    29142458      }
    2915       if (0 != 0)
    2916       {
    2917         goto _block1__branch2;
    2918       }
    29192459      uintptr_t _v_len__expr2 = (_v_len3 - _v_len4);
    29202460      if (!_c_59.term_eq (_v_deref__arg12, 0))
     
    29452485        goto _block1__branch3;
    29462486      }
    2947       if (0 != 0)
    2948       {
    2949         goto _block1__branch3;
    2950       }
    29512487      uintptr_t _v_len__expr3 = (_v_len5 - _v_len6);
    29522488      if (_v_deref__arg13.symbol_at ((0 + 1 + _v_len__expr3)))
     
    29582494      uintptr_t _v_len8 = 0;
    29592495      if (_v_len7 < _v_len8)
    2960       {
    2961         goto _block1__branch3;
    2962       }
    2963       if (0 != 0)
    29642496      {
    29652497        goto _block1__branch3;
     
    29962528        goto _block1__branch4;
    29972529      }
    2998       if (0 != 0)
    2999       {
    3000         goto _block1__branch4;
    3001       }
    30022530      uintptr_t _v_len__expr4 = (_v_len9 - _v_len10);
    30032531      if (_v_deref__arg14.symbol_at ((0 + 1 + _v_len__expr4)))
     
    30172545        goto _block1__branch4;
    30182546      }
    3019       if (0 != 0)
    3020       {
    3021         goto _block1__branch4;
    3022       }
    30232547      uintptr_t _v_len__len = (_v_len11 - _v_len12);
    30242548      uintptr_t _v_len13 = _v_deref__deref__arg14.get_len ();
    30252549      uintptr_t _v_len14 = 0;
    30262550      if (_v_len13 < _v_len14)
    3027       {
    3028         goto _block1__branch4;
    3029       }
    3030       if (0 != 0)
    30312551      {
    30322552        goto _block1__branch4;
     
    31512671        goto _block1__branch8;
    31522672      }
    3153       if (0 != 0)
    3154       {
    3155         goto _block1__branch8;
    3156       }
    31572673      uintptr_t _v_len__ns = (_v_len15 - _v_len16);
    31582674      if (!_v_deref__arg17.symbol_at (0))
     
    32542770        goto _block1__branch3;
    32552771      }
    3256       if (0 != 0)
    3257       {
    3258         goto _block1__branch3;
    3259       }
    32602772      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
    32612773      if (!_c_95.term_eq (_v_deref__arg1, 0))
     
    32862798        goto _block1__branch4;
    32872799      }
    3288       if (0 != 0)
    3289       {
    3290         goto _block1__branch4;
    3291       }
    32922800      uintptr_t _v_len__args = (_v_len3 - _v_len4);
    32932801      if (!_c_96.term_eq (_v_deref__arg12, 0))
     
    33182826        goto _block1__branch5;
    33192827      }
    3320       if (0 != 0)
    3321       {
    3322         goto _block1__branch5;
    3323       }
    33242828      uintptr_t _v_len__args2 = (_v_len5 - _v_len6);
    33252829      if (!_c_97.term_eq (_v_deref__arg13, 0))
     
    33472851      uintptr_t _v_len8 = 2;
    33482852      if (_v_len7 < _v_len8)
    3349       {
    3350         goto _block1__branch6;
    3351       }
    3352       if (0 != 0)
    33532853      {
    33542854        goto _block1__branch6;
     
    34302930  {
    34312931    {
    3432       if (1 != 1)
    3433       {
    3434         goto _block1__branch1;
    3435       }
    34362932      if (_gt_arg1.symbol_at (0))
    34372933      {
     
    34682964        goto _block1__branch1;
    34692965      }
    3470       if (0 != 0)
    3471       {
    3472         goto _block1__branch1;
    3473       }
    34742966      uintptr_t _v_len__ress = (_v_len1 - _v_len2);
    34752967      uintptr_t _v_len3 = _v_deref__deref__deref__arg1.get_len ();
    34762968      uintptr_t _v_len4 = 0;
    34772969      if (_v_len3 < _v_len4)
    3478       {
    3479         goto _block1__branch1;
    3480       }
    3481       if (0 != 0)
    34822970      {
    34832971        goto _block1__branch1;
     
    35062994  _block1__branch1: {}
    35072995    {
    3508       if (1 != 1)
    3509       {
    3510         goto _block1__branch2;
    3511       }
    35122996      if (_gt_arg1.symbol_at (0))
    35132997      {
     
    35213005        goto _block1__branch2;
    35223006      }
    3523       if (0 != 0)
    3524       {
    3525         goto _block1__branch2;
    3526       }
    35273007      uintptr_t _v_len__expr = (_v_len5 - _v_len6);
    35283008      if (_v_deref__arg12.symbol_at ((0 + 1 + _v_len__expr)))
     
    35343014      uintptr_t _v_len8 = 0;
    35353015      if (_v_len7 < _v_len8)
    3536       {
    3537         goto _block1__branch2;
    3538       }
    3539       if (0 != 0)
    35403016      {
    35413017        goto _block1__branch2;
     
    35573033  _block1__branch2: {}
    35583034    {
    3559       if (1 != 1)
    3560       {
    3561         goto _block1__branch3;
    3562       }
    35633035      if (_gt_arg1.symbol_at (0))
    35643036      {
     
    35693041      uintptr_t _v_len10 = 3;
    35703042      if (_v_len9 < _v_len10)
    3571       {
    3572         goto _block1__branch3;
    3573       }
    3574       if (0 != 0)
    35753043      {
    35763044        goto _block1__branch3;
     
    35933061        goto _block1__branch3;
    35943062      }
    3595       if (0 != 0)
    3596       {
    3597         goto _block1__branch3;
    3598       }
    35993063      uintptr_t _v_len__len = (_v_len11 - _v_len12);
    36003064      uintptr_t _v_len13 = _v_deref__deref__arg13.get_len ();
    36013065      uintptr_t _v_len14 = 0;
    36023066      if (_v_len13 < _v_len14)
    3603       {
    3604         goto _block1__branch3;
    3605       }
    3606       if (0 != 0)
    36073067      {
    36083068        goto _block1__branch3;
     
    36273087  _block1__branch3: {}
    36283088    {
    3629       if (1 != 1)
    3630       {
    3631         goto _block1__branch4;
    3632       }
    36333089      if (_gt_arg1.symbol_at (0))
    36343090      {
     
    36423098        goto _block1__branch4;
    36433099      }
    3644       if (0 != 0)
    3645       {
    3646         goto _block1__branch4;
    3647       }
    36483100      uintptr_t _v_len__expr3 = (_v_len15 - _v_len16);
    36493101      if (!_c_124.term_eq (_v_deref__arg14, 0))
     
    36593111  _block1__branch4: {}
    36603112    {
    3661       if (1 != 1)
    3662       {
    3663         goto _block1__branch5;
    3664       }
    36653113      if (_gt_arg1.symbol_at (0))
    36663114      {
     
    36713119      uintptr_t _v_len18 = 3;
    36723120      if (_v_len17 < _v_len18)
    3673       {
    3674         goto _block1__branch5;
    3675       }
    3676       if (0 != 0)
    36773121      {
    36783122        goto _block1__branch5;
     
    36953139        goto _block1__branch5;
    36963140      }
    3697       if (0 != 0)
    3698       {
    3699         goto _block1__branch5;
    3700       }
    37013141      uintptr_t _v_len__pos3 = (_v_len19 - _v_len20);
    37023142      uintptr_t _v_len21 = _v_deref__deref__arg15.get_len ();
    37033143      uintptr_t _v_len22 = 0;
    37043144      if (_v_len21 < _v_len22)
    3705       {
    3706         goto _block1__branch5;
    3707       }
    3708       if (0 != 0)
    37093145      {
    37103146        goto _block1__branch5;
     
    37293165  _block1__branch5: {}
    37303166    {
    3731       if (1 != 1)
    3732       {
    3733         goto _block1__branch6;
    3734       }
    37353167      if (_gt_arg1.symbol_at (0))
    37363168      {
     
    37413173      uintptr_t _v_len24 = 3;
    37423174      if (_v_len23 < _v_len24)
    3743       {
    3744         goto _block1__branch6;
    3745       }
    3746       if (0 != 0)
    37473175      {
    37483176        goto _block1__branch6;
     
    37653193        goto _block1__branch6;
    37663194      }
    3767       if (0 != 0)
    3768       {
    3769         goto _block1__branch6;
    3770       }
    37713195      uintptr_t _v_len__pos4 = (_v_len25 - _v_len26);
    37723196      uintptr_t _v_len27 = _v_deref__deref__arg16.get_len ();
    37733197      uintptr_t _v_len28 = 0;
    37743198      if (_v_len27 < _v_len28)
    3775       {
    3776         goto _block1__branch6;
    3777       }
    3778       if (0 != 0)
    37793199      {
    37803200        goto _block1__branch6;
     
    37983218    }
    37993219  _block1__branch6: {}
    3800     if (1 != 1)
    3801     {
    3802       RF_FUNC_ERROR (unexpected_fail);
    3803     }
    38043220    if (_gt_arg1.symbol_at (0))
    38053221    {
     
    38323248        goto _block1__branch1;
    38333249      }
    3834       if (0 != 0)
    3835       {
    3836         goto _block1__branch1;
    3837       }
    38383250      uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    38393251      if (_ve_args.symbol_at (0))
     
    38483260        goto _block1__branch1;
    38493261      }
    3850       if (0 != 0)
    3851       {
    3852         goto _block1__branch1;
    3853       }
    38543262      uintptr_t _v_len__arg = (_v_len3 - _v_len4);
    38553263      Expr _ve_rest (_ve_args, (0 + 1), _v_len__rest);
     
    38683276            goto _block2__branch1;
    38693277          }
    3870           if (0 != 0)
    3871           {
    3872             goto _block2__branch1;
    3873           }
    38743278          uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_390_m_28 = (_v_len5 - _v_len6);
    38753279          uintptr_t _v_len7 = _ve_arg.get_len ();
    38763280          uintptr_t _v_len8 = 0;
    38773281          if (_v_len7 < (_v_len8 + 1))
    3878           {
    3879             goto _block2__branch1;
    3880           }
    3881           if (0 != 0)
    38823282          {
    38833283            goto _block2__branch1;
     
    39283328        goto _block1__branch2;
    39293329      }
    3930       if (0 != 0)
    3931       {
    3932         goto _block1__branch2;
    3933       }
    39343330      uintptr_t _v_len__expr = (_v_len1 - _v_len2);
    39353331      if (!_c_132.term_eq (_v_deref__arg1, 0))
     
    39563352    uintptr_t _v_len4 = 1;
    39573353    if (_v_len3 < _v_len4)
    3958     {
    3959       RF_FUNC_ERROR (unexpected_fail);
    3960     }
    3961     if (0 != 0)
    39623354    {
    39633355      RF_FUNC_ERROR (unexpected_fail);
     
    40323424          goto _block2__branch1;
    40333425        }
    4034         if (0 != 0)
    4035         {
    4036           goto _block2__branch1;
    4037         }
    40383426        uintptr_t _v_len__cpp_m_expr = (_v_len1 - _v_len2);
    40393427        if (!_c_137.eq (_v_Const_m_Expr_m_Aux1, 0))
     
    40523440        RF_FUNC_ERROR (unexpected_fail);
    40533441      }
    4054       if (0 != 0)
    4055       {
    4056         RF_FUNC_ERROR (unexpected_fail);
    4057       }
    40583442      uintptr_t _v_len__cpp_m_expr2 = (_v_len3 - _v_len4);
    40593443      Expr _ve_cpp_m_expr (_v_Const_m_Expr_m_Aux1, 0, _v_len__cpp_m_expr2);
     
    40693453  uintptr_t _v_len2 = 1;
    40703454  if (_v_len1 < _v_len2)
    4071   {
    4072     RF_FUNC_ERROR (unexpected_fail);
    4073   }
    4074   if (0 != 0)
    40753455  {
    40763456    RF_FUNC_ERROR (unexpected_fail);
     
    40883468    RF_FUNC_ERROR (unexpected_fail);
    40893469  }
    4090   if (0 != 0)
    4091   {
    4092     RF_FUNC_ERROR (unexpected_fail);
    4093   }
    40943470  uintptr_t _v_len__accum = (_v_len3 - _v_len4);
    40953471  Expr _ve_expr (_ge_arg1, (0 + 1), _v_len__expr);
     
    41033479        goto _block1__branch1;
    41043480      }
    4105       if (0 != 0)
    4106       {
    4107         goto _block1__branch1;
    4108       }
    41093481      uintptr_t _v_len__rest = (_v_len5 - _v_len6);
    41103482      if (!_ve_expr.symbol_at (0))
     
    41283500      uintptr_t _v_len8 = 0;
    41293501      if (_v_len7 < (_v_len8 + 1))
    4130       {
    4131         goto _block1__branch2;
    4132       }
    4133       if (0 != 0)
    41343502      {
    41353503        goto _block1__branch2;
     
    41583526              {
    41593527                goto _block2__branch1;
    4160               }
    4161               if (0 != 0)
    4162               {
    4163                 goto _continue1;
    41643528              }
    41653529              uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_423_m_41 = (_v_len9 - _v_len10);
     
    42003564        goto _block1__branch3;
    42013565      }
    4202       if (0 != 0)
    4203       {
    4204         goto _block1__branch3;
    4205       }
    42063566      uintptr_t _v_len__rest2 = (_v_len11 - _v_len12);
    42073567      Expr _vt_item (_ve_expr, 0, 1);
     
    42103570      {
    42113571        {
    4212           if (1 != 1)
    4213           {
    4214             goto _block3__branch1;
    4215           }
    42163572          if (_vt_item.symbol_at (0))
    42173573          {
     
    42223578          uintptr_t _v_len14 = 1;
    42233579          if (_v_len13 < _v_len14)
    4224           {
    4225             goto _block3__branch1;
    4226           }
    4227           if (0 != 0)
    42283580          {
    42293581            goto _block3__branch1;
     
    42423594      _block3__branch1: {}
    42433595        {
    4244           if (1 != 1)
    4245           {
    4246             goto _block3__branch2;
    4247           }
    42483596          if (_vt_item.symbol_at (0))
    42493597          {
     
    42673615      _block3__branch2: {}
    42683616        {
    4269           if (1 != 1)
    4270           {
    4271             goto _block3__branch3;
    4272           }
    42733617          if (_vt_item.symbol_at (0))
    42743618          {
     
    42793623          uintptr_t _v_len16 = 1;
    42803624          if (_v_len15 < _v_len16)
    4281           {
    4282             goto _block3__branch3;
    4283           }
    4284           if (0 != 0)
    42853625          {
    42863626            goto _block3__branch3;
     
    42993639      _block3__branch3: {}
    43003640        {
    4301           if (1 != 1)
    4302           {
    4303             goto _block3__branch4;
    4304           }
    43053641          if (_vt_item.symbol_at (0))
    43063642          {
     
    43203656          {
    43213657            {
    4322               if (1 != 1)
    4323               {
    4324                 goto _block4__branch1;
    4325               }
    43263658              if (!_vs_FUNC.term_eq (_c_14, 0))
    43273659              {
     
    43313663            }
    43323664          _block4__branch1: {}
    4333             if (1 != 1)
    4334             {
    4335               goto _block3__branch4;
    4336             }
    43373665            if (!_vs_FUNC.term_eq (_c_15, 0))
    43383666            {
     
    43473675        }
    43483676      _block3__branch4: {}
    4349         if (1 != 1)
    4350         {
    4351           RF_FUNC_ERROR (unexpected_fail);
    4352         }
    43533677        if (!_vt_item.symbol_at (0))
    43543678        {
     
    44123736      RF_FUNC_ERROR (unexpected_fail);
    44133737    }
    4414     if (0 != 0)
    4415     {
    4416       RF_FUNC_ERROR (unexpected_fail);
    4417     }
    44183738    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    44193739    if (!_ve_symbol.symbol_at (0))
     
    44263746    {
    44273747      {
    4428         if (1 != 1)
    4429         {
    4430           goto _block3__branch1;
    4431         }
    44323748        if (!_vs_char.term_eq (_c_146, 0))
    44333749        {
     
    44393755    _block3__branch1: {}
    44403756      {
    4441         if (1 != 1)
    4442         {
    4443           goto _block3__branch2;
    4444         }
    44453757        if (!_vs_char.term_eq (_c_148, 0))
    44463758        {
     
    44523764    _block3__branch2: {}
    44533765      {
    4454         if (1 != 1)
    4455         {
    4456           goto _block3__branch3;
    4457         }
    44583766        if (!_vs_char.term_eq (_c_150, 0))
    44593767        {
     
    44653773    _block3__branch3: {}
    44663774      {
    4467         if (1 != 1)
    4468         {
    4469           goto _block3__branch4;
    4470         }
    44713775        if (!_vs_char.term_eq (_c_152, 0))
    44723776        {
     
    44783782    _block3__branch4: {}
    44793783      {
    4480         if (1 != 1)
    4481         {
    4482           goto _block3__branch5;
    4483         }
    44843784        if (!_vs_char.term_eq (_c_154, 0))
    44853785        {
     
    44903790      }
    44913791    _block3__branch5: {}
    4492       if (1 != 1)
    4493       {
    4494         RF_FUNC_ERROR (unexpected_fail);
    4495       }
    44963792      if (!_vs_char.symbol_at (0))
    44973793      {
     
    45273823        goto _block1__branch1;
    45283824      }
    4529       if (0 != 0)
    4530       {
    4531         goto _block1__branch1;
    4532       }
    45333825      uintptr_t _v_len__prefix = (_v_len1 - _v_len2);
    45343826      if (!_c_25.term_eq (_v_compose1, (0 + 1)))
     
    45723864        goto _block1__branch3;
    45733865      }
    4574       if (0 != 0)
    4575       {
    4576         goto _block1__branch3;
    4577       }
    45783866      uintptr_t _v_len__arg = (_v_len3 - _v_len4);
    45793867      if (!_c_157.eq (_v_compose3, 0))
     
    46003888      uintptr_t _v_len6 = 0;
    46013889      if (_v_len5 < _v_len6)
    4602       {
    4603         goto _block1__branch4;
    4604       }
    4605       if (0 != 0)
    46063890      {
    46073891        goto _block1__branch4;
     
    46393923        goto _block1__branch5;
    46403924      }
    4641       if (0 != 0)
    4642       {
    4643         goto _block1__branch5;
    4644       }
    46453925      uintptr_t _v_len__arg2 = (_v_len7 - _v_len8);
    46463926      uintptr_t _v_len9 = _v_deref__compose5.get_len ();
     
    46503930        goto _block1__branch5;
    46513931      }
    4652       if (0 != 0)
    4653       {
    4654         goto _block1__branch5;
    4655       }
    46563932      uintptr_t _v_len__prefix3 = (_v_len9 - _v_len10);
    46573933      if (!_c_87.term_eq (_v_compose5, (0 + 1)))
     
    46763952        {
    46773953          {
    4678             if (2 != 2)
    4679             {
    4680               goto _block2__branch1;
    4681             }
    46823954            Expr _v_compose6 ((_ge_arg1 () + _gs_arg2));
    46833955            if (!_c_87.term_eq (_v_compose6, (0 + 1)))
     
    46913963        _block2__branch1: {}
    46923964          {
    4693             if (2 != 2)
    4694             {
    4695               goto _block2__branch2;
    4696             }
    46973965            Expr _v_compose7 ((_ge_arg1 () + _gs_arg2));
    46983966            if (!_c_157.eq (_v_compose7, 0))
     
    47053973        _block2__branch2: {}
    47063974          {
    4707             if (2 != 2)
    4708             {
    4709               goto _block2__branch3;
    4710             }
    47113975            Expr _v_compose8 ((_ge_arg1 () + _gs_arg2));
    47123976            if (_v_compose8.symbol_at (0))
     
    47213985              goto _block2__branch3;
    47223986            }
    4723             if (0 != 0)
    4724             {
    4725               goto _block2__branch3;
    4726             }
    47273987            uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_495_m_9 = (_v_len11 - _v_len12);
    47283988            if (!_c_25.term_eq (_v_compose8, (0 + 1)))
     
    47414001            RF_FUNC_ERROR (unexpected_fail);
    47424002          }
    4743           if (0 != 0)
    4744           {
    4745             RF_FUNC_ERROR (unexpected_fail);
    4746           }
    47474003          uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_496_m_8 = (_v_len13 - _v_len14);
    47484004          Expr _v_compose9 ((_ge_arg1 () + _gs_arg2));
     
    47604016        RF_FUNC_ERROR (unexpected_fail);
    47614017      }
    4762       if (0 != 0)
    4763       {
    4764         RF_FUNC_ERROR (unexpected_fail);
    4765       }
    47664018      uintptr_t _v_len__rest = (_v_len15 - _v_len16);
    47674019      if (_ge_arg3__2.symbol_at (0))
     
    47764028        RF_FUNC_ERROR (unexpected_fail);
    47774029      }
    4778       if (0 != 0)
    4779       {
    4780         RF_FUNC_ERROR (unexpected_fail);
    4781       }
    47824030      uintptr_t _v_len__arg3 = (_v_len17 - _v_len18);
    47834031      Expr _ve_rest (_ge_arg3__2, (0 + 1), _v_len__rest);
     
    47924040            goto _block4__branch1;
    47934041          }
    4794           if (0 != 0)
    4795           {
    4796             goto _block4__branch1;
    4797           }
    47984042          uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_482_m_21 = (_v_len19 - _v_len20);
    47994043          Expr _vv__e__e_tmp_m_rfp__asail__cpprf_m_482_m_21 (_ve_rest, 0, _v_len___e__e_tmp_m_rfp__asail__cpprf_m_482_m_21);
     
    48074051      {
    48084052        {
    4809           if (1 != 1)
    4810           {
    4811             goto _block5__branch1;
    4812           }
    48134053          if (!_gs_arg2.term_eq (_c_25, 0))
    48144054          {
     
    48234063      _block5__branch1: {}
    48244064        {
    4825           if (1 != 1)
    4826           {
    4827             goto _block5__branch2;
    4828           }
    48294065          if (!_gs_arg2.term_eq (_c_87, 0))
    48304066          {
     
    48384074        }
    48394075      _block5__branch2: {}
    4840         if (1 != 1)
    4841         {
    4842           RF_FUNC_ERROR (unexpected_fail);
    4843         }
    48444076        if (!_gs_arg2.term_eq (_c_114, 0))
    48454077        {
     
    48914123          {
    48924124            goto _block1__branch1;
    4893           }
    4894           if (0 != 0)
    4895           {
    4896             goto _continue1;
    48974125          }
    48984126          uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_503_m_90 = (_v_len1 - _v_len2);
     
    49554183        goto _block2__branch1;
    49564184      }
    4957       if (0 != 0)
    4958       {
    4959         goto _block2__branch1;
    4960       }
    49614185      uintptr_t _v_len__cont = (_v_len3 - _v_len4);
    49624186      if (!_ve_namespace.eq (_ve_qualifiers, 0))
     
    50294253          goto _block3__branch1;
    50304254        }
    5031         if (0 != 0)
    5032         {
    5033           goto _block3__branch1;
    5034         }
    50354255        uintptr_t _v_len___e__e_tmp_m_rfp__asail__cpprf_m_521_m_33 = (_v_len1 - _v_len2);
    50364256        Expr _vv__e__e_tmp_m_rfp__asail__cpprf_m_521_m_33 (_v__q_2, 0, _v_len___e__e_tmp_m_rfp__asail__cpprf_m_521_m_33);
     
    50494269        uintptr_t _v_len4 = 0;
    50504270        if (_v_len3 < (_v_len4 + 1))
    5051         {
    5052           goto _block4__branch1;
    5053         }
    5054         if (0 != 0)
    50554271        {
    50564272          goto _block4__branch1;
     
    50934309      RF_FUNC_ERROR (unexpected_fail);
    50944310    }
    5095     if (0 != 0)
    5096     {
    5097       RF_FUNC_ERROR (unexpected_fail);
    5098     }
    50994311    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    51004312    Expr _vt_arg (_ge_args__0, 0, 1);
     
    51084320            uintptr_t _v_len4 = 0;
    51094321            if (_v_len3 < (_v_len4 + 1))
    5110             {
    5111               goto _block3__branch1;
    5112             }
    5113             if (0 != 0)
    51144322            {
    51154323              goto _block3__branch1;
     
    51654373      RF_FUNC_ERROR (unexpected_fail);
    51664374    }
    5167     if (0 != 0)
    5168     {
    5169       RF_FUNC_ERROR (unexpected_fail);
    5170     }
    51714375    uintptr_t _v_len__rest = (_v_len1 - _v_len2);
    51724376    Expr _vt_arg (_ge_args__0, 0, 1);
     
    51804384            uintptr_t _v_len4 = 0;
    51814385            if (_v_len3 < (_v_len4 + 1))
    5182             {
    5183               goto _block3__branch1;
    5184             }
    5185             if (0 != 0)
    51864386            {
    51874387              goto _block3__branch1;
     
    52274427        goto _block1__branch1;
    52284428      }
    5229       if (1 != 1)
    5230       {
    5231         RF_FUNC_ERROR (unexpected_fail);
    5232       }
    52334429      if (_vt_name.symbol_at (0))
    52344430      {
     
    52394435      uintptr_t _v_len2 = 0;
    52404436      if (_v_len1 < _v_len2)
    5241       {
    5242         RF_FUNC_ERROR (unexpected_fail);
    5243       }
    5244       if (0 != 0)
    52454437      {
    52464438        RF_FUNC_ERROR (unexpected_fail);
  • to-imperative/trunk/c++/compiler/rfp_asail_java.cc

    r2367 r2402  
    108108static Expr _c_7;
    109109
     110static Expr _c_171;
     111
     112static Expr _c_172;
     113
     114static Expr _c_8;
     115
     116static Expr _c_9;
     117
     118static Expr _c_10;
     119
     120static Expr _c_11;
     121
     122static Expr _c_12;
     123
     124static Expr _c_13;
     125
     126static Expr _c_14;
     127
     128static Expr _c_15;
     129
     130static Expr _c_16;
     131
     132static Expr _c_17;
     133
     134static Expr _c_18;
     135
     136static Expr _c_149;
     137
     138static Expr _c_19;
     139
     140static Expr _c_20;
     141
     142static Expr _c_21;
     143
     144static Expr _c_22;
     145
     146static Expr _c_23;
     147
     148static Expr _c_24;
     149
     150static Expr _c_25;
     151
     152static Expr _c_26;
     153
     154static Expr _c_27;
     155
     156static Expr _c_28;
     157
     158static Expr _c_29;
     159
     160static Expr _c_30;
     161
     162static Expr _c_49;
     163
     164static Expr _c_31;
     165
     166static Expr _c_32;
     167
     168static Expr _c_33;
     169
     170static Expr _c_34;
     171
     172static Expr _c_35;
     173
     174static Expr _c_36;
     175
     176static Expr _c_37;
     177
     178static Expr _c_38;
     179
     180static Expr _c_39;
     181
     182static Expr _c_173;
     183
     184static Expr _c_40;
     185
     186static Expr _c_41;
     187
     188static Expr _c_42;
     189
     190static Expr _c_43;
     191
     192static Expr _c_44;
     193
     194static Expr _c_45;
     195
     196static Expr _c_46;
     197
     198static Expr _c_47;
     199
     200static Expr _c_48;
     201
     202static Expr _c_50;
     203
     204static Expr _c_51;
     205
     206static Expr _c_52;
     207
     208static Expr _c_53;
     209
     210static Expr _c_54;
     211
     212static Expr _c_174;
     213
     214static Expr _c_100;
     215
     216static Expr _c_55;
     217
     218static Expr _c_56;
     219
     220static Expr _c_57;
     221
     222static Expr _c_58;
     223
     224static Expr _c_59;
     225
     226static Expr _c_60;
     227
     228static Expr _c_61;
     229
     230static Expr _c_62;
     231
     232static Expr _c_63;
     233
     234static Expr _c_64;
     235
     236static Expr _c_65;
     237
     238static Expr _c_66;
     239
     240static Expr _c_67;
     241
     242static Expr _c_68;
     243
     244static Expr _c_69;
     245
     246static Expr _c_70;
     247
     248static Expr _c_71;
     249
     250static Expr _c_72;
     251
     252static Expr _c_73;
     253
     254static Expr _c_74;
     255
     256static Expr _c_75;
     257
     258static Expr _c_76;
     259
     260static Expr _c_77;
     261
     262static Expr _c_78;
     263
     264static Expr _c_96;
     265
     266static Expr _c_79;
     267
     268static Expr _c_80;
     269
     270static Expr _c_81;
     271
     272static Expr _c_82;
     273
     274static Expr _c_83;
     275
     276static Expr _c_84;
     277
     278static Expr _c_85;
     279
     280static Expr _c_86;
     281
     282static Expr _c_87;
     283
     284static Expr _c_88;
     285
     286static Expr _c_89;
     287
     288static Expr _c_90;
     289
     290static Expr _c_91;
     291
     292static Expr _c_92;
     293
     294static Expr _c_93;
     295
     296static Expr _c_94;
     297
     298static Expr _c_95;
     299
     300static Expr _c_97;
     301
     302static Expr _c_98;
     303
     304static Expr _c_99;
     305
     306static Expr _c_101;
     307
     308static Expr _c_102;
     309
     310static Expr _c_103;
     311
     312static Expr _c_104;
     313
     314static Expr _c_105;
     315
     316static Expr _c_106;
     317
     318static Expr _c_107;
     319
     320static Expr _c_108;
     321
     322static Expr _c_109;
     323
     324static Expr _c_110;
     325
     326static Expr _c_111;
     327
     328static Expr _c_112;
     329
     330static Expr _c_113;
     331
     332static Expr _c_114;
     333
     334static Expr _c_144;
     335
     336static Expr _c_115;
     337
     338static Expr _c_116;
     339
     340static Expr _c_117;
     341
     342static Expr _c_118;
     343
     344static Expr _c_119;
     345
     346static Expr _c_120;
     347
     348static Expr _c_121;
     349
     350static Expr _c_122;
     351
     352static Expr _c_123;
     353
     354static Expr _c_124;
     355
     356static Expr _c_125;
     357
     358static Expr _c_126;
     359
     360static Expr _c_127;
     361
     362static Expr _c_128;
     363
     364static Expr _c_129;
     365
     366static Expr _c_130;
     367
     368static Expr _c_131;
     369
     370static Expr _c_132;
     371
     372static Expr _c_133;
     373
     374static Expr _c_134;
     375
     376static Expr _c_135;
     377
     378static Expr _c_136;
     379
     380static Expr _c_137;
     381
     382static Expr _c_138;
     383
     384static Expr _c_139;
     385
     386static Expr _c_140;
     387
     388static Expr _c_141;
     389
     390static Expr _c_142;
     391
     392static Expr _c_143;
     393
     394static Expr _c_145;
     395
     396static Expr _c_146;
     397
     398static Expr _c_147;
     399
     400static Expr _c_148;
     401
     402static Expr _c_150;
     403
     404static Expr _c_151;
     405
     406static Expr _c_152;
     407
     408static Expr _c_153;
     409
     410static Expr _c_154;
     411
     412static Expr _c_155;
     413
     414static Expr _c_157;
     415
     416static Expr _c_156;
     417
     418static Expr _c_158;
     419
     420static Expr _c_159;
     421
     422static Expr _c_160;
     423
     424static Expr _c_161;
     425
     426static Expr _c_162;
     427
     428static Expr _c_163;
     429
     430static Expr _c_164;
     431
     432static Expr _c_165;
     433
     434static Expr _c_166;
     435
     436static Expr _c_167;
     437
     438static Expr _c_168;
     439
     440static Expr _c_169;
     441
    110442static Expr _c_170;
    111 
    112 static Expr _c_171;
    113 
    114 static Expr _c_8;
    115 
    116 static Expr _c_9;
    117 
    118 static Expr _c_10;
    119 
    120 static Expr _c_11;
    121 
    122 static Expr _c_12;
    123 
    124 static Expr _c_13;
    125 
    126 static Expr _c_14;
    127 
    128 static Expr _c_15;
    129 
    130 static Expr _c_16;
    131 
    132 static Expr _c_17;
    133 
    134 static Expr _c_18;
    135 
    136 static Expr _c_148;
    137 
    138 static Expr _c_19;
    139 
    140 static Expr _c_20;
    141 
    142 static Expr _c_21;
    143 
    144 static Expr _c_22;
    145 
    146 static Expr _c_23;
    147 
    148 static Expr _c_24;
    149 
    150 static Expr _c_25;
    151 
    152 static Expr _c_26;
    153 
    154 static Expr _c_27;
    155 
    156 static Expr _c_28;
    157 
    158 static Expr _c_29;
    159 
    160 static Expr _c_30;
    161 
    162 static Expr _c_49;
    163 
    164 static Expr _c_31;
    165 
    166 static Expr _c_32;
    167 
    168 static Expr _c_33;
    169 
    170 static Expr _c_34;
    171 
    172 static Expr _c_35;
    173 
    174 static Expr _c_36;
    175 
    176 static Expr _c_37;
    177 
    178 static Expr _c_38;
    179 
    180 static Expr _c_39;
    181 
    182 static Expr _c_172;
    183 
    184 static Expr _c_40;
    185 
    186 static Expr _c_41;
    187 
    188 static Expr _c_42;
    189 
    190 static Expr _c_43;
    191 
    192 static Expr _c_44;
    193 
    194 static Expr _c_45;
    195 
    196 static Expr _c_46;
    197 
    198 static Expr _c_47;
    199 
    200 static Expr _c_48;
    201 
    202 static Expr _c_50;
    203 
    204 static Expr _c_51;
    205 
    206 static Expr _c_52;
    207 
    208 static Expr _c_53;
    209 
    210 static Expr _c_54;
    211 
    212 static Expr _c_173;
    213 
    214 static Expr _c_100;
    215 
    216 static Expr _c_55;
    217 
    218 static Expr _c_56;
    219 
    220 static Expr _c_57;
    221 
    222 static Expr _c_58;
    223 
    224 static Expr _c_59;
    225 
    226 static Expr _c_60;
    227 
    228 static Expr _c_61;
    229 
    230 static Expr _c_62;
    231 
    232 static Expr _c_63;
    233 
    234 static Expr _c_64;
    235 
    236 static Expr _c_65;
    237 
    238 static Expr _c_66;
    239 
    240 static Expr _c_67;
    241 
    242 static Expr _c_68;
    243 
    244 static Expr _c_69;
    245 
    246 static Expr _c_70;
    247 
    248 static Expr _c_71;
    249 
    250 static Expr _c_72;
    251 
    252 static Expr _c_73;
    253 
    254 static Expr _c_74;
    255 
    256 static Expr _c_75;
    257 
    258 static Expr _c_76;
    259 
    260 static Expr _c_77;
    261 
    262 static Expr _c_78;
    263 
    264 static Expr _c_96;
    265 
    266 static Expr _c_79;
    267 
    268 static Expr _c_80;
    269 
    270 static Expr _c_81;
    271 
    272 static Expr _c_82;
    273 
    274 static Expr _c_83;
    275 
    276 static Expr _c_84;
    277 
    278 static Expr _c_85;
    279 
    280 static Expr _c_86;
    281 
    282 static Expr _c_87;
    283 
    284 static Expr _c_88;
    285 
    286 static Expr _c_89;
    287 
    288 static Expr _c_90;
    289 
    290 static Expr _c_91;
    291 
    292 static Expr _c_92;
    293