#include "cdefs.h"
#include "mem.h"
extern cptr object_methods[meth_max];
extern cptr integer_methods[meth_max];
extern cptr float_methods[meth_max];
extern cptr string_methods[meth_max];
extern cptr identifier_methods[meth_max];
extern cptr function_methods[meth_max];
extern cptr entset_methods[meth_max];
extern cptr strset_methods[meth_max];
extern cptr intset_methods[meth_max];
extern cptr numset_methods[meth_max];
extern cptr boolset_methods[meth_max];
extern cptr charset_methods[meth_max];
extern cptr map_methods[meth_max];
extern cptr strpool_methods[meth_max];
extern cptr sset_methods[meth_max];
extern cptr slist_methods[meth_max];
extern cptr slicelst_methods[meth_max];
extern cptr slicestr_methods[meth_max];
#include "cint.h"
extern cptr dset_methods[meth_max];
extern cptr rset_methods[meth_max];
extern cptr rlist_methods[meth_max];
#include "cfloat.h"
extern cptr boolean_methods[meth_max];
extern cptr character_methods[meth_max];

extern cint boolean_True;
extern cint boolean_False;
extern cint strpool_str_5;
extern cint strpool_str_6;
extern cint entset_predef;
extern cint strpool_str_30;
extern cint strpool_str_32;
extern cint strpool_str_33;
extern cint strpool_str_60;
extern cint strpool_str_19;
extern cint strpool_str_85;
extern cint strpool_str_90;
extern cint strpool_str_91;
extern cint strpool_str_92;
extern cint strpool_str_89;
extern cint strpool_str_93;
extern cint strpool_str_94;
extern cint strpool_str_95;
extern cint strpool_str_96;
extern cint strpool_str_97;
extern cint strpool_str_98;
extern cint strpool_str_99;
extern cint strpool_str_54;
extern cint strpool_str_100;
extern cint strpool_str_101;
extern cint strpool_str_102;
extern cint strpool_str_103;
extern cint strpool_str_104;
extern cint strpool_str_151;
extern cint strpool_str_105;
extern cint strpool_str_106;
extern cint strpool_str_107;
extern cint strpool_str_108;
extern cint strpool_str_109;
extern cint strpool_str_110;
extern cint strpool_str_111;
extern cint strpool_str_112;
extern cint strpool_str_113;
extern cint strpool_str_114;
extern cint strpool_str_115;
extern cint strpool_str_116;
extern cint strpool_str_117;
extern cint strpool_str_118;
extern cint strpool_str_119;
extern cint strpool_str_120;
extern cint strpool_str_121;
extern cint strpool_str_122;
extern cint strpool_str_123;
extern cint strpool_str_124;
extern cint strpool_str_125;
extern cint strpool_str_126;
extern cint strpool_str_127;
extern cint strpool_str_128;
extern cint strpool_str_129;
extern cint strpool_str_130;
extern cint strpool_str_169;
extern cint strpool_str_131;
extern cint strpool_str_132;
extern cint strpool_str_133;
extern cint strpool_str_134;
extern cint strpool_str_135;
extern cint strpool_str_136;
extern cint strpool_str_137;
extern cint strpool_str_138;
extern cint strpool_str_139;
extern cint strpool_str_140;
extern cint strpool_str_141;
extern cint strpool_str_142;
extern cint strpool_str_143;
extern cint strpool_str_144;
extern cint strpool_str_145;
extern cint strpool_str_146;
extern cint strpool_str_147;
extern cint strpool_str_148;
extern cint strpool_str_149;
extern cint strpool_str_150;
extern cint strpool_str_152;
extern cint strpool_str_153;
extern cint strpool_str_154;
extern cint strpool_str_155;
extern cint strpool_str_156;
extern cint strpool_str_157;
extern cint strpool_str_158;
extern cint object_Undefined;

cint predef_Res;
cint predef_x;
cint predef_y;
cint predef_m;
cint predef_iAbs;
cint predef_fAbs;
cint predef_iAll_but_last;
cint predef_fAll_but_last;
cint predef_iAscending;
cint predef_fAscending;
cint predef_iCeil;
cint predef_fCeil;
cint predef_iChar;
cint predef_fChar;
cint predef_iCode;
cint predef_fCode;
cint predef_iConcat;
cint predef_fConcat;
cint predef_iDelete;
cint predef_fDelete;
cint predef_iDelete_first;
cint predef_fDelete_first;
cint predef_iDelete_last;
cint predef_fDelete_last;
cint predef_iDelete_some;
cint predef_fDelete_some;
cint predef_iDescending;
cint predef_fDescending;
cint predef_iDiv;
cint predef_fDiv;
cint predef_iDomain;
cint predef_fDomain;
cint predef_iEval;
cint predef_fEval;
cint predef_iEven;
cint predef_fEven;
cint predef_iFirst;
cint predef_fFirst;
cint predef_iFloor;
cint predef_fFloor;
cint predef_iFmap;
cint predef_fFmap;
cint predef_iFrac;
cint predef_fFrac;
cint predef_iHd;
cint predef_fHd;
cint predef_iIndex;
cint predef_fIndex;
cint predef_iIndexed;
cint predef_fIndexed;
cint predef_iInsert;
cint predef_fInsert;
cint predef_iInt;
cint predef_fInt;
cint predef_iLast;
cint predef_fLast;
cint predef_iLength;
cint predef_fLength;
cint predef_iLocase;
cint predef_fLocase;
cint predef_iMax;
cint predef_fMax;
cint predef_iMerge;
cint predef_fMerge;
cint predef_iMin;
cint predef_fMin;
cint predef_iMklist;
cint predef_fMklist;
cint predef_iMkmap;
cint predef_fMkmap;
cint predef_iMknum;
cint predef_fMknum;
cint predef_iMkset;
cint predef_fMkset;
cint predef_iMkstr;
cint predef_fMkstr;
cint predef_iMod;
cint predef_fMod;
cint predef_iOdd;
cint predef_fOdd;
cint predef_iProd;
cint predef_fProd;
cint predef_iRange;
cint predef_fRange;
cint predef_iReduce;
cint predef_fReduce;
cint predef_iRem;
cint predef_fRem;
cint predef_iRep;
cint predef_fRep;
cint predef_iRest;
cint predef_fRest;
cint predef_iReverse;
cint predef_fReverse;
cint predef_iRound;
cint predef_fRound;
cint predef_iSign;
cint predef_fSign;
cint predef_iSize;
cint predef_fSize;
cint predef_iSlice;
cint predef_fSlice;
cint predef_iSome;
cint predef_fSome;
cint predef_iSort;
cint predef_fSort;
cint predef_iSplit;
cint predef_fSplit;
cint predef_iSum;
cint predef_fSum;
cint predef_iTl;
cint predef_fTl;
cint predef_iTrim;
cint predef_fTrim;
cint predef_iTrim_left;
cint predef_fTrim_left;
cint predef_iTrim_right;
cint predef_fTrim_right;
cint predef_iUnion;
cint predef_fUnion;
cint predef_iUpcase;
cint predef_fUpcase;
cint predef_ixPlus;
cint predef_fxPlus;
cint predef_ixMinus;
cint predef_fxMinus;
cint predef_ixMul;
cint predef_fxMul;
cint predef_ixDiv;
cint predef_fxDiv;
cint predef_ixLt;
cint predef_fxLt;
cint predef_ixLe;
cint predef_fxLe;
cint predef_ixGt;
cint predef_fxGt;
cint predef_ixGe;
cint predef_fxGe;
cint predef_ixEq;
cint predef_fxEq;
cint predef_ixNe;
cint predef_fxNe;

cptr predef_methods[meth_max];

cint predef_fini(){
  cint t1;
  object_Dec_ref(predef_Res);
  object_Dec_ref(predef_x);
  object_Dec_ref(predef_y);
  object_Dec_ref(predef_m);
  object_Dec_ref(predef_fAbs);
  object_Dec_ref(predef_fAll_but_last);
  object_Dec_ref(predef_fAscending);
  object_Dec_ref(predef_fCeil);
  object_Dec_ref(predef_fChar);
  object_Dec_ref(predef_fCode);
  object_Dec_ref(predef_fConcat);
  object_Dec_ref(predef_fDelete);
  object_Dec_ref(predef_fDelete_first);
  object_Dec_ref(predef_fDelete_last);
  object_Dec_ref(predef_fDelete_some);
  object_Dec_ref(predef_fDescending);
  object_Dec_ref(predef_fDiv);
  object_Dec_ref(predef_fDomain);
  object_Dec_ref(predef_fEval);
  object_Dec_ref(predef_fEven);
  object_Dec_ref(predef_fFirst);
  object_Dec_ref(predef_fFloor);
  object_Dec_ref(predef_fFmap);
  object_Dec_ref(predef_fFrac);
  object_Dec_ref(predef_fHd);
  object_Dec_ref(predef_fIndex);
  object_Dec_ref(predef_fIndexed);
  object_Dec_ref(predef_fInsert);
  object_Dec_ref(predef_fInt);
  object_Dec_ref(predef_fLast);
  object_Dec_ref(predef_fLength);
  object_Dec_ref(predef_fLocase);
  object_Dec_ref(predef_fMax);
  object_Dec_ref(predef_fMerge);
  object_Dec_ref(predef_fMin);
  object_Dec_ref(predef_fMklist);
  object_Dec_ref(predef_fMkmap);
  object_Dec_ref(predef_fMknum);
  object_Dec_ref(predef_fMkset);
  object_Dec_ref(predef_fMkstr);
  object_Dec_ref(predef_fMod);
  object_Dec_ref(predef_fOdd);
  object_Dec_ref(predef_fProd);
  object_Dec_ref(predef_fRange);
  object_Dec_ref(predef_fReduce);
  object_Dec_ref(predef_fRem);
  object_Dec_ref(predef_fRep);
  object_Dec_ref(predef_fRest);
  object_Dec_ref(predef_fReverse);
  object_Dec_ref(predef_fRound);
  object_Dec_ref(predef_fSign);
  object_Dec_ref(predef_fSize);
  object_Dec_ref(predef_fSlice);
  object_Dec_ref(predef_fSome);
  object_Dec_ref(predef_fSort);
  object_Dec_ref(predef_fSplit);
  object_Dec_ref(predef_fSum);
  object_Dec_ref(predef_fTl);
  object_Dec_ref(predef_fTrim);
  object_Dec_ref(predef_fTrim_left);
  object_Dec_ref(predef_fTrim_right);
  object_Dec_ref(predef_fUnion);
  object_Dec_ref(predef_fUpcase);
  object_Dec_ref(predef_fxPlus);
  object_Dec_ref(predef_fxMinus);
  object_Dec_ref(predef_fxMul);
  object_Dec_ref(predef_fxDiv);
  object_Dec_ref(predef_fxLt);
  object_Dec_ref(predef_fxLe);
  object_Dec_ref(predef_fxGt);
  object_Dec_ref(predef_fxGe);
  object_Dec_ref(predef_fxEq);
  object_Dec_ref(predef_fxNe);
  t1_label: return t1;
}

cint predef_bAbs(){
  cint predef_xval, predef_xf;
  cint t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t3 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t3)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t4 = ((cptr)(((cptr)predef_x)[0]))[38];
  t5 = ((f0)t4)((cint)predef_x); /* Eval*/
  predef_xval = t5;
  t7 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t7){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t8 = ((cptr)(((cptr)predef_xf)[0]))[175];
    t9 = ((f0)t8)((cint)predef_xf); /* make_abs*/
    t10 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t10)((cint)predef_Res, (cint)t9);
  }else{
  t11 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t11){
    t12 = ((cptr)predef_xval)[2] /* hashval*/ >= 0;
    if (t12){
      ((cptr)predef_Res)[1] += 1;
      t13 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t13)((cint)predef_Res, (cint)predef_xval);
    }else{
      ((cptr)predef_Res)[1] += 1;
      t14 = 0 - ((cptr)predef_xval)[2] /* hashval*/;
      t15 = ((cptr)(((cptr)predef_xval)[0]))[109];
      t16 = ((f0)t15)((cint)predef_xval, (cint)t14); /* update_hashval*/
      t17 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t17)((cint)predef_Res, (cint)t16);
    };
    goto t2_label;
  }else{
    ((cptr)predef_Res)[1] += 1;
    t18 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t18)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  t2_label: return t2;
}

cint predef_bAll_but_last(){
  cint t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t20 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t20)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t21 = ((cptr)(((cptr)predef_x)[0]))[38];
  t22 = ((f0)t21)((cint)predef_x); /* Eval*/
  t24 = ((cptr)(((cptr)t22)[0]))[6];
  t25 = ((f0)t24)((cint)t22); /* All_but_last*/
  t27 = ((cptr)(((cptr)t25)[0]))[107];
  t28 = ((f0)t27)((cint)t25); /* Trim_trailing_undefineds*/
  t29 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t29)((cint)predef_Res, (cint)t28);
  t19_label: return t19;
}

cint predef_bAscending(){
  cint t30, t31, t32, t33, t34, t35, t36, t37;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t31 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t31)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t32 = ((cptr)(((cptr)predef_x)[0]))[38];
  t33 = ((f0)t32)((cint)predef_x); /* Eval*/
  t35 = ((cptr)(((cptr)t33)[0]))[11];
  t36 = ((f0)t35)((cint)t33); /* Ascending*/
  t37 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t37)((cint)predef_Res, (cint)t36);
  t30_label: return t30;
}

cint predef_bCode(){
  cint predef_xval;
  cint t38, t39, t40, t41, t42, t43, t44, t45, t46, t47, t48, t49;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t39 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t39)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t40 = ((cptr)(((cptr)predef_x)[0]))[38];
  t41 = ((f0)t40)((cint)predef_x); /* Eval*/
  predef_xval = t41;
  t43 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
  t44 = t43;
  if (t44){
    t45 = ((cptr)predef_xval)[3] /* len*/ == 1;
    t44 = t45;
  };
  if (t44){
    ((cptr)predef_Res)[1] += 1;
    t46 = mem_malloc(28); ((cptr)t46)[0] = integer_methods;
    t47 = integer_ialloc((cint)t46, (cint)((cptr)predef_xval)[2] /* hashval*/);
    t48 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t48)((cint)predef_Res, (cint)t47);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t49 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t49)((cint)predef_Res, (cint)object_Undefined);
  };
  object_Dec_ref(predef_xval);
  t38_label: return t38;
}

cint predef_bCeil(){
  cint predef_xval, predef_xf;
  cint t50, t51, t52, t53, t54, t55, t56, t57, t58, t59, t60, t61;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t51 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t51)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t52 = ((cptr)(((cptr)predef_x)[0]))[38];
  t53 = ((f0)t52)((cint)predef_x); /* Eval*/
  predef_xval = t53;
  t55 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t55){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t56 = ((cptr)(((cptr)predef_xf)[0]))[176];
    t57 = ((f0)t56)((cint)predef_xf); /* make_ceil*/
    t58 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t58)((cint)predef_Res, (cint)t57);
  }else{
  t59 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t59){
    ((cptr)predef_Res)[1] += 1;
    t60 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t60)((cint)predef_Res, (cint)predef_xval);
    goto t50_label;
  }else{
    ((cptr)predef_Res)[1] += 1;
    t61 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t61)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  t50_label: return t50;
}

cint predef_bChar(){
  cint predef_xval, predef_chcode, predef_xf;
  cint t62, t63, t64, t65, t66, t67, t68, t69, t70, t71, t72, t73, t74, t75, t76;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t63 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t63)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t64 = ((cptr)(((cptr)predef_x)[0]))[38];
  t65 = ((f0)t64)((cint)predef_x); /* Eval*/
  predef_xval = t65;
  predef_chcode = -1;
  t67 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t67){
    predef_xf = predef_xval;
    t68 = cfloat_f_ceil((cint)((cptr)predef_xf)[7] /* fval*/) == cfloat_f_floor((cint)((cptr)predef_xf)[7] /* fval*/);
    if (t68){
      predef_chcode = cfloat_f_ceil((cint)((cptr)predef_xf)[7] /* fval*/);
    };
  }else{
  t69 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t69){
    predef_chcode = ((cptr)predef_xval)[2] /* hashval*/;
  };};
  t70 = predef_chcode >= 0;
  t71 = t70;
  if (t71){
    t72 = predef_chcode <= 255;
    t71 = t72;
  };
  if (t71){
    ((cptr)predef_Res)[1] += 1;
    t73 = mem_malloc(36); ((cptr)t73)[0] = character_methods;
    t74 = character_alloc((cint)t73, (cint)predef_chcode, (cint)0);
    t75 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t75)((cint)predef_Res, (cint)t74);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t76 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t76)((cint)predef_Res, (cint)object_Undefined);
  };
  object_Dec_ref(predef_xval);
  t62_label: return t62;
}

cint predef_bConcat(){
  cint predef_xval, predef_yval, predef_r, predef_i;
  cint t77, t78, t79, t80, t81, t82, t83, t84, t85, t86, t87, t88, t89, t91, t92, t93, t94, t95, t96, t97, t98, t99, t100, t101;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t78 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t78)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_y)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t79 = (cptr)(((cptr)(((cptr)predef_y)[0]))[25]); /* Declare_as_param*/
  ((f0)t79)((cint)predef_y, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t80 = ((cptr)(((cptr)predef_x)[0]))[38];
  t81 = ((f0)t80)((cint)predef_x); /* Eval*/
  predef_xval = t81;
  ((cptr)predef_y)[1] += 1;
  t83 = ((cptr)(((cptr)predef_y)[0]))[38];
  t84 = ((f0)t83)((cint)predef_y); /* Eval*/
  predef_yval = t84;
  t88 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t87 = ((f0)t88)((cint)predef_xval, (cint)1); /* lookup*/
  ((cptr)t87)[1] += 1;
  predef_r = t87;
  t89 = ((cptr)predef_xval)[3] /* len*/ == 0;
  if (t89){
    ((cptr)strpool_str_33)[1] += 1;
    predef_r = strpool_str_33;
  };
  for (predef_i = 2; predef_i <= ((cptr)predef_xval)[3] /* len*/; predef_i++){
    t91 = predef_yval != object_Undefined;
    if (t91){
      ((cptr)predef_yval)[1] += 1;
      t92 = ((cptr)(((cptr)predef_r)[0]))[97];
      t93 = ((f0)t92)((cint)predef_r, (cint)predef_yval); /* Plus*/
      predef_r = t93;
    };
    t97 = ((cptr)(((cptr)predef_xval)[0]))[62];
    t96 = ((f0)t97)((cint)predef_xval, (cint)predef_i); /* lookup*/
    ((cptr)t96)[1] += 1;
    t98 = ((cptr)(((cptr)predef_r)[0]))[97];
    t99 = ((f0)t98)((cint)predef_r, (cint)t96); /* Plus*/
    predef_r = t99;
  };t90:;
  ((cptr)predef_Res)[1] += 1;
  t101 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t101)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  t77_label: return t77;
}

cint predef_bDelete(){
  cint predef_xval, predef_mval;
  cint t102, t103, t104, t105, t106, t107, t108, t109, t110, t111, t112, t113, t114, t115, t116, t117, t118, t119;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t103 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t103)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t104 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t104)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t105 = ((cptr)(((cptr)predef_x)[0]))[38];
  t106 = ((f0)t105)((cint)predef_x); /* Eval*/
  predef_xval = t106;
  ((cptr)predef_m)[1] += 1;
  t108 = ((cptr)(((cptr)predef_m)[0]))[38];
  t109 = ((f0)t108)((cint)predef_m); /* Eval*/
  predef_mval = t109;
  t111 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_5;
  t112 = t111;
  if (t112){
    t113 = ((cptr)predef_mval)[2] /* hashval*/ > 0;
    t112 = t113;
  };
  t114 = t112;
  if (t114){
    t115 = ((cptr)predef_mval)[2] /* hashval*/ <= ((cptr)predef_xval)[3] /* len*/;
    t114 = t115;
  };
  if (t114){
    ((cptr)predef_Res)[1] += 1;
    t116 = ((cptr)(((cptr)predef_xval)[0]))[29];
    t117 = ((f0)t116)((cint)predef_xval, (cint)((cptr)predef_mval)[2] /* hashval*/); /* Delete_ith*/
    t118 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t118)((cint)predef_Res, (cint)t117);
  }else{
    object_Dec_ref(predef_xval);
    ((cptr)predef_Res)[1] += 1;
    t119 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t119)((cint)predef_Res, (cint)object_Undefined);
  };
  object_Dec_ref(predef_mval);
  t102_label: return t102;
}

cint predef_bDelete_first(){
  cint predef_xval, predef_xfirst;
  cint t120, t121, t122, t123, t124, t125, t126, t127, t128, t129, t130, t131, t132, t133, t134, t135, t136, t137, t138, t139, t140, t141;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t121 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t121)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t122 = ((cptr)(((cptr)predef_x)[0]))[38];
  t123 = ((f0)t122)((cint)predef_x); /* Eval*/
  predef_xval = t123;
  t127 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t126 = ((f0)t127)((cint)predef_xval, (cint)1); /* lookup*/
  ((cptr)t126)[1] += 1;
  predef_xfirst = t126;
  ((cptr)predef_Res)[1] += 1;
  t128 = mem_malloc(40); ((cptr)t128)[0] = slist_methods;
  t129 = slist_alloc((cint)t128, (cint)1);
  ((cptr)t129)[1] += 1;
  t132 = ((cptr)(((cptr)t129)[0]))[7];
  t131 = ((f0)t132)((cint)t129, (cint)predef_xfirst); /* Append*/
  ((cptr)t131)[1] += 1;
  t133 = ((cptr)(((cptr)predef_xval)[0]))[106];
  t134 = ((f0)t133)((cint)predef_xval); /* Tail*/
  t135 = ((cptr)(((cptr)t131)[0]))[7];
  t136 = ((f0)t135)((cint)t131, (cint)t134); /* Append*/
  t139 = ((cptr)(((cptr)t136)[0]))[107];
  t140 = ((f0)t139)((cint)t136); /* Trim_trailing_undefineds*/
  t141 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t141)((cint)predef_Res, (cint)t140);
  t120_label: return t120;
}

cint predef_bDelete_last(){
  cint predef_xval, predef_xlast;
  cint t142, t143, t144, t145, t146, t147, t148, t149, t150, t151, t152, t153, t154, t155, t156, t157, t158, t159, t160, t161, t162, t163, t164, t165, t166;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t143 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t143)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t144 = ((cptr)(((cptr)predef_x)[0]))[38];
  t145 = ((f0)t144)((cint)predef_x); /* Eval*/
  predef_xval = t145;
  t149 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t148 = ((f0)t149)((cint)predef_xval, (cint)((cptr)predef_xval)[3] /* len*/); /* lookup*/
  ((cptr)t148)[1] += 1;
  predef_xlast = t148;
  ((cptr)predef_Res)[1] += 1;
  t150 = mem_malloc(40); ((cptr)t150)[0] = slist_methods;
  t151 = slist_alloc((cint)t150, (cint)1);
  ((cptr)t151)[1] += 1;
  t154 = ((cptr)(((cptr)t151)[0]))[7];
  t153 = ((f0)t154)((cint)t151, (cint)predef_xlast); /* Append*/
  ((cptr)t153)[1] += 1;
  t155 = ((cptr)(((cptr)predef_xval)[0]))[6];
  t156 = ((f0)t155)((cint)predef_xval); /* All_but_last*/
  t158 = ((cptr)(((cptr)t156)[0]))[107];
  t159 = ((f0)t158)((cint)t156); /* Trim_trailing_undefineds*/
  t160 = ((cptr)(((cptr)t153)[0]))[7];
  t161 = ((f0)t160)((cint)t153, (cint)t159); /* Append*/
  t164 = ((cptr)(((cptr)t161)[0]))[107];
  t165 = ((f0)t164)((cint)t161); /* Trim_trailing_undefineds*/
  t166 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t166)((cint)predef_Res, (cint)t165);
  t142_label: return t142;
}

cint predef_bDelete_some(){
  cint predef_xval, predef_i, predef_xsome;
  cint t167, t168, t169, t170, t171, t172, t173, t174, t175, t176, t177, t178, t179, t180, t181, t182, t183, t184, t185, t186;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t168 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t168)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t169 = ((cptr)(((cptr)predef_x)[0]))[38];
  t170 = ((f0)t169)((cint)predef_x); /* Eval*/
  predef_xval = t170;
  predef_i = 1;
  t172 = ((cptr)predef_xval)[3] /* len*/ > 0;
  if (t172){
    t173 = cint_mod((cint)cint_rand(), (cint)((cptr)predef_xval)[3] /* len*/) + 1;
    predef_i = t173;
  };
  t176 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t175 = ((f0)t176)((cint)predef_xval, (cint)predef_i); /* lookup*/
  ((cptr)t175)[1] += 1;
  predef_xsome = t175;
  ((cptr)predef_Res)[1] += 1;
  t177 = mem_malloc(40); ((cptr)t177)[0] = slist_methods;
  t178 = slist_alloc((cint)t177, (cint)1);
  ((cptr)t178)[1] += 1;
  t181 = ((cptr)(((cptr)t178)[0]))[7];
  t180 = ((f0)t181)((cint)t178, (cint)predef_xsome); /* Append*/
  ((cptr)t180)[1] += 1;
  t182 = ((cptr)(((cptr)predef_xval)[0]))[29];
  t183 = ((f0)t182)((cint)predef_xval, (cint)predef_i); /* Delete_ith*/
  t184 = ((cptr)(((cptr)t180)[0]))[7];
  t185 = ((f0)t184)((cint)t180, (cint)t183); /* Append*/
  t186 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t186)((cint)predef_Res, (cint)t185);
  t167_label: return t167;
}

cint predef_bDescending(){
  cint t187, t188, t189, t190, t191, t192, t193, t194;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t188 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t188)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t189 = ((cptr)(((cptr)predef_x)[0]))[38];
  t190 = ((f0)t189)((cint)predef_x); /* Eval*/
  t192 = ((cptr)(((cptr)t190)[0]))[30];
  t193 = ((f0)t192)((cint)t190); /* Descending*/
  t194 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t194)((cint)predef_Res, (cint)t193);
  t187_label: return t187;
}

cint predef_bDiv(){
  cint predef_xval, predef_mval, predef_xi, predef_xf;
  cint t195, t196, t197, t198, t199, t200, t201, t202, t203, t204, t205, t206, t207, t208, t209, t210, t211, t212;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t196 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t196)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t197 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t197)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t198 = ((cptr)(((cptr)predef_x)[0]))[38];
  t199 = ((f0)t198)((cint)predef_x); /* Eval*/
  predef_xval = t199;
  ((cptr)predef_m)[1] += 1;
  t201 = ((cptr)(((cptr)predef_m)[0]))[38];
  t202 = ((f0)t201)((cint)predef_m); /* Eval*/
  predef_mval = t202;
  t204 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t204){
    predef_xi = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t205 = ((cptr)(((cptr)predef_xi)[0]))[154];
    t206 = ((f0)t205)((cint)predef_xi, (cint)predef_mval); /* make_div*/
    t207 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t207)((cint)predef_Res, (cint)t206);
  }else{
  t208 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t208){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t209 = ((cptr)(((cptr)predef_xf)[0]))[154];
    t210 = ((f0)t209)((cint)predef_xf, (cint)predef_mval); /* make_div*/
    t211 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t211)((cint)predef_Res, (cint)t210);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t212 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t212)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t195_label: return t195;
}

cint predef_bDomain(){
  cint predef_xval, predef_s, predef_e;
  cint t213, t214, t215, t216, t217, t218, t219, t220, t221, t222, t223, t224, t225, t226, t227, t228, t229, t230, t231, t232;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t214 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t214)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  t215 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t215)((cint)predef_Res, (cint)object_Undefined);
  ((cptr)predef_x)[1] += 1;
  t216 = ((cptr)(((cptr)predef_x)[0]))[38];
  t217 = ((f0)t216)((cint)predef_x); /* Eval*/
  predef_xval = t217;
  t219 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_60;
  if (t219){
    ((cptr)predef_Res)[1] += 1;
    t220 = mem_malloc(44); ((cptr)t220)[0] = dset_methods;
    ((cptr)predef_xval)[1] += 1;
    t221 = dset_alloc((cint)t220, (cint)predef_xval);
    t222 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t222)((cint)predef_Res, (cint)t221);
  }else{
  t223 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
  t224 = t223;
  if (!t224){    t225 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    t224 = t225;
  };
  if (t224){
    t226 = mem_malloc(28); ((cptr)t226)[0] = integer_methods;
    t227 = integer_ialloc((cint)t226, (cint)1);
    predef_s = t227;
    t228 = mem_malloc(28); ((cptr)t228)[0] = integer_methods;
    t229 = integer_ialloc((cint)t228, (cint)((cptr)predef_xval)[3] /* len*/);
    predef_e = t229;
    ((cptr)predef_Res)[1] += 1;
    t230 = mem_malloc(44); ((cptr)t230)[0] = rset_methods;
    t231 = rset_alloc((cint)t230, (cint)predef_s, (cint)predef_e);
    t232 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t232)((cint)predef_Res, (cint)t231);
  };};
  object_Dec_ref(predef_xval);
  t213_label: return t213;
}

cint predef_bEval(){
  cint t233, t234, t235, t236, t237, t238, t239, t240, t241, t242, t243;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t234 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t234)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t235 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t235)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t236 = ((cptr)(((cptr)predef_x)[0]))[38];
  t237 = ((f0)t236)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t238 = ((cptr)(((cptr)predef_m)[0]))[38];
  t239 = ((f0)t238)((cint)predef_m); /* Eval*/
  t241 = ((cptr)(((cptr)t237)[0]))[10];
  t242 = ((f0)t241)((cint)t237, (cint)t239); /* Apply_indirect*/
  t243 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t243)((cint)predef_Res, (cint)t242);
  t233_label: return t233;
}

cint predef_bEven(){
  cint predef_xval, predef_xf, predef_xi;
  cint t244, t245, t246, t247, t248, t249, t250, t251, t252, t253, t254, t255, t256;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t245 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t245)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t246 = ((cptr)(((cptr)predef_x)[0]))[38];
  t247 = ((f0)t246)((cint)predef_x); /* Eval*/
  predef_xval = t247;
  ((cptr)predef_Res)[1] += 1;
  ((cptr)boolean_False)[1] += 1;
  t249 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t249)((cint)predef_Res, (cint)boolean_False);
  t250 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t250){
    predef_xf = predef_xval;
    t251 = cfloat_f_floor((cint)((cptr)predef_xf)[7] /* fval*/) == cfloat_f_ceil((cint)((cptr)predef_xf)[7] /* fval*/);
    if (t251){
      predef_xi = cfloat_f_floor((cint)((cptr)predef_xf)[7] /* fval*/);
      t252 = cint_rem((cint)predef_xi, (cint)2) == 0;
      if (t252){
        ((cptr)predef_Res)[1] += 1;
        ((cptr)boolean_True)[1] += 1;
        t253 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
        ((f0)t253)((cint)predef_Res, (cint)boolean_True);
      };
    };
  }else{
  t254 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t254){
    t255 = cint_rem((cint)((cptr)predef_xval)[2] /* hashval*/, (cint)2) == 0;
    if (t255){
      ((cptr)predef_Res)[1] += 1;
      ((cptr)boolean_True)[1] += 1;
      t256 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t256)((cint)predef_Res, (cint)boolean_True);
    };
  };};
  object_Dec_ref(predef_xval);
  t244_label: return t244;
}

cint predef_bFirst(){
  cint predef_xval;
  cint t257, t258, t259, t260, t261, t262, t263, t264, t265;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t258 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t258)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t259 = ((cptr)(((cptr)predef_x)[0]))[38];
  t260 = ((f0)t259)((cint)predef_x); /* Eval*/
  predef_xval = t260;
  ((cptr)predef_Res)[1] += 1;
  t264 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t263 = ((f0)t264)((cint)predef_xval, (cint)1); /* lookup*/
  ((cptr)t263)[1] += 1;
  t265 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t265)((cint)predef_Res, (cint)t263);
  object_Dec_ref(predef_xval);
  t257_label: return t257;
}

cint predef_bFmap(){
  cint predef_xval, predef_mval;
  cint t266, t267, t268, t269, t270, t271, t272, t273, t274, t275, t276, t277;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t267 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t267)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t268 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t268)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t269 = ((cptr)(((cptr)predef_x)[0]))[38];
  t270 = ((f0)t269)((cint)predef_x); /* Eval*/
  predef_xval = t270;
  ((cptr)predef_m)[1] += 1;
  t272 = ((cptr)(((cptr)predef_m)[0]))[38];
  t273 = ((f0)t272)((cint)predef_m); /* Eval*/
  predef_mval = t273;
  ((cptr)predef_Res)[1] += 1;
  t275 = ((cptr)(((cptr)predef_mval)[0]))[79];
  t276 = ((f0)t275)((cint)predef_mval, (cint)predef_xval); /* Mapped*/
  t277 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t277)((cint)predef_Res, (cint)t276);
  t266_label: return t266;
}

cint predef_bFloor(){
  cint predef_xval, predef_xf;
  cint t278, t279, t280, t281, t282, t283, t284, t285, t286, t287, t288, t289;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t279 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t279)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t280 = ((cptr)(((cptr)predef_x)[0]))[38];
  t281 = ((f0)t280)((cint)predef_x); /* Eval*/
  predef_xval = t281;
  t283 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t283){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t284 = ((cptr)(((cptr)predef_xf)[0]))[177];
    t285 = ((f0)t284)((cint)predef_xf); /* make_floor*/
    t286 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t286)((cint)predef_Res, (cint)t285);
  }else{
  t287 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t287){
    ((cptr)predef_Res)[1] += 1;
    t288 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t288)((cint)predef_Res, (cint)predef_xval);
    goto t278_label;
  }else{
    ((cptr)predef_Res)[1] += 1;
    t289 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t289)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  t278_label: return t278;
}

cint predef_bFrac(){
  cint predef_xval, predef_xf;
  cint t290, t291, t292, t293, t294, t295, t296, t297, t298, t299, t300, t301, t302, t303;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t291 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t291)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t292 = ((cptr)(((cptr)predef_x)[0]))[38];
  t293 = ((f0)t292)((cint)predef_x); /* Eval*/
  predef_xval = t293;
  t295 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t295){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t296 = ((cptr)(((cptr)predef_xf)[0]))[178];
    t297 = ((f0)t296)((cint)predef_xf); /* make_frac*/
    t298 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t298)((cint)predef_Res, (cint)t297);
  }else{
  t299 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t299){
    ((cptr)predef_Res)[1] += 1;
    t300 = mem_malloc(28); ((cptr)t300)[0] = integer_methods;
    t301 = integer_ialloc((cint)t300, (cint)0);
    t302 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t302)((cint)predef_Res, (cint)t301);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t303 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t303)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  t290_label: return t290;
}

cint predef_bIndex(){
  cint predef_xval, predef_mval, predef_i;
  cint t304, t305, t306, t307, t308, t309, t310, t311, t312, t313, t314, t315, t316, t317, t318, t319, t320, t321, t322, t323, t324;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t305 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t305)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t306 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t306)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t307 = ((cptr)(((cptr)predef_x)[0]))[38];
  t308 = ((f0)t307)((cint)predef_x); /* Eval*/
  predef_xval = t308;
  ((cptr)predef_m)[1] += 1;
  t310 = ((cptr)(((cptr)predef_m)[0]))[38];
  t311 = ((f0)t310)((cint)predef_m); /* Eval*/
  predef_mval = t311;
  t313 = ((cptr)(((cptr)predef_xval)[0]))[47];
  t314 = ((f0)t313)((cint)predef_xval, (cint)predef_mval); /* get_index*/
  predef_i = t314;
  t316 = predef_i > 0;
  t317 = t316;
  if (t317){
    t318 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_30;
    t319 = t318;
    if (!t319){      t320 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_6;
      t319 = t320;
    };
    t317 = t319;
  };
  if (t317){
    ((cptr)predef_Res)[1] += 1;
    t321 = mem_malloc(28); ((cptr)t321)[0] = integer_methods;
    t322 = integer_ialloc((cint)t321, (cint)predef_i);
    t323 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t323)((cint)predef_Res, (cint)t322);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t324 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t324)((cint)predef_Res, (cint)object_Undefined);
  };
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t304_label: return t304;
}

cint predef_bIndexed(){
  cint t325, t326, t327, t328, t329, t330, t331, t332;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t326 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t326)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t327 = ((cptr)(((cptr)predef_x)[0]))[38];
  t328 = ((f0)t327)((cint)predef_x); /* Eval*/
  t330 = ((cptr)(((cptr)t328)[0]))[51];
  t331 = ((f0)t330)((cint)t328); /* Indexed*/
  t332 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t332)((cint)predef_Res, (cint)t331);
  t325_label: return t325;
}

cint predef_bInsert(){
  cint predef_xval, predef_mval, predef_yval, predef_i, predef_s1, predef_s2, predef_l1, predef_l2;
  cint t333, t334, t335, t336, t337, t338, t339, t340, t341, t342, t343, t344, t345, t346, t347, t348, t349, t350, t351, t352, t353, t354, t355, t356, t357, t358, t359, t360, t361, t362, t363, t364, t365, t366, t367, t368, t369, t370, t371, t372, t373, t374, t375, t376, t377, t378, t379, t380, t381, t382, t383;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t334 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t334)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t335 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t335)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_y)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t336 = (cptr)(((cptr)(((cptr)predef_y)[0]))[25]); /* Declare_as_param*/
  ((f0)t336)((cint)predef_y, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t337 = ((cptr)(((cptr)predef_x)[0]))[38];
  t338 = ((f0)t337)((cint)predef_x); /* Eval*/
  predef_xval = t338;
  ((cptr)predef_m)[1] += 1;
  t340 = ((cptr)(((cptr)predef_m)[0]))[38];
  t341 = ((f0)t340)((cint)predef_m); /* Eval*/
  predef_mval = t341;
  ((cptr)predef_y)[1] += 1;
  t343 = ((cptr)(((cptr)predef_y)[0]))[38];
  t344 = ((f0)t343)((cint)predef_y); /* Eval*/
  predef_yval = t344;
  predef_i = ((cptr)predef_mval)[2] /* hashval*/;
  t346 = ((cptr)predef_mval)[4] /* class_of*/ != strpool_str_5;
  t347 = t346;
  if (!t347){    t348 = ((cptr)predef_xval)[3] /* len*/ + 1;
    t349 = predef_i > t348;
    t347 = t349;
  };
  if (t347){
    predef_i = 0;
  };
  t350 = ((cptr)predef_xval)[3] /* len*/ + 1;
  t351 = predef_i == t350;
  if (t351){
    ((cptr)predef_Res)[1] += 1;
    ((cptr)predef_xval)[1] += 1;
    ((cptr)predef_yval)[1] += 1;
    t352 = ((cptr)(((cptr)predef_xval)[0]))[97];
    t353 = ((f0)t352)((cint)predef_xval, (cint)predef_yval); /* Plus*/
    t354 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t354)((cint)predef_Res, (cint)t353);
  }else{
  t355 = predef_i > 0;
  t356 = t355;
  if (t356){
    t357 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    t356 = t357;
  };
  t358 = t356;
  if (t358){
    t359 = ((cptr)predef_yval)[4] /* class_of*/ == strpool_str_6;
    t358 = t359;
  };
  if (t358){
    t360 = mem_malloc(48); ((cptr)t360)[0] = slicestr_methods;
    ((cptr)predef_xval)[1] += 1;
    t361 = predef_i - 1;
    t362 = slicestr_alloc((cint)t360, (cint)predef_xval, (cint)1, (cint)t361);
    predef_s1 = t362;
    t363 = mem_malloc(48); ((cptr)t363)[0] = slicestr_methods;
    ((cptr)predef_xval)[1] += 1;
    t364 = slicestr_alloc((cint)t363, (cint)predef_xval, (cint)predef_i, (cint)((cptr)predef_xval)[3] /* len*/);
    predef_s2 = t364;
    ((cptr)predef_Res)[1] += 1;
    ((cptr)predef_yval)[1] += 1;
    t365 = ((cptr)(((cptr)predef_yval)[0]))[97];
    t366 = ((f0)t365)((cint)predef_yval, (cint)predef_s2); /* Plus*/
    t367 = ((cptr)(((cptr)predef_s1)[0]))[97];
    t368 = ((f0)t367)((cint)predef_s1, (cint)t366); /* Plus*/
    t369 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t369)((cint)predef_Res, (cint)t368);
  }else{
  t370 = predef_i > 0;
  t371 = t370;
  if (t371){
    t372 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
    t371 = t372;
  };
  if (t371){
    t373 = mem_malloc(40); ((cptr)t373)[0] = slicelst_methods;
    ((cptr)predef_xval)[1] += 1;
    t374 = predef_i - 1;
    t375 = slicelst_alloc((cint)t373, (cint)predef_xval, (cint)1, (cint)t374);
    predef_l1 = t375;
    t376 = mem_malloc(40); ((cptr)t376)[0] = slicelst_methods;
    ((cptr)predef_xval)[1] += 1;
    t377 = slicelst_alloc((cint)t376, (cint)predef_xval, (cint)predef_i, (cint)((cptr)predef_xval)[3] /* len*/);
    predef_l2 = t377;
    ((cptr)predef_Res)[1] += 1;
    ((cptr)predef_yval)[1] += 1;
    t378 = ((cptr)(((cptr)predef_yval)[0]))[97];
    t379 = ((f0)t378)((cint)predef_yval, (cint)predef_l2); /* Plus*/
    t380 = ((cptr)(((cptr)predef_l1)[0]))[97];
    t381 = ((f0)t380)((cint)predef_l1, (cint)t379); /* Plus*/
    t382 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t382)((cint)predef_Res, (cint)t381);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t383 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t383)((cint)predef_Res, (cint)object_Undefined);
  };};};
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_yval);
  object_Dec_ref(predef_mval);
  t333_label: return t333;
}

cint predef_bInt(){
  cint predef_xval, predef_xf;
  cint t384, t385, t386, t387, t388, t389, t390, t391, t392, t393, t394, t395;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t385 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t385)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t386 = ((cptr)(((cptr)predef_x)[0]))[38];
  t387 = ((f0)t386)((cint)predef_x); /* Eval*/
  predef_xval = t387;
  t389 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t389){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t390 = ((cptr)(((cptr)predef_xf)[0]))[179];
    t391 = ((f0)t390)((cint)predef_xf); /* make_int*/
    t392 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t392)((cint)predef_Res, (cint)t391);
  }else{
  t393 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t393){
    ((cptr)predef_Res)[1] += 1;
    t394 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t394)((cint)predef_Res, (cint)predef_xval);
    goto t384_label;
  }else{
    ((cptr)predef_Res)[1] += 1;
    t395 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t395)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  t384_label: return t384;
}

cint predef_bLast(){
  cint predef_xval;
  cint t396, t397, t398, t399, t400, t401, t402, t403, t404;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t397 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t397)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t398 = ((cptr)(((cptr)predef_x)[0]))[38];
  t399 = ((f0)t398)((cint)predef_x); /* Eval*/
  predef_xval = t399;
  ((cptr)predef_Res)[1] += 1;
  t403 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t402 = ((f0)t403)((cint)predef_xval, (cint)((cptr)predef_xval)[3] /* len*/); /* lookup*/
  ((cptr)t402)[1] += 1;
  t404 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t404)((cint)predef_Res, (cint)t402);
  object_Dec_ref(predef_xval);
  t396_label: return t396;
}

cint predef_bLength(){
  cint predef_xval, predef_r;
  cint t405, t406, t407, t408, t409, t410, t411, t412, t413, t414, t415, t416, t417, t418, t419, t420, t421;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t406 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t406)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t407 = ((cptr)(((cptr)predef_x)[0]))[38];
  t408 = ((f0)t407)((cint)predef_x); /* Eval*/
  predef_xval = t408;
  t410 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
  t411 = t410;
  if (t411){
    t412 = ((cptr)predef_xval)[3] /* len*/ >= 0;
    t411 = t412;
  };
  t413 = t411;
  if (!t413){    t414 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    t413 = t414;
  };
  t415 = t413;
  if (!t415){    t416 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_32;
    t417 = t416;
    if (t417){
      t418 = ((cptr)predef_xval)[3] /* len*/ >= 0;
      t417 = t418;
    };
    t415 = t417;
  };
  if (t415){
    t419 = mem_malloc(28); ((cptr)t419)[0] = integer_methods;
    t420 = integer_ialloc((cint)t419, (cint)((cptr)predef_xval)[3] /* len*/);
    predef_r = t420;
  }else{
    predef_r = object_Undefined;
  };
  ((cptr)predef_Res)[1] += 1;
  t421 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t421)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  t405_label: return t405;
}

cint predef_bLocase(){
  cint predef_xval, predef_r;
  cint t422, t423, t424, t425, t426, t427, t428, t429, t430, t431;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t423 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t423)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t424 = ((cptr)(((cptr)predef_x)[0]))[38];
  t425 = ((f0)t424)((cint)predef_x); /* Eval*/
  predef_xval = t425;
  t427 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
  if (t427){
    t428 = ((cptr)(((cptr)predef_xval)[0]))[127];
    t429 = ((f0)t428)((cint)predef_xval); /* Locase*/
    predef_r = t429;
  }else{
    predef_r = object_Undefined;
    object_Dec_ref(predef_xval);
  };
  ((cptr)predef_Res)[1] += 1;
  t431 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t431)((cint)predef_Res, (cint)predef_r);
  t422_label: return t422;
}

cint predef_bMax(){
  cint t432, t433, t434, t435, t436, t437, t438, t439, t440, t441, t442;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t433 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t433)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t434 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t434)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t435 = ((cptr)(((cptr)predef_x)[0]))[38];
  t436 = ((f0)t435)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t437 = ((cptr)(((cptr)predef_m)[0]))[38];
  t438 = ((f0)t437)((cint)predef_m); /* Eval*/
  t440 = ((cptr)(((cptr)t436)[0]))[80];
  t441 = ((f0)t440)((cint)t436, (cint)t438); /* Max*/
  t442 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t442)((cint)predef_Res, (cint)t441);
  t432_label: return t432;
}

cint predef_bMerge(){
  cint t443, t444, t445, t446, t447, t448, t449, t450, t451, t452, t453, t454, t455, t456;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t444 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t444)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_y)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t445 = (cptr)(((cptr)(((cptr)predef_y)[0]))[25]); /* Declare_as_param*/
  ((f0)t445)((cint)predef_y, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t446 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t446)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t447 = ((cptr)(((cptr)predef_x)[0]))[38];
  t448 = ((f0)t447)((cint)predef_x); /* Eval*/
  ((cptr)predef_y)[1] += 1;
  t449 = ((cptr)(((cptr)predef_y)[0]))[38];
  t450 = ((f0)t449)((cint)predef_y); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t451 = ((cptr)(((cptr)predef_m)[0]))[38];
  t452 = ((f0)t451)((cint)predef_m); /* Eval*/
  t454 = ((cptr)(((cptr)t448)[0]))[81];
  t455 = ((f0)t454)((cint)t448, (cint)t450, (cint)t452); /* Merge*/
  t456 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t456)((cint)predef_Res, (cint)t455);
  t443_label: return t443;
}

cint predef_bMin(){
  cint t457, t458, t459, t460, t461, t462, t463, t464, t465, t466, t467;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t458 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t458)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t459 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t459)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t460 = ((cptr)(((cptr)predef_x)[0]))[38];
  t461 = ((f0)t460)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t462 = ((cptr)(((cptr)predef_m)[0]))[38];
  t463 = ((f0)t462)((cint)predef_m); /* Eval*/
  t465 = ((cptr)(((cptr)t461)[0]))[82];
  t466 = ((f0)t465)((cint)t461, (cint)t463); /* Min*/
  t467 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t467)((cint)predef_Res, (cint)t466);
  t457_label: return t457;
}

cint predef_bMklist(){
  cint t468, t469, t470, t471, t472, t473, t474, t475;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t469 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t469)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t470 = ((cptr)(((cptr)predef_x)[0]))[38];
  t471 = ((f0)t470)((cint)predef_x); /* Eval*/
  t473 = ((cptr)(((cptr)t471)[0]))[68];
  t474 = ((f0)t473)((cint)t471); /* Make_list*/
  t475 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t475)((cint)predef_Res, (cint)t474);
  t468_label: return t468;
}

cint predef_bMkmap(){
  cint t476, t477, t478, t479, t480, t481, t482, t483;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t477 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t477)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t478 = ((cptr)(((cptr)predef_x)[0]))[38];
  t479 = ((f0)t478)((cint)predef_x); /* Eval*/
  t481 = ((cptr)(((cptr)t479)[0]))[86];
  t482 = ((f0)t481)((cint)t479); /* Mkmap*/
  t483 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t483)((cint)predef_Res, (cint)t482);
  t476_label: return t476;
}

cint predef_bMknum(){
  cint t484, t485, t486, t487, t488, t489, t490, t491;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t485 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t485)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t486 = ((cptr)(((cptr)predef_x)[0]))[38];
  t487 = ((f0)t486)((cint)predef_x); /* Eval*/
  t489 = ((cptr)(((cptr)t487)[0]))[87];
  t490 = ((f0)t489)((cint)t487); /* Mknum*/
  t491 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t491)((cint)predef_Res, (cint)t490);
  t484_label: return t484;
}

cint predef_bMkset(){
  cint t492, t493, t494, t495, t496, t497, t498, t499;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t493 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t493)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t494 = ((cptr)(((cptr)predef_x)[0]))[38];
  t495 = ((f0)t494)((cint)predef_x); /* Eval*/
  t497 = ((cptr)(((cptr)t495)[0]))[74];
  t498 = ((f0)t497)((cint)t495); /* Make_set*/
  t499 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t499)((cint)predef_Res, (cint)t498);
  t492_label: return t492;
}

cint predef_bMkstr(){
  cint predef_xval;
  cint t500, t501, t502, t503, t504, t505, t506, t507, t508, t509;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t501 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t501)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t502 = ((cptr)(((cptr)predef_x)[0]))[38];
  t503 = ((f0)t502)((cint)predef_x); /* Eval*/
  predef_xval = t503;
  t505 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
  if (t505){
    ((cptr)predef_Res)[1] += 1;
    t506 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t506)((cint)predef_Res, (cint)predef_xval);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t507 = ((cptr)(((cptr)predef_xval)[0]))[88];
    t508 = ((f0)t507)((cint)predef_xval); /* Mkstr*/
    t509 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t509)((cint)predef_Res, (cint)t508);
  };
  t500_label: return t500;
}

cint predef_bMod(){
  cint predef_xval, predef_mval, predef_xi, predef_xf;
  cint t510, t511, t512, t513, t514, t515, t516, t517, t518, t519, t520, t521, t522, t523, t524, t525, t526, t527;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t511 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t511)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t512 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t512)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t513 = ((cptr)(((cptr)predef_x)[0]))[38];
  t514 = ((f0)t513)((cint)predef_x); /* Eval*/
  predef_xval = t514;
  ((cptr)predef_m)[1] += 1;
  t516 = ((cptr)(((cptr)predef_m)[0]))[38];
  t517 = ((f0)t516)((cint)predef_m); /* Eval*/
  predef_mval = t517;
  t519 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t519){
    predef_xi = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t520 = ((cptr)(((cptr)predef_xi)[0]))[155];
    t521 = ((f0)t520)((cint)predef_xi, (cint)predef_mval); /* make_mod*/
    t522 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t522)((cint)predef_Res, (cint)t521);
  }else{
  t523 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t523){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t524 = ((cptr)(((cptr)predef_xf)[0]))[155];
    t525 = ((f0)t524)((cint)predef_xf, (cint)predef_mval); /* make_mod*/
    t526 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t526)((cint)predef_Res, (cint)t525);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t527 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t527)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t510_label: return t510;
}

cint predef_bOdd(){
  cint predef_xval, predef_xf, predef_xi;
  cint t528, t529, t530, t531, t532, t533, t534, t535, t536, t537, t538, t539, t540;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t529 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t529)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t530 = ((cptr)(((cptr)predef_x)[0]))[38];
  t531 = ((f0)t530)((cint)predef_x); /* Eval*/
  predef_xval = t531;
  ((cptr)predef_Res)[1] += 1;
  ((cptr)boolean_False)[1] += 1;
  t533 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t533)((cint)predef_Res, (cint)boolean_False);
  t534 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t534){
    predef_xf = predef_xval;
    t535 = cfloat_f_floor((cint)((cptr)predef_xf)[7] /* fval*/) == cfloat_f_ceil((cint)((cptr)predef_xf)[7] /* fval*/);
    if (t535){
      predef_xi = cfloat_f_floor((cint)((cptr)predef_xf)[7] /* fval*/);
      t536 = cint_rem((cint)predef_xi, (cint)2) != 0;
      if (t536){
        ((cptr)predef_Res)[1] += 1;
        ((cptr)boolean_True)[1] += 1;
        t537 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
        ((f0)t537)((cint)predef_Res, (cint)boolean_True);
      };
    };
  }else{
  t538 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t538){
    t539 = cint_rem((cint)((cptr)predef_xval)[2] /* hashval*/, (cint)2) != 0;
    if (t539){
      ((cptr)predef_Res)[1] += 1;
      ((cptr)boolean_True)[1] += 1;
      t540 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t540)((cint)predef_Res, (cint)boolean_True);
    };
  };};
  object_Dec_ref(predef_xval);
  t528_label: return t528;
}

cint predef_bProd(){
  cint predef_xval, predef_r, predef_i;
  cint t541, t542, t543, t544, t545, t546, t547, t548, t549, t550, t551, t553, t554, t555, t556, t557, t558, t559, t560, t561, t562, t563, t564, t565, t566, t567;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t542 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t542)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t543 = ((cptr)(((cptr)predef_x)[0]))[38];
  t544 = ((f0)t543)((cint)predef_x); /* Eval*/
  predef_xval = t544;
  t548 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t547 = ((f0)t548)((cint)predef_xval, (cint)1); /* lookup*/
  ((cptr)t547)[1] += 1;
  predef_r = t547;
  t549 = ((cptr)predef_xval)[3] /* len*/ == 0;
  if (t549){
    t550 = mem_malloc(28); ((cptr)t550)[0] = integer_methods;
    t551 = integer_ialloc((cint)t550, (cint)0);
    predef_r = t551;
  };
  for (predef_i = 2; predef_i <= ((cptr)predef_xval)[3] /* len*/; predef_i++){
    ((cptr)strpool_str_151)[1] += 1;
    t553 = mem_malloc(40); ((cptr)t553)[0] = slist_methods;
    t554 = slist_alloc((cint)t553, (cint)1);
    ((cptr)t554)[1] += 1;
    t557 = ((cptr)(((cptr)t554)[0]))[7];
    t556 = ((f0)t557)((cint)t554, (cint)predef_r); /* Append*/
    ((cptr)t556)[1] += 1;
    t560 = ((cptr)(((cptr)predef_xval)[0]))[62];
    t559 = ((f0)t560)((cint)predef_xval, (cint)predef_i); /* lookup*/
    ((cptr)t559)[1] += 1;
    t561 = ((cptr)(((cptr)t556)[0]))[7];
    t562 = ((f0)t561)((cint)t556, (cint)t559); /* Append*/
    t563 = ((cptr)(((cptr)strpool_str_151)[0]))[10];
    t564 = ((f0)t563)((cint)strpool_str_151, (cint)t562); /* Apply_indirect*/
    predef_r = t564;
  };t552:;
  ((cptr)predef_Res)[1] += 1;
  t567 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t567)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  t541_label: return t541;
}

cint predef_bRange(){
  cint predef_xval, predef_dom;
  cint t568, t569, t570, t571, t572, t573, t574, t575, t576, t577, t578, t579, t580, t581, t582, t583, t584, t585;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t569 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t569)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t570 = ((cptr)(((cptr)predef_x)[0]))[38];
  t571 = ((f0)t570)((cint)predef_x); /* Eval*/
  predef_xval = t571;
  t573 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_60;
  if (t573){
    t574 = mem_malloc(44); ((cptr)t574)[0] = dset_methods;
    ((cptr)predef_xval)[1] += 1;
    t575 = dset_alloc((cint)t574, (cint)predef_xval);
    predef_dom = t575;
    ((cptr)predef_Res)[1] += 1;
    t576 = ((cptr)(((cptr)predef_dom)[0]))[79];
    t577 = ((f0)t576)((cint)predef_dom, (cint)predef_xval); /* Mapped*/
    t578 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t578)((cint)predef_Res, (cint)t577);
  }else{
  t579 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
  t580 = t579;
  if (!t580){    t581 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    t580 = t581;
  };
  if (t580){
    ((cptr)predef_Res)[1] += 1;
    t582 = ((cptr)(((cptr)predef_xval)[0]))[74];
    t583 = ((f0)t582)((cint)predef_xval); /* Make_set*/
    t584 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t584)((cint)predef_Res, (cint)t583);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t585 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t585)((cint)predef_Res, (cint)object_Undefined);
  };};
  t568_label: return t568;
}

cint predef_bReduce(){
  cint predef_xval, predef_yval, predef_mval, predef_r, predef_i;
  cint t586, t587, t588, t589, t590, t591, t592, t593, t594, t595, t596, t597, t598, t599, t600, t601, t602, t603, t604, t605, t606, t607, t608, t609, t610, t611, t612, t613, t614, t615, t616, t617, t618, t619, t620, t621, t622, t624, t625, t626, t627, t628, t629, t630, t631, t632, t633, t634, t635, t636, t637, t639, t640, t641, t642, t643, t644, t645, t646, t647, t648, t649, t650, t651, t652, t653;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t587 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t587)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_y)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t588 = (cptr)(((cptr)(((cptr)predef_y)[0]))[25]); /* Declare_as_param*/
  ((f0)t588)((cint)predef_y, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t589 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t589)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t590 = ((cptr)(((cptr)predef_x)[0]))[38];
  t591 = ((f0)t590)((cint)predef_x); /* Eval*/
  predef_xval = t591;
  ((cptr)predef_y)[1] += 1;
  t593 = ((cptr)(((cptr)predef_y)[0]))[38];
  t594 = ((f0)t593)((cint)predef_y); /* Eval*/
  predef_yval = t594;
  ((cptr)predef_m)[1] += 1;
  t596 = ((cptr)(((cptr)predef_m)[0]))[38];
  t597 = ((f0)t596)((cint)predef_m); /* Eval*/
  predef_mval = t597;
  t599 = ((cptr)predef_yval)[3] /* len*/ == 0;
  if (t599){
    ((cptr)predef_mval)[1] += 1;
    predef_r = predef_mval;
  }else{
  t600 = ((cptr)predef_yval)[3] /* len*/ == 1;
  if (t600){
    t601 = predef_mval == object_Undefined;
    if (t601){
      t604 = ((cptr)(((cptr)predef_yval)[0]))[62];
      t603 = ((f0)t604)((cint)predef_yval, (cint)1); /* lookup*/
      ((cptr)t603)[1] += 1;
      predef_r = t603;
    }else{
      ((cptr)predef_xval)[1] += 1;
      t605 = mem_malloc(40); ((cptr)t605)[0] = slist_methods;
      t606 = slist_alloc((cint)t605, (cint)1);
      ((cptr)t606)[1] += 1;
      ((cptr)predef_mval)[1] += 1;
      t609 = ((cptr)(((cptr)t606)[0]))[7];
      t608 = ((f0)t609)((cint)t606, (cint)predef_mval); /* Append*/
      ((cptr)t608)[1] += 1;
      t612 = ((cptr)(((cptr)predef_yval)[0]))[62];
      t611 = ((f0)t612)((cint)predef_yval, (cint)1); /* lookup*/
      ((cptr)t611)[1] += 1;
      t613 = ((cptr)(((cptr)t608)[0]))[7];
      t614 = ((f0)t613)((cint)t608, (cint)t611); /* Append*/
      t615 = ((cptr)(((cptr)predef_xval)[0]))[10];
      t616 = ((f0)t615)((cint)predef_xval, (cint)t614); /* Apply_indirect*/
      predef_r = t616;
    };
  }else{
    t619 = predef_mval == object_Undefined;
    if (t619){
      t622 = ((cptr)(((cptr)predef_yval)[0]))[62];
      t621 = ((f0)t622)((cint)predef_yval, (cint)1); /* lookup*/
      ((cptr)t621)[1] += 1;
      predef_r = t621;
      for (predef_i = 2; predef_i <= ((cptr)predef_yval)[3] /* len*/; predef_i++){
        ((cptr)predef_xval)[1] += 1;
        t624 = mem_malloc(40); ((cptr)t624)[0] = slist_methods;
        t625 = slist_alloc((cint)t624, (cint)1);
        ((cptr)t625)[1] += 1;
        t628 = ((cptr)(((cptr)t625)[0]))[7];
        t627 = ((f0)t628)((cint)t625, (cint)predef_r); /* Append*/
        ((cptr)t627)[1] += 1;
        t631 = ((cptr)(((cptr)predef_yval)[0]))[62];
        t630 = ((f0)t631)((cint)predef_yval, (cint)predef_i); /* lookup*/
        ((cptr)t630)[1] += 1;
        t632 = ((cptr)(((cptr)t627)[0]))[7];
        t633 = ((f0)t632)((cint)t627, (cint)t630); /* Append*/
        t634 = ((cptr)(((cptr)predef_xval)[0]))[10];
        t635 = ((f0)t634)((cint)predef_xval, (cint)t633); /* Apply_indirect*/
        predef_r = t635;
      };t623:;
    }else{
      ((cptr)predef_mval)[1] += 1;
      predef_r = predef_mval;
      for (predef_i = 1; predef_i <= ((cptr)predef_yval)[3] /* len*/; predef_i++){
        ((cptr)predef_xval)[1] += 1;
        t639 = mem_malloc(40); ((cptr)t639)[0] = slist_methods;
        t640 = slist_alloc((cint)t639, (cint)1);
        ((cptr)t640)[1] += 1;
        t643 = ((cptr)(((cptr)t640)[0]))[7];
        t642 = ((f0)t643)((cint)t640, (cint)predef_r); /* Append*/
        ((cptr)t642)[1] += 1;
        t646 = ((cptr)(((cptr)predef_yval)[0]))[62];
        t645 = ((f0)t646)((cint)predef_yval, (cint)predef_i); /* lookup*/
        ((cptr)t645)[1] += 1;
        t647 = ((cptr)(((cptr)t642)[0]))[7];
        t648 = ((f0)t647)((cint)t642, (cint)t645); /* Append*/
        t649 = ((cptr)(((cptr)predef_xval)[0]))[10];
        t650 = ((f0)t649)((cint)predef_xval, (cint)t648); /* Apply_indirect*/
        predef_r = t650;
      };t638:;
    };
  };};
  ((cptr)predef_Res)[1] += 1;
  t653 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t653)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_yval);
  object_Dec_ref(predef_mval);
  t586_label: return t586;
}

cint predef_bRem(){
  cint predef_xval, predef_mval, predef_xi, predef_xf;
  cint t654, t655, t656, t657, t658, t659, t660, t661, t662, t663, t664, t665, t666, t667, t668, t669, t670, t671;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t655 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t655)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t656 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t656)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t657 = ((cptr)(((cptr)predef_x)[0]))[38];
  t658 = ((f0)t657)((cint)predef_x); /* Eval*/
  predef_xval = t658;
  ((cptr)predef_m)[1] += 1;
  t660 = ((cptr)(((cptr)predef_m)[0]))[38];
  t661 = ((f0)t660)((cint)predef_m); /* Eval*/
  predef_mval = t661;
  t663 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t663){
    predef_xi = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t664 = ((cptr)(((cptr)predef_xi)[0]))[156];
    t665 = ((f0)t664)((cint)predef_xi, (cint)predef_mval); /* make_rem*/
    t666 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t666)((cint)predef_Res, (cint)t665);
  }else{
  t667 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t667){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t668 = ((cptr)(((cptr)predef_xf)[0]))[156];
    t669 = ((f0)t668)((cint)predef_xf, (cint)predef_mval); /* make_rem*/
    t670 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t670)((cint)predef_Res, (cint)t669);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t671 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t671)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t654_label: return t654;
}

cint predef_bRep(){
  cint predef_xval, predef_mval, predef_r, predef_i;
  cint t672, t673, t674, t675, t676, t677, t678, t679, t680, t681, t682, t683, t684, t685, t686, t688, t689, t690, t691, t692;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t673 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t673)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t674 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t674)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t675 = ((cptr)(((cptr)predef_x)[0]))[38];
  t676 = ((f0)t675)((cint)predef_x); /* Eval*/
  predef_xval = t676;
  ((cptr)predef_m)[1] += 1;
  t678 = ((cptr)(((cptr)predef_m)[0]))[38];
  t679 = ((f0)t678)((cint)predef_m); /* Eval*/
  predef_mval = t679;
  t681 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_5;
  t682 = t681;
  if (t682){
    t683 = ((cptr)predef_mval)[2] /* hashval*/ > 0;
    t682 = t683;
  };
  if (t682){
    t684 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    if (t684){
      ((cptr)strpool_str_33)[1] += 1;
      predef_r = strpool_str_33;
    }else{
      t685 = mem_malloc(40); ((cptr)t685)[0] = slist_methods;
      t686 = slist_alloc((cint)t685, (cint)((cptr)predef_mval)[2] /* hashval*/);
      predef_r = t686;
    };
    for (predef_i = 1; predef_i <= ((cptr)predef_mval)[2] /* hashval*/; predef_i++){
      ((cptr)predef_xval)[1] += 1;
      t688 = ((cptr)(((cptr)predef_r)[0]))[7];
      t689 = ((f0)t688)((cint)predef_r, (cint)predef_xval); /* Append*/
      predef_r = t689;
    };t687:;
    ((cptr)predef_Res)[1] += 1;
    t691 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t691)((cint)predef_Res, (cint)predef_r);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t692 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t692)((cint)predef_Res, (cint)object_Undefined);
  };
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t672_label: return t672;
}

cint predef_bRest(){
  cint t693, t694, t695, t696, t697, t698, t699, t700;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t694 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t694)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t695 = ((cptr)(((cptr)predef_x)[0]))[38];
  t696 = ((f0)t695)((cint)predef_x); /* Eval*/
  t698 = ((cptr)(((cptr)t696)[0]))[106];
  t699 = ((f0)t698)((cint)t696); /* Tail*/
  t700 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t700)((cint)predef_Res, (cint)t699);
  t693_label: return t693;
}

cint predef_bReverse(){
  cint predef_xval, predef_r, predef_i;
  cint t701, t702, t703, t704, t705, t706, t707, t708, t709, t710, t712, t713, t714, t715, t716, t717, t718, t719, t720;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t702 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t702)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t703 = ((cptr)(((cptr)predef_x)[0]))[38];
  t704 = ((f0)t703)((cint)predef_x); /* Eval*/
  predef_xval = t704;
  t706 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
  if (t706){
    ((cptr)strpool_str_33)[1] += 1;
    predef_r = strpool_str_33;
  }else{
  t707 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
  if (t707){
    t708 = mem_malloc(40); ((cptr)t708)[0] = slist_methods;
    t709 = slist_alloc((cint)t708, (cint)((cptr)predef_xval)[3] /* len*/);
    predef_r = t709;
  }else{
    ((cptr)predef_Res)[1] += 1;
    t710 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t710)((cint)predef_Res, (cint)object_Undefined);
    object_Dec_ref(predef_xval);
    goto t701_label;
  };};
  for (predef_i = 1; predef_i <= ((cptr)predef_xval)[3] /* len*/; predef_i++){
    t712 = ((cptr)predef_xval)[3] /* len*/ + 1;
    t713 = t712 - predef_i;
    t716 = ((cptr)(((cptr)predef_xval)[0]))[62];
    t715 = ((f0)t716)((cint)predef_xval, (cint)t713); /* lookup*/
    ((cptr)t715)[1] += 1;
    t717 = ((cptr)(((cptr)predef_r)[0]))[7];
    t718 = ((f0)t717)((cint)predef_r, (cint)t715); /* Append*/
    predef_r = t718;
  };t711:;
  ((cptr)predef_Res)[1] += 1;
  t720 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t720)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  t701_label: return t701;
}

cint predef_bRound(){
  cint predef_xval, predef_xf;
  cint t721, t722, t723, t724, t725, t726, t727, t728, t729, t730, t731, t732;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t722 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t722)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t723 = ((cptr)(((cptr)predef_x)[0]))[38];
  t724 = ((f0)t723)((cint)predef_x); /* Eval*/
  predef_xval = t724;
  t726 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t726){
    predef_xf = predef_xval;
    ((cptr)predef_Res)[1] += 1;
    t727 = ((cptr)(((cptr)predef_xf)[0]))[180];
    t728 = ((f0)t727)((cint)predef_xf); /* make_round*/
    t729 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t729)((cint)predef_Res, (cint)t728);
  }else{
  t730 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t730){
    ((cptr)predef_Res)[1] += 1;
    t731 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t731)((cint)predef_Res, (cint)predef_xval);
    goto t721_label;
  }else{
    ((cptr)predef_Res)[1] += 1;
    t732 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t732)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  t721_label: return t721;
}

cint predef_bSign(){
  cint predef_xval, predef_xf;
  cint t733, t734, t735, t736, t737, t738, t739, t740, t741, t742, t743, t744, t745, t746, t747, t748, t749, t750, t751, t752, t753, t754, t755, t756, t757, t758, t759, t760;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t734 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t734)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t735 = ((cptr)(((cptr)predef_x)[0]))[38];
  t736 = ((f0)t735)((cint)predef_x); /* Eval*/
  predef_xval = t736;
  t738 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_19;
  if (t738){
    predef_xf = predef_xval;
    t739 = cint_as_float((cint)((cptr)predef_xf)[7] /* fval*/) > 0;
    if (t739){
      ((cptr)predef_Res)[1] += 1;
      t740 = mem_malloc(28); ((cptr)t740)[0] = integer_methods;
      t741 = integer_ialloc((cint)t740, (cint)1);
      t742 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t742)((cint)predef_Res, (cint)t741);
    }else{
    t743 = cint_as_float((cint)((cptr)predef_xf)[7] /* fval*/) < 0;
    if (t743){
      ((cptr)predef_Res)[1] += 1;
      t744 = mem_malloc(28); ((cptr)t744)[0] = integer_methods;
      t745 = integer_ialloc((cint)t744, (cint)-1);
      t746 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t746)((cint)predef_Res, (cint)t745);
    }else{
      ((cptr)predef_Res)[1] += 1;
      t747 = mem_malloc(28); ((cptr)t747)[0] = integer_methods;
      t748 = integer_ialloc((cint)t747, (cint)0);
      t749 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t749)((cint)predef_Res, (cint)t748);
    };};
  }else{
  t750 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_5;
  if (t750){
    t751 = ((cptr)predef_xval)[2] /* hashval*/ > 0;
    if (t751){
      ((cptr)predef_Res)[1] += 1;
      t752 = mem_malloc(28); ((cptr)t752)[0] = integer_methods;
      t753 = integer_ialloc((cint)t752, (cint)1);
      t754 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t754)((cint)predef_Res, (cint)t753);
    }else{
    t755 = ((cptr)predef_xval)[2] /* hashval*/ < 0;
    if (t755){
      ((cptr)predef_Res)[1] += 1;
      t756 = mem_malloc(28); ((cptr)t756)[0] = integer_methods;
      t757 = integer_ialloc((cint)t756, (cint)-1);
      t758 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t758)((cint)predef_Res, (cint)t757);
    }else{
      ((cptr)predef_Res)[1] += 1;
      t759 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t759)((cint)predef_Res, (cint)0);
    };};
  }else{
    ((cptr)predef_Res)[1] += 1;
    t760 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t760)((cint)predef_Res, (cint)object_Undefined);
  };};
  t733_label: return t733;
}

cint predef_bSize(){
  cint predef_xval, predef_r;
  cint t761, t762, t763, t764, t765, t766, t767, t768, t769, t770, t771, t772, t773, t774, t775, t776, t777;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t762 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t762)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t763 = ((cptr)(((cptr)predef_x)[0]))[38];
  t764 = ((f0)t763)((cint)predef_x); /* Eval*/
  predef_xval = t764;
  t766 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_32;
  t767 = t766;
  if (t767){
    t768 = ((cptr)predef_xval)[3] /* len*/ >= 0;
    t767 = t768;
  };
  t769 = t767;
  if (!t769){    t770 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
    t771 = t770;
    if (t771){
      t772 = ((cptr)predef_xval)[3] /* len*/ >= 0;
      t771 = t772;
    };
    t769 = t771;
  };
  t773 = t769;
  if (!t773){    t774 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    t773 = t774;
  };
  if (t773){
    t775 = mem_malloc(28); ((cptr)t775)[0] = integer_methods;
    t776 = integer_ialloc((cint)t775, (cint)((cptr)predef_xval)[3] /* len*/);
    predef_r = t776;
  }else{
    predef_r = object_Undefined;
  };
  ((cptr)predef_Res)[1] += 1;
  t777 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t777)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  t761_label: return t761;
}

cint predef_bSlice(){
  cint t778, t779, t780, t781, t782, t783, t784, t785, t786, t787, t788;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t779 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t779)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t780 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t780)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_m)[1] += 1;
  t781 = ((cptr)(((cptr)predef_m)[0]))[38];
  t782 = ((f0)t781)((cint)predef_m); /* Eval*/
  ((cptr)predef_x)[1] += 1;
  t783 = ((cptr)(((cptr)predef_x)[0]))[38];
  t784 = ((f0)t783)((cint)predef_x); /* Eval*/
  t786 = ((cptr)(((cptr)t782)[0]))[79];
  t787 = ((f0)t786)((cint)t782, (cint)t784); /* Mapped*/
  t788 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t788)((cint)predef_Res, (cint)t787);
  t778_label: return t778;
}

cint predef_bSome(){
  cint predef_xval, predef_i;
  cint t789, t790, t791, t792, t793, t794, t795, t796, t797, t798, t799, t800, t801, t802, t803, t804;
  ((cptr)predef_Res)[1] += 1;
  t790 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t790)((cint)predef_Res, (cint)object_Undefined);
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t791 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t791)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t792 = ((cptr)(((cptr)predef_x)[0]))[38];
  t793 = ((f0)t792)((cint)predef_x); /* Eval*/
  predef_xval = t793;
  t795 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
  t796 = t795;
  if (!t796){    t797 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_32;
    t798 = t797;
    if (t798){
      t799 = ((cptr)predef_xval)[3] /* len*/ > 0;
      t798 = t799;
    };
    t796 = t798;
  };
  if (t796){
    t800 = cint_mod((cint)cint_rand(), (cint)((cptr)predef_xval)[3] /* len*/) + 1;
    predef_i = t800;
    ((cptr)predef_Res)[1] += 1;
    t803 = ((cptr)(((cptr)predef_xval)[0]))[62];
    t802 = ((f0)t803)((cint)predef_xval, (cint)predef_i); /* lookup*/
    ((cptr)t802)[1] += 1;
    t804 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t804)((cint)predef_Res, (cint)t802);
  };
  object_Dec_ref(predef_xval);
  t789_label: return t789;
}

cint predef_bSort(){
  cint predef_mval;
  cint t805, t806, t807, t808, t809, t810, t811, t812, t813, t814, t815, t816, t817, t818, t819;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t806 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t806)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t807 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t807)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  t808 = ((cptr)(((cptr)predef_m)[0]))[38];
  t809 = ((f0)t808)((cint)predef_m); /* Eval*/
  predef_mval = t809;
  t811 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_6;
  if (t811){
    t812 = mem_malloc(32); ((cptr)t812)[0] = identifier_methods;
    t813 = identifier_salloc((cint)t812, (cint)predef_mval);
    predef_mval = t813;
  };
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t814 = ((cptr)(((cptr)predef_x)[0]))[38];
  t815 = ((f0)t814)((cint)predef_x); /* Eval*/
  t817 = ((cptr)(((cptr)t815)[0]))[103];
  t818 = ((f0)t817)((cint)t815, (cint)predef_mval); /* Sort*/
  t819 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t819)((cint)predef_Res, (cint)t818);
  t805_label: return t805;
}

cint predef_bSplit(){
  cint predef_xval, predef_mval, predef_i, predef_s1, predef_s2, predef_l1, predef_l2;
  cint t820, t821, t822, t823, t824, t825, t826, t827, t828, t829, t830, t831, t832, t833, t834, t835, t836, t837, t838, t839, t840, t841, t842, t843, t844, t845, t846, t847, t848, t849, t850, t851, t852, t853, t854, t855, t856, t857, t858, t859, t860, t861, t862, t863, t864, t865, t866;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t821 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t821)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t822 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t822)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t823 = ((cptr)(((cptr)predef_x)[0]))[38];
  t824 = ((f0)t823)((cint)predef_x); /* Eval*/
  predef_xval = t824;
  ((cptr)predef_m)[1] += 1;
  t826 = ((cptr)(((cptr)predef_m)[0]))[38];
  t827 = ((f0)t826)((cint)predef_m); /* Eval*/
  predef_mval = t827;
  t829 = ((cptr)(((cptr)predef_xval)[0]))[47];
  t830 = ((f0)t829)((cint)predef_xval, (cint)predef_mval); /* get_index*/
  predef_i = t830;
  t832 = predef_i > 0;
  t833 = t832;
  if (t833){
    t834 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    t833 = t834;
  };
  if (t833){
    t835 = mem_malloc(48); ((cptr)t835)[0] = slicestr_methods;
    ((cptr)predef_mval)[1] += 1;
    t836 = predef_i - 1;
    t837 = slicestr_alloc((cint)t835, (cint)predef_mval, (cint)1, (cint)t836);
    predef_s1 = t837;
    t838 = mem_malloc(48); ((cptr)t838)[0] = slicestr_methods;
    ((cptr)predef_mval)[1] += 1;
    t839 = predef_i + ((cptr)predef_xval)[3] /* len*/;
    t840 = slicestr_alloc((cint)t838, (cint)predef_mval, (cint)t839, (cint)((cptr)predef_mval)[3] /* len*/);
    predef_s2 = t840;
    ((cptr)predef_Res)[1] += 1;
    t841 = mem_malloc(40); ((cptr)t841)[0] = slist_methods;
    t842 = slist_alloc((cint)t841, (cint)1);
    ((cptr)t842)[1] += 1;
    t845 = ((cptr)(((cptr)t842)[0]))[7];
    t844 = ((f0)t845)((cint)t842, (cint)predef_s1); /* Append*/
    ((cptr)t844)[1] += 1;
    t846 = ((cptr)(((cptr)t844)[0]))[7];
    t847 = ((f0)t846)((cint)t844, (cint)predef_s2); /* Append*/
    t848 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t848)((cint)predef_Res, (cint)t847);
  }else{
  t849 = predef_i > 0;
  t850 = t849;
  if (t850){
    t851 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
    t850 = t851;
  };
  if (t850){
    t852 = mem_malloc(40); ((cptr)t852)[0] = slicelst_methods;
    ((cptr)predef_mval)[1] += 1;
    t853 = predef_i - 1;
    t854 = slicelst_alloc((cint)t852, (cint)predef_mval, (cint)1, (cint)t853);
    predef_l1 = t854;
    t855 = mem_malloc(40); ((cptr)t855)[0] = slicelst_methods;
    ((cptr)predef_mval)[1] += 1;
    t856 = predef_i + ((cptr)predef_xval)[3] /* len*/;
    t857 = slicelst_alloc((cint)t855, (cint)predef_mval, (cint)t856, (cint)((cptr)predef_mval)[3] /* len*/);
    predef_l2 = t857;
    ((cptr)predef_Res)[1] += 1;
    t858 = mem_malloc(40); ((cptr)t858)[0] = slist_methods;
    t859 = slist_alloc((cint)t858, (cint)1);
    ((cptr)t859)[1] += 1;
    t862 = ((cptr)(((cptr)t859)[0]))[7];
    t861 = ((f0)t862)((cint)t859, (cint)predef_l1); /* Append*/
    ((cptr)t861)[1] += 1;
    t863 = ((cptr)(((cptr)t861)[0]))[7];
    t864 = ((f0)t863)((cint)t861, (cint)predef_l2); /* Append*/
    t865 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t865)((cint)predef_Res, (cint)t864);
  }else{
    ((cptr)predef_Res)[1] += 1;
    t866 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
    ((f0)t866)((cint)predef_Res, (cint)object_Undefined);
  };};
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t820_label: return t820;
}

cint predef_bSum(){
  cint predef_xval, predef_r, predef_i;
  cint t867, t868, t869, t870, t871, t872, t873, t874, t875, t876, t877, t879, t880, t881, t882, t883, t884, t885;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t868 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t868)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t869 = ((cptr)(((cptr)predef_x)[0]))[38];
  t870 = ((f0)t869)((cint)predef_x); /* Eval*/
  predef_xval = t870;
  t874 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t873 = ((f0)t874)((cint)predef_xval, (cint)1); /* lookup*/
  ((cptr)t873)[1] += 1;
  predef_r = t873;
  t875 = ((cptr)predef_xval)[3] /* len*/ == 0;
  if (t875){
    t876 = mem_malloc(28); ((cptr)t876)[0] = integer_methods;
    t877 = integer_ialloc((cint)t876, (cint)0);
    predef_r = t877;
  };
  for (predef_i = 2; predef_i <= ((cptr)predef_xval)[3] /* len*/; predef_i++){
    t881 = ((cptr)(((cptr)predef_xval)[0]))[62];
    t880 = ((f0)t881)((cint)predef_xval, (cint)predef_i); /* lookup*/
    ((cptr)t880)[1] += 1;
    t882 = ((cptr)(((cptr)predef_r)[0]))[97];
    t883 = ((f0)t882)((cint)predef_r, (cint)t880); /* Plus*/
    predef_r = t883;
  };t878:;
  ((cptr)predef_Res)[1] += 1;
  t885 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t885)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  t867_label: return t867;
}

cint predef_bTrim(){
  cint predef_xval, predef_mval;
  cint t886, t887, t888, t889, t890, t891, t892, t893, t894, t895, t896, t897, t898, t899, t900, t901, t902, t903, t904, t905, t906, t907, t908, t909, t910, t911, t912, t913, t914, t915, t916, t917, t918, t919, t920, t921, t922, t923, t924;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t887 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t887)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t888 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t888)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t889 = ((cptr)(((cptr)predef_x)[0]))[38];
  t890 = ((f0)t889)((cint)predef_x); /* Eval*/
  predef_xval = t890;
  ((cptr)predef_m)[1] += 1;
  t892 = ((cptr)(((cptr)predef_m)[0]))[38];
  t893 = ((f0)t892)((cint)predef_m); /* Eval*/
  predef_mval = t893;
  t895 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_5;
  t896 = t895;
  if (t896){
    t897 = ((cptr)predef_mval)[2] /* hashval*/ * 2;
    t898 = t897 <= ((cptr)predef_xval)[3] /* len*/;
    t896 = t898;
  };
  if (t896){
    t899 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
    if (t899){
      ((cptr)predef_Res)[1] += 1;
      t900 = mem_malloc(40); ((cptr)t900)[0] = slicelst_methods;
      t901 = ((cptr)predef_mval)[2] /* hashval*/ + 1;
      t902 = ((cptr)predef_xval)[3] /* len*/ - ((cptr)predef_mval)[2] /* hashval*/;
      t903 = slicelst_alloc((cint)t900, (cint)predef_xval, (cint)t901, (cint)t902);
      t904 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t904)((cint)predef_Res, (cint)t903);
      object_Dec_ref(predef_mval);
      goto t886_label;
    }else{
    t905 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    if (t905){
      ((cptr)predef_Res)[1] += 1;
      t906 = mem_malloc(48); ((cptr)t906)[0] = slicestr_methods;
      t907 = ((cptr)predef_mval)[2] /* hashval*/ + 1;
      t908 = ((cptr)predef_xval)[3] /* len*/ - ((cptr)predef_mval)[2] /* hashval*/;
      t909 = slicestr_alloc((cint)t906, (cint)predef_xval, (cint)t907, (cint)t908);
      t910 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t910)((cint)predef_Res, (cint)t909);
      object_Dec_ref(predef_mval);
      goto t886_label;
    };};
  }else{
  t911 = predef_mval == object_Undefined;
  t912 = t911;
  if (t912){
    t913 = ((cptr)predef_xval)[3] /* len*/ >= 2;
    t912 = t913;
  };
  if (t912){
    t914 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
    if (t914){
      ((cptr)predef_Res)[1] += 1;
      t915 = mem_malloc(40); ((cptr)t915)[0] = slicelst_methods;
      t916 = ((cptr)predef_xval)[3] /* len*/ - 1;
      t917 = slicelst_alloc((cint)t915, (cint)predef_xval, (cint)2, (cint)t916);
      t918 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t918)((cint)predef_Res, (cint)t917);
      goto t886_label;
    }else{
    t919 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    if (t919){
      ((cptr)predef_Res)[1] += 1;
      t920 = mem_malloc(48); ((cptr)t920)[0] = slicestr_methods;
      t921 = ((cptr)predef_xval)[3] /* len*/ - 1;
      t922 = slicestr_alloc((cint)t920, (cint)predef_xval, (cint)2, (cint)t921);
      t923 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t923)((cint)predef_Res, (cint)t922);
      goto t886_label;
    };};
  };};
  ((cptr)predef_Res)[1] += 1;
  t924 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t924)((cint)predef_Res, (cint)object_Undefined);
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t886_label: return t886;
}

cint predef_bTrim_left(){
  cint predef_xval, predef_mval;
  cint t925, t926, t927, t928, t929, t930, t931, t932, t933, t934, t935, t936, t937, t938, t939, t940, t941, t942, t943, t944, t945, t946, t947, t948, t949, t950;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t926 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t926)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t927 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t927)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t928 = ((cptr)(((cptr)predef_x)[0]))[38];
  t929 = ((f0)t928)((cint)predef_x); /* Eval*/
  predef_xval = t929;
  ((cptr)predef_m)[1] += 1;
  t931 = ((cptr)(((cptr)predef_m)[0]))[38];
  t932 = ((f0)t931)((cint)predef_m); /* Eval*/
  predef_mval = t932;
  t934 = predef_mval == object_Undefined;
  if (t934){
    t935 = mem_malloc(28); ((cptr)t935)[0] = integer_methods;
    t936 = integer_ialloc((cint)t935, (cint)1);
    predef_mval = t936;
  };
  t937 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_5;
  t938 = t937;
  if (t938){
    t939 = ((cptr)predef_mval)[2] /* hashval*/ <= ((cptr)predef_xval)[3] /* len*/;
    t938 = t939;
  };
  if (t938){
    t940 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
    if (t940){
      ((cptr)predef_Res)[1] += 1;
      t941 = mem_malloc(40); ((cptr)t941)[0] = slicelst_methods;
      t942 = ((cptr)predef_mval)[2] /* hashval*/ + 1;
      t943 = slicelst_alloc((cint)t941, (cint)predef_xval, (cint)t942, (cint)((cptr)predef_xval)[3] /* len*/);
      t944 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t944)((cint)predef_Res, (cint)t943);
      object_Dec_ref(predef_mval);
      goto t925_label;
    }else{
    t945 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    if (t945){
      ((cptr)predef_Res)[1] += 1;
      t946 = mem_malloc(48); ((cptr)t946)[0] = slicestr_methods;
      t947 = ((cptr)predef_mval)[2] /* hashval*/ + 1;
      t948 = slicestr_alloc((cint)t946, (cint)predef_xval, (cint)t947, (cint)((cptr)predef_xval)[3] /* len*/);
      t949 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t949)((cint)predef_Res, (cint)t948);
      object_Dec_ref(predef_mval);
      goto t925_label;
    };};
  };
  ((cptr)predef_Res)[1] += 1;
  t950 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t950)((cint)predef_Res, (cint)object_Undefined);
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t925_label: return t925;
}

cint predef_bTrim_right(){
  cint predef_xval, predef_mval;
  cint t951, t952, t953, t954, t955, t956, t957, t958, t959, t960, t961, t962, t963, t964, t965, t966, t967, t968, t969, t970, t971, t972, t973, t974, t975, t976;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t952 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t952)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t953 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t953)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t954 = ((cptr)(((cptr)predef_x)[0]))[38];
  t955 = ((f0)t954)((cint)predef_x); /* Eval*/
  predef_xval = t955;
  ((cptr)predef_m)[1] += 1;
  t957 = ((cptr)(((cptr)predef_m)[0]))[38];
  t958 = ((f0)t957)((cint)predef_m); /* Eval*/
  predef_mval = t958;
  t960 = predef_mval == object_Undefined;
  if (t960){
    t961 = mem_malloc(28); ((cptr)t961)[0] = integer_methods;
    t962 = integer_ialloc((cint)t961, (cint)1);
    predef_mval = t962;
  };
  t963 = ((cptr)predef_mval)[4] /* class_of*/ == strpool_str_5;
  t964 = t963;
  if (t964){
    t965 = ((cptr)predef_mval)[2] /* hashval*/ <= ((cptr)predef_xval)[3] /* len*/;
    t964 = t965;
  };
  if (t964){
    t966 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_30;
    if (t966){
      ((cptr)predef_Res)[1] += 1;
      t967 = mem_malloc(40); ((cptr)t967)[0] = slicelst_methods;
      t968 = ((cptr)predef_xval)[3] /* len*/ - ((cptr)predef_mval)[2] /* hashval*/;
      t969 = slicelst_alloc((cint)t967, (cint)predef_xval, (cint)1, (cint)t968);
      t970 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t970)((cint)predef_Res, (cint)t969);
      object_Dec_ref(predef_mval);
      goto t951_label;
    }else{
    t971 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
    if (t971){
      ((cptr)predef_Res)[1] += 1;
      t972 = mem_malloc(48); ((cptr)t972)[0] = slicestr_methods;
      t973 = ((cptr)predef_xval)[3] /* len*/ - ((cptr)predef_mval)[2] /* hashval*/;
      t974 = slicestr_alloc((cint)t972, (cint)predef_xval, (cint)1, (cint)t973);
      t975 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
      ((f0)t975)((cint)predef_Res, (cint)t974);
      object_Dec_ref(predef_mval);
      goto t951_label;
    };};
  };
  ((cptr)predef_Res)[1] += 1;
  t976 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t976)((cint)predef_Res, (cint)object_Undefined);
  object_Dec_ref(predef_xval);
  object_Dec_ref(predef_mval);
  t951_label: return t951;
}

cint predef_bUnion(){
  cint predef_xval, predef_r, predef_i;
  cint t977, t978, t979, t980, t981, t982, t983, t984, t985, t986, t987, t989, t990, t991, t992, t993, t994, t995;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t978 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t978)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t979 = ((cptr)(((cptr)predef_x)[0]))[38];
  t980 = ((f0)t979)((cint)predef_x); /* Eval*/
  predef_xval = t980;
  t984 = ((cptr)(((cptr)predef_xval)[0]))[62];
  t983 = ((f0)t984)((cint)predef_xval, (cint)1); /* lookup*/
  ((cptr)t983)[1] += 1;
  predef_r = t983;
  t985 = ((cptr)predef_xval)[3] /* len*/ == 0;
  if (t985){
    t986 = mem_malloc(48); ((cptr)t986)[0] = sset_methods;
    t987 = sset_alloc((cint)t986);
    predef_r = t987;
  };
  for (predef_i = 2; predef_i <= ((cptr)predef_xval)[3] /* len*/; predef_i++){
    t991 = ((cptr)(((cptr)predef_xval)[0]))[62];
    t990 = ((f0)t991)((cint)predef_xval, (cint)predef_i); /* lookup*/
    ((cptr)t990)[1] += 1;
    t992 = ((cptr)(((cptr)predef_r)[0]))[97];
    t993 = ((f0)t992)((cint)predef_r, (cint)t990); /* Plus*/
    predef_r = t993;
  };t988:;
  ((cptr)predef_Res)[1] += 1;
  t995 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t995)((cint)predef_Res, (cint)predef_r);
  object_Dec_ref(predef_xval);
  t977_label: return t977;
}

cint predef_bUpcase(){
  cint predef_xval, predef_r;
  cint t996, t997, t998, t999, t1000, t1001, t1002, t1003, t1004, t1005;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t997 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t997)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_x)[1] += 1;
  t998 = ((cptr)(((cptr)predef_x)[0]))[38];
  t999 = ((f0)t998)((cint)predef_x); /* Eval*/
  predef_xval = t999;
  t1001 = ((cptr)predef_xval)[4] /* class_of*/ == strpool_str_6;
  if (t1001){
    t1002 = ((cptr)(((cptr)predef_xval)[0]))[129];
    t1003 = ((f0)t1002)((cint)predef_xval); /* Upcase*/
    predef_r = t1003;
  }else{
    predef_r = object_Undefined;
    object_Dec_ref(predef_xval);
  };
  ((cptr)predef_Res)[1] += 1;
  t1005 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1005)((cint)predef_Res, (cint)predef_r);
  t996_label: return t996;
}

cint predef_bxPlus(){
  cint t1006, t1007, t1008, t1009, t1010, t1011, t1012, t1013, t1014, t1015, t1016;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1007 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1007)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1008 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1008)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1009 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1010 = ((f0)t1009)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1011 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1012 = ((f0)t1011)((cint)predef_m); /* Eval*/
  t1014 = ((cptr)(((cptr)t1010)[0]))[97];
  t1015 = ((f0)t1014)((cint)t1010, (cint)t1012); /* Plus*/
  t1016 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1016)((cint)predef_Res, (cint)t1015);
  t1006_label: return t1006;
}

cint predef_bxMinus(){
  cint t1017, t1018, t1019, t1020, t1021, t1022, t1023, t1024, t1025, t1026, t1027;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1018 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1018)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1019 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1019)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1020 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1021 = ((f0)t1020)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1022 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1023 = ((f0)t1022)((cint)predef_m); /* Eval*/
  t1025 = ((cptr)(((cptr)t1021)[0]))[83];
  t1026 = ((f0)t1025)((cint)t1021, (cint)t1023); /* Minus*/
  t1027 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1027)((cint)predef_Res, (cint)t1026);
  t1017_label: return t1017;
}

cint predef_bxMul(){
  cint t1028, t1029, t1030, t1031, t1032, t1033, t1034, t1035, t1036, t1037, t1038;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1029 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1029)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1030 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1030)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1031 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1032 = ((f0)t1031)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1033 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1034 = ((f0)t1033)((cint)predef_m); /* Eval*/
  t1036 = ((cptr)(((cptr)t1032)[0]))[89];
  t1037 = ((f0)t1036)((cint)t1032, (cint)t1034); /* Multiply*/
  t1038 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1038)((cint)predef_Res, (cint)t1037);
  t1028_label: return t1028;
}

cint predef_bxDiv(){
  cint t1039, t1040, t1041, t1042, t1043, t1044, t1045, t1046, t1047, t1048, t1049;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1040 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1040)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1041 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1041)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1042 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1043 = ((f0)t1042)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1044 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1045 = ((f0)t1044)((cint)predef_m); /* Eval*/
  t1047 = ((cptr)(((cptr)t1043)[0]))[31];
  t1048 = ((f0)t1047)((cint)t1043, (cint)t1045); /* Divide*/
  t1049 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1049)((cint)predef_Res, (cint)t1048);
  t1039_label: return t1039;
}

cint predef_bxLt(){
  cint t1050, t1051, t1052, t1053, t1054, t1055, t1056, t1057, t1058, t1059, t1060;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1051 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1051)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1052 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1052)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1053 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1054 = ((f0)t1053)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1055 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1056 = ((f0)t1055)((cint)predef_m); /* Eval*/
  t1058 = ((cptr)(((cptr)t1054)[0]))[59];
  t1059 = ((f0)t1058)((cint)t1054, (cint)t1056); /* Lt*/
  t1060 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1060)((cint)predef_Res, (cint)t1059);
  t1050_label: return t1050;
}

cint predef_bxLe(){
  cint t1061, t1062, t1063, t1064, t1065, t1066, t1067, t1068, t1069, t1070, t1071;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1062 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1062)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1063 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1063)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1064 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1065 = ((f0)t1064)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1066 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1067 = ((f0)t1066)((cint)predef_m); /* Eval*/
  t1069 = ((cptr)(((cptr)t1065)[0]))[58];
  t1070 = ((f0)t1069)((cint)t1065, (cint)t1067); /* Le*/
  t1071 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1071)((cint)predef_Res, (cint)t1070);
  t1061_label: return t1061;
}

cint predef_bxGt(){
  cint t1072, t1073, t1074, t1075, t1076, t1077, t1078, t1079, t1080, t1081, t1082;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1073 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1073)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1074 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1074)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1075 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1076 = ((f0)t1075)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1077 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1078 = ((f0)t1077)((cint)predef_m); /* Eval*/
  t1080 = ((cptr)(((cptr)t1076)[0]))[48];
  t1081 = ((f0)t1080)((cint)t1076, (cint)t1078); /* Gt*/
  t1082 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1082)((cint)predef_Res, (cint)t1081);
  t1072_label: return t1072;
}

cint predef_bxGe(){
  cint t1083, t1084, t1085, t1086, t1087, t1088, t1089, t1090, t1091, t1092, t1093;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1084 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1084)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1085 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1085)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1086 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1087 = ((f0)t1086)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1088 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1089 = ((f0)t1088)((cint)predef_m); /* Eval*/
  t1091 = ((cptr)(((cptr)t1087)[0]))[44];
  t1092 = ((f0)t1091)((cint)t1087, (cint)t1089); /* Ge*/
  t1093 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1093)((cint)predef_Res, (cint)t1092);
  t1083_label: return t1083;
}

cint predef_bxEq(){
  cint t1094, t1095, t1096, t1097, t1098, t1099, t1100, t1101, t1102, t1103, t1104;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1095 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1095)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1096 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1096)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1097 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1098 = ((f0)t1097)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1099 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1100 = ((f0)t1099)((cint)predef_m); /* Eval*/
  t1102 = ((cptr)(((cptr)t1098)[0]))[36];
  t1103 = ((f0)t1102)((cint)t1098, (cint)t1100); /* Eq*/
  t1104 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1104)((cint)predef_Res, (cint)t1103);
  t1094_label: return t1094;
}

cint predef_bxNe(){
  cint t1105, t1106, t1107, t1108, t1109, t1110, t1111, t1112, t1113, t1114, t1115, t1116, t1117, t1118, t1119;
  ((cptr)predef_x)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1106 = (cptr)(((cptr)(((cptr)predef_x)[0]))[25]); /* Declare_as_param*/
  ((f0)t1106)((cint)predef_x, (cint)entset_predef);
  ((cptr)predef_m)[1] += 1;
  ((cptr)entset_predef)[1] += 1;
  t1107 = (cptr)(((cptr)(((cptr)predef_m)[0]))[25]); /* Declare_as_param*/
  ((f0)t1107)((cint)predef_m, (cint)entset_predef);
  ((cptr)predef_Res)[1] += 1;
  ((cptr)predef_x)[1] += 1;
  t1108 = ((cptr)(((cptr)predef_x)[0]))[38];
  t1109 = ((f0)t1108)((cint)predef_x); /* Eval*/
  ((cptr)predef_m)[1] += 1;
  t1110 = ((cptr)(((cptr)predef_m)[0]))[38];
  t1111 = ((f0)t1110)((cint)predef_m); /* Eval*/
  t1113 = ((cptr)(((cptr)t1109)[0]))[36];
  t1114 = ((f0)t1113)((cint)t1109, (cint)t1111); /* Eq*/
  t1117 = ((cptr)(((cptr)t1114)[0]))[95];
  t1118 = ((f0)t1117)((cint)t1114); /* Not*/
  t1119 = (cptr)(((cptr)(((cptr)predef_Res)[0]))[13]); /* Assign*/
  ((f0)t1119)((cint)predef_Res, (cint)t1118);
  t1105_label: return t1105;
}

cint predef_init(){
  cint t1120, t1121, t1122, t1123, t1124, t1125, t1126, t1127, t1128, t1129, t1130, t1131, t1132, t1133, t1134, t1135, t1136, t1137, t1138, t1139, t1140, t1141, t1142, t1143, t1144, t1145, t1146, t1147, t1148, t1149, t1150, t1151, t1152, t1153, t1154, t1155, t1156, t1157, t1158, t1159, t1160, t1161, t1162, t1163, t1164, t1165, t1166, t1167, t1168, t1169, t1170, t1171, t1172, t1173, t1174, t1175, t1176, t1177, t1178, t1179, t1180, t1181, t1182, t1183, t1184, t1185, t1186, t1187, t1188, t1189, t1190, t1191, t1192, t1193, t1194, t1195, t1196, t1197, t1198, t1199, t1200, t1201, t1202, t1203, t1204, t1205, t1206, t1207, t1208, t1209, t1210, t1211, t1212, t1213, t1214, t1215, t1216, t1217, t1218, t1219, t1220, t1221, t1222, t1223, t1224, t1225, t1226, t1227, t1228, t1229, t1230, t1231, t1232, t1233, t1234, t1235, t1236, t1237, t1238, t1239, t1240, t1241, t1242, t1243, t1244, t1245, t1246, t1247, t1248, t1249, t1250, t1251, t1252, t1253, t1254, t1255, t1256, t1257, t1258, t1259, t1260, t1261, t1262, t1263, t1264, t1265, t1266, t1267, t1268, t1269, t1270, t1271, t1272, t1273, t1274, t1275, t1276, t1277, t1278, t1279, t1280, t1281, t1282, t1283, t1284, t1285, t1286, t1287, t1288, t1289, t1290, t1291, t1292, t1293, t1294, t1295, t1296, t1297, t1298, t1299, t1300, t1301, t1302, t1303, t1304, t1305, t1306, t1307, t1308, t1309, t1310, t1311, t1312, t1313, t1314, t1315, t1316, t1317, t1318, t1319, t1320, t1321, t1322, t1323, t1324, t1325, t1326, t1327, t1328, t1329, t1330, t1331, t1332, t1333, t1334, t1335, t1336, t1337, t1338, t1339, t1340, t1341, t1342, t1343, t1344, t1345, t1346, t1347, t1348, t1349, t1350, t1351, t1352, t1353, t1354, t1355, t1356, t1357, t1358, t1359, t1360, t1361, t1362, t1363, t1364, t1365, t1366, t1367, t1368, t1369, t1370, t1371, t1372, t1373, t1374, t1375, t1376, t1377, t1378, t1379, t1380, t1381, t1382, t1383, t1384, t1385, t1386, t1387, t1388, t1389, t1390, t1391, t1392, t1393, t1394, t1395, t1396, t1397, t1398, t1399, t1400, t1401, t1402, t1403, t1404;
  t1121 = mem_malloc(32); ((cptr)t1121)[0] = identifier_methods;
  ((cptr)strpool_str_85)[1] += 1;
  t1122 = identifier_salloc((cint)t1121, (cint)strpool_str_85);
  predef_Res = t1122;
  t1123 = mem_malloc(32); ((cptr)t1123)[0] = identifier_methods;
  ((cptr)strpool_str_89)[1] += 1;
  t1124 = identifier_salloc((cint)t1123, (cint)strpool_str_89);
  predef_x = t1124;
  t1125 = mem_malloc(32); ((cptr)t1125)[0] = identifier_methods;
  ((cptr)strpool_str_90)[1] += 1;
  t1126 = identifier_salloc((cint)t1125, (cint)strpool_str_90);
  predef_y = t1126;
  t1127 = mem_malloc(32); ((cptr)t1127)[0] = identifier_methods;
  ((cptr)strpool_str_91)[1] += 1;
  t1128 = identifier_salloc((cint)t1127, (cint)strpool_str_91);
  predef_m = t1128;
  t1129 = mem_malloc(32); ((cptr)t1129)[0] = identifier_methods;
  ((cptr)strpool_str_92)[1] += 1;
  t1130 = identifier_salloc((cint)t1129, (cint)strpool_str_92);
  predef_iAbs = t1130;
  t1131 = mem_malloc(52); ((cptr)t1131)[0] = function_methods;
  t1132 = function_alloc((cint)t1131, (cint)predef_bAbs, (cint)predef_iAbs, (cint)0);
  predef_fAbs = t1132;
  t1133 = mem_malloc(32); ((cptr)t1133)[0] = identifier_methods;
  ((cptr)strpool_str_93)[1] += 1;
  t1134 = identifier_salloc((cint)t1133, (cint)strpool_str_93);
  predef_iAll_but_last = t1134;
  t1135 = mem_malloc(52); ((cptr)t1135)[0] = function_methods;
  t1136 = function_alloc((cint)t1135, (cint)predef_bAll_but_last, (cint)predef_iAll_but_last, (cint)0);
  predef_fAll_but_last = t1136;
  t1137 = mem_malloc(32); ((cptr)t1137)[0] = identifier_methods;
  ((cptr)strpool_str_94)[1] += 1;
  t1138 = identifier_salloc((cint)t1137, (cint)strpool_str_94);
  predef_iAscending = t1138;
  t1139 = mem_malloc(52); ((cptr)t1139)[0] = function_methods;
  t1140 = function_alloc((cint)t1139, (cint)predef_bAscending, (cint)predef_iAscending, (cint)0);
  predef_fAscending = t1140;
  t1141 = mem_malloc(32); ((cptr)t1141)[0] = identifier_methods;
  ((cptr)strpool_str_95)[1] += 1;
  t1142 = identifier_salloc((cint)t1141, (cint)strpool_str_95);
  predef_iCeil = t1142;
  t1143 = mem_malloc(52); ((cptr)t1143)[0] = function_methods;
  t1144 = function_alloc((cint)t1143, (cint)predef_bCeil, (cint)predef_iCeil, (cint)0);
  predef_fCeil = t1144;
  t1145 = mem_malloc(32); ((cptr)t1145)[0] = identifier_methods;
  ((cptr)strpool_str_96)[1] += 1;
  t1146 = identifier_salloc((cint)t1145, (cint)strpool_str_96);
  predef_iChar = t1146;
  t1147 = mem_malloc(52); ((cptr)t1147)[0] = function_methods;
  t1148 = function_alloc((cint)t1147, (cint)predef_bChar, (cint)predef_iChar, (cint)0);
  predef_fChar = t1148;
  t1149 = mem_malloc(32); ((cptr)t1149)[0] = identifier_methods;
  ((cptr)strpool_str_97)[1] += 1;
  t1150 = identifier_salloc((cint)t1149, (cint)strpool_str_97);
  predef_iCode = t1150;
  t1151 = mem_malloc(52); ((cptr)t1151)[0] = function_methods;
  t1152 = function_alloc((cint)t1151, (cint)predef_bCode, (cint)predef_iCode, (cint)0);
  predef_fCode = t1152;
  t1153 = mem_malloc(32); ((cptr)t1153)[0] = identifier_methods;
  ((cptr)strpool_str_98)[1] += 1;
  t1154 = identifier_salloc((cint)t1153, (cint)strpool_str_98);
  predef_iConcat = t1154;
  t1155 = mem_malloc(52); ((cptr)t1155)[0] = function_methods;
  t1156 = function_alloc((cint)t1155, (cint)predef_bConcat, (cint)predef_iConcat, (cint)0);
  predef_fConcat = t1156;
  t1157 = mem_malloc(32); ((cptr)t1157)[0] = identifier_methods;
  ((cptr)strpool_str_99)[1] += 1;
  t1158 = identifier_salloc((cint)t1157, (cint)strpool_str_99);
  predef_iDelete = t1158;
  t1159 = mem_malloc(52); ((cptr)t1159)[0] = function_methods;
  t1160 = function_alloc((cint)t1159, (cint)predef_bDelete, (cint)predef_iDelete, (cint)0);
  predef_fDelete = t1160;
  t1161 = mem_malloc(32); ((cptr)t1161)[0] = identifier_methods;
  ((cptr)strpool_str_100)[1] += 1;
  t1162 = identifier_salloc((cint)t1161, (cint)strpool_str_100);
  predef_iDelete_first = t1162;
  t1163 = mem_malloc(52); ((cptr)t1163)[0] = function_methods;
  t1164 = function_alloc((cint)t1163, (cint)predef_bDelete_first, (cint)predef_iDelete_first, (cint)0);
  predef_fDelete_first = t1164;
  t1165 = mem_malloc(32); ((cptr)t1165)[0] = identifier_methods;
  ((cptr)strpool_str_101)[1] += 1;
  t1166 = identifier_salloc((cint)t1165, (cint)strpool_str_101);
  predef_iDelete_last = t1166;
  t1167 = mem_malloc(52); ((cptr)t1167)[0] = function_methods;
  t1168 = function_alloc((cint)t1167, (cint)predef_bDelete_last, (cint)predef_iDelete_last, (cint)0);
  predef_fDelete_last = t1168;
  t1169 = mem_malloc(32); ((cptr)t1169)[0] = identifier_methods;
  ((cptr)strpool_str_102)[1] += 1;
  t1170 = identifier_salloc((cint)t1169, (cint)strpool_str_102);
  predef_iDelete_some = t1170;
  t1171 = mem_malloc(52); ((cptr)t1171)[0] = function_methods;
  t1172 = function_alloc((cint)t1171, (cint)predef_bDelete_some, (cint)predef_iDelete_some, (cint)0);
  predef_fDelete_some = t1172;
  t1173 = mem_malloc(32); ((cptr)t1173)[0] = identifier_methods;
  ((cptr)strpool_str_103)[1] += 1;
  t1174 = identifier_salloc((cint)t1173, (cint)strpool_str_103);
  predef_iDescending = t1174;
  t1175 = mem_malloc(52); ((cptr)t1175)[0] = function_methods;
  t1176 = function_alloc((cint)t1175, (cint)predef_bDescending, (cint)predef_iDescending, (cint)0);
  predef_fDescending = t1176;
  t1177 = mem_malloc(32); ((cptr)t1177)[0] = identifier_methods;
  ((cptr)strpool_str_104)[1] += 1;
  t1178 = identifier_salloc((cint)t1177, (cint)strpool_str_104);
  predef_iDiv = t1178;
  t1179 = mem_malloc(52); ((cptr)t1179)[0] = function_methods;
  t1180 = function_alloc((cint)t1179, (cint)predef_bDiv, (cint)predef_iDiv, (cint)0);
  predef_fDiv = t1180;
  t1181 = mem_malloc(32); ((cptr)t1181)[0] = identifier_methods;
  ((cptr)strpool_str_105)[1] += 1;
  t1182 = identifier_salloc((cint)t1181, (cint)strpool_str_105);
  predef_iDomain = t1182;
  t1183 = mem_malloc(52); ((cptr)t1183)[0] = function_methods;
  t1184 = function_alloc((cint)t1183, (cint)predef_bDomain, (cint)predef_iDomain, (cint)0);
  predef_fDomain = t1184;
  t1185 = mem_malloc(32); ((cptr)t1185)[0] = identifier_methods;
  ((cptr)strpool_str_106)[1] += 1;
  t1186 = identifier_salloc((cint)t1185, (cint)strpool_str_106);
  predef_iEval = t1186;
  t1187 = mem_malloc(52); ((cptr)t1187)[0] = function_methods;
  t1188 = function_alloc((cint)t1187, (cint)predef_bEval, (cint)predef_iEval, (cint)0);
  predef_fEval = t1188;
  t1189 = mem_malloc(32); ((cptr)t1189)[0] = identifier_methods;
  ((cptr)strpool_str_107)[1] += 1;
  t1190 = identifier_salloc((cint)t1189, (cint)strpool_str_107);
  predef_iEven = t1190;
  t1191 = mem_malloc(52); ((cptr)t1191)[0] = function_methods;
  t1192 = function_alloc((cint)t1191, (cint)predef_bEven, (cint)predef_iEven, (cint)0);
  predef_fEven = t1192;
  t1193 = mem_malloc(32); ((cptr)t1193)[0] = identifier_methods;
  ((cptr)strpool_str_108)[1] += 1;
  t1194 = identifier_salloc((cint)t1193, (cint)strpool_str_108);
  predef_iFirst = t1194;
  t1195 = mem_malloc(52); ((cptr)t1195)[0] = function_methods;
  t1196 = function_alloc((cint)t1195, (cint)predef_bFirst, (cint)predef_iFirst, (cint)0);
  predef_fFirst = t1196;
  t1197 = mem_malloc(32); ((cptr)t1197)[0] = identifier_methods;
  ((cptr)strpool_str_109)[1] += 1;
  t1198 = identifier_salloc((cint)t1197, (cint)strpool_str_109);
  predef_iFloor = t1198;
  t1199 = mem_malloc(52); ((cptr)t1199)[0] = function_methods;
  t1200 = function_alloc((cint)t1199, (cint)predef_bFloor, (cint)predef_iFloor, (cint)0);
  predef_fFloor = t1200;
  t1201 = mem_malloc(32); ((cptr)t1201)[0] = identifier_methods;
  ((cptr)strpool_str_110)[1] += 1;
  t1202 = identifier_salloc((cint)t1201, (cint)strpool_str_110);
  predef_iFmap = t1202;
  t1203 = mem_malloc(52); ((cptr)t1203)[0] = function_methods;
  t1204 = function_alloc((cint)t1203, (cint)predef_bFmap, (cint)predef_iFmap, (cint)0);
  predef_fFmap = t1204;
  t1205 = mem_malloc(32); ((cptr)t1205)[0] = identifier_methods;
  ((cptr)strpool_str_111)[1] += 1;
  t1206 = identifier_salloc((cint)t1205, (cint)strpool_str_111);
  predef_iFrac = t1206;
  t1207 = mem_malloc(52); ((cptr)t1207)[0] = function_methods;
  t1208 = function_alloc((cint)t1207, (cint)predef_bFrac, (cint)predef_iFrac, (cint)0);
  predef_fFrac = t1208;
  t1209 = mem_malloc(32); ((cptr)t1209)[0] = identifier_methods;
  ((cptr)strpool_str_112)[1] += 1;
  t1210 = identifier_salloc((cint)t1209, (cint)strpool_str_112);
  predef_iHd = t1210;
  t1211 = mem_malloc(52); ((cptr)t1211)[0] = function_methods;
  t1212 = function_alloc((cint)t1211, (cint)predef_bFirst, (cint)predef_iHd, (cint)0);
  predef_fHd = t1212;
  t1213 = mem_malloc(32); ((cptr)t1213)[0] = identifier_methods;
  ((cptr)strpool_str_113)[1] += 1;
  t1214 = identifier_salloc((cint)t1213, (cint)strpool_str_113);
  predef_iIndex = t1214;
  t1215 = mem_malloc(52); ((cptr)t1215)[0] = function_methods;
  t1216 = function_alloc((cint)t1215, (cint)predef_bIndex, (cint)predef_iIndex, (cint)0);
  predef_fIndex = t1216;
  t1217 = mem_malloc(32); ((cptr)t1217)[0] = identifier_methods;
  ((cptr)strpool_str_114)[1] += 1;
  t1218 = identifier_salloc((cint)t1217, (cint)strpool_str_114);
  predef_iIndexed = t1218;
  t1219 = mem_malloc(52); ((cptr)t1219)[0] = function_methods;
  t1220 = function_alloc((cint)t1219, (cint)predef_bIndexed, (cint)predef_iIndexed, (cint)0);
  predef_fIndexed = t1220;
  t1221 = mem_malloc(32); ((cptr)t1221)[0] = identifier_methods;
  ((cptr)strpool_str_115)[1] += 1;
  t1222 = identifier_salloc((cint)t1221, (cint)strpool_str_115);
  predef_iInsert = t1222;
  t1223 = mem_malloc(52); ((cptr)t1223)[0] = function_methods;
  t1224 = function_alloc((cint)t1223, (cint)predef_bInsert, (cint)predef_iInsert, (cint)0);
  predef_fInsert = t1224;
  t1225 = mem_malloc(32); ((cptr)t1225)[0] = identifier_methods;
  ((cptr)strpool_str_116)[1] += 1;
  t1226 = identifier_salloc((cint)t1225, (cint)strpool_str_116);
  predef_iInt = t1226;
  t1227 = mem_malloc(52); ((cptr)t1227)[0] = function_methods;
  t1228 = function_alloc((cint)t1227, (cint)predef_bInt, (cint)predef_iInt, (cint)0);
  predef_fInt = t1228;
  t1229 = mem_malloc(32); ((cptr)t1229)[0] = identifier_methods;
  ((cptr)strpool_str_117)[1] += 1;
  t1230 = identifier_salloc((cint)t1229, (cint)strpool_str_117);
  predef_iLast = t1230;
  t1231 = mem_malloc(52); ((cptr)t1231)[0] = function_methods;
  t1232 = function_alloc((cint)t1231, (cint)predef_bLast, (cint)predef_iLast, (cint)0);
  predef_fLast = t1232;
  t1233 = mem_malloc(32); ((cptr)t1233)[0] = identifier_methods;
  ((cptr)strpool_str_118)[1] += 1;
  t1234 = identifier_salloc((cint)t1233, (cint)strpool_str_118);
  predef_iLength = t1234;
  t1235 = mem_malloc(52); ((cptr)t1235)[0] = function_methods;
  t1236 = function_alloc((cint)t1235, (cint)predef_bLength, (cint)predef_iLength, (cint)0);
  predef_fLength = t1236;
  t1237 = mem_malloc(32); ((cptr)t1237)[0] = identifier_methods;
  ((cptr)strpool_str_119)[1] += 1;
  t1238 = identifier_salloc((cint)t1237, (cint)strpool_str_119);
  predef_iLocase = t1238;
  t1239 = mem_malloc(52); ((cptr)t1239)[0] = function_methods;
  t1240 = function_alloc((cint)t1239, (cint)predef_bLocase, (cint)predef_iLocase, (cint)0);
  predef_fLocase = t1240;
  t1241 = mem_malloc(32); ((cptr)t1241)[0] = identifier_methods;
  ((cptr)strpool_str_120)[1] += 1;
  t1242 = identifier_salloc((cint)t1241, (cint)strpool_str_120);
  predef_iMax = t1242;
  t1243 = mem_malloc(52); ((cptr)t1243)[0] = function_methods;
  t1244 = function_alloc((cint)t1243, (cint)predef_bMax, (cint)predef_iMax, (cint)0);
  predef_fMax = t1244;
  t1245 = mem_malloc(32); ((cptr)t1245)[0] = identifier_methods;
  ((cptr)strpool_str_121)[1] += 1;
  t1246 = identifier_salloc((cint)t1245, (cint)strpool_str_121);
  predef_iMerge = t1246;
  t1247 = mem_malloc(52); ((cptr)t1247)[0] = function_methods;
  t1248 = function_alloc((cint)t1247, (cint)predef_bMerge, (cint)predef_iMerge, (cint)0);
  predef_fMerge = t1248;
  t1249 = mem_malloc(32); ((cptr)t1249)[0] = identifier_methods;
  ((cptr)strpool_str_122)[1] += 1;
  t1250 = identifier_salloc((cint)t1249, (cint)strpool_str_122);
  predef_iMin = t1250;
  t1251 = mem_malloc(52); ((cptr)t1251)[0] = function_methods;
  t1252 = function_alloc((cint)t1251, (cint)predef_bMin, (cint)predef_iMin, (cint)0);
  predef_fMin = t1252;
  t1253 = mem_malloc(32); ((cptr)t1253)[0] = identifier_methods;
  ((cptr)strpool_str_123)[1] += 1;
  t1254 = identifier_salloc((cint)t1253, (cint)strpool_str_123);
  predef_iMklist = t1254;
  t1255 = mem_malloc(52); ((cptr)t1255)[0] = function_methods;
  t1256 = function_alloc((cint)t1255, (cint)predef_bMklist, (cint)predef_iMklist, (cint)0);
  predef_fMklist = t1256;
  t1257 = mem_malloc(32); ((cptr)t1257)[0] = identifier_methods;
  ((cptr)strpool_str_124)[1] += 1;
  t1258 = identifier_salloc((cint)t1257, (cint)strpool_str_124);
  predef_iMkmap = t1258;
  t1259 = mem_malloc(52); ((cptr)t1259)[0] = function_methods;
  t1260 = function_alloc((cint)t1259, (cint)predef_bMkmap, (cint)predef_iMkmap, (cint)0);
  predef_fMkmap = t1260;
  t1261 = mem_malloc(32); ((cptr)t1261)[0] = identifier_methods;
  ((cptr)strpool_str_125)[1] += 1;
  t1262 = identifier_salloc((cint)t1261, (cint)strpool_str_125);
  predef_iMknum = t1262;
  t1263 = mem_malloc(52); ((cptr)t1263)[0] = function_methods;
  t1264 = function_alloc((cint)t1263, (cint)predef_bMknum, (cint)predef_iMknum, (cint)0);
  predef_fMknum = t1264;
  t1265 = mem_malloc(32); ((cptr)t1265)[0] = identifier_methods;
  ((cptr)strpool_str_126)[1] += 1;
  t1266 = identifier_salloc((cint)t1265, (cint)strpool_str_126);
  predef_iMkset = t1266;
  t1267 = mem_malloc(52); ((cptr)t1267)[0] = function_methods;
  t1268 = function_alloc((cint)t1267, (cint)predef_bMkset, (cint)predef_iMkset, (cint)0);
  predef_fMkset = t1268;
  t1269 = mem_malloc(32); ((cptr)t1269)[0] = identifier_methods;
  ((cptr)strpool_str_127)[1] += 1;
  t1270 = identifier_salloc((cint)t1269, (cint)strpool_str_127);
  predef_iMkstr = t1270;
  t1271 = mem_malloc(52); ((cptr)t1271)[0] = function_methods;
  t1272 = function_alloc((cint)t1271, (cint)predef_bMkstr, (cint)predef_iMkstr, (cint)0);
  predef_fMkstr = t1272;
  t1273 = mem_malloc(32); ((cptr)t1273)[0] = identifier_methods;
  ((cptr)strpool_str_128)[1] += 1;
  t1274 = identifier_salloc((cint)t1273, (cint)strpool_str_128);
  predef_iMod = t1274;
  t1275 = mem_malloc(52); ((cptr)t1275)[0] = function_methods;
  t1276 = function_alloc((cint)t1275, (cint)predef_bMod, (cint)predef_iMod, (cint)0);
  predef_fMod = t1276;
  t1277 = mem_malloc(32); ((cptr)t1277)[0] = identifier_methods;
  ((cptr)strpool_str_129)[1] += 1;
  t1278 = identifier_salloc((cint)t1277, (cint)strpool_str_129);
  predef_iOdd = t1278;
  t1279 = mem_malloc(52); ((cptr)t1279)[0] = function_methods;
  t1280 = function_alloc((cint)t1279, (cint)predef_bOdd, (cint)predef_iOdd, (cint)0);
  predef_fOdd = t1280;
  t1281 = mem_malloc(32); ((cptr)t1281)[0] = identifier_methods;
  ((cptr)strpool_str_130)[1] += 1;
  t1282 = identifier_salloc((cint)t1281, (cint)strpool_str_130);
  predef_iProd = t1282;
  t1283 = mem_malloc(52); ((cptr)t1283)[0] = function_methods;
  t1284 = function_alloc((cint)t1283, (cint)predef_bProd, (cint)predef_iProd, (cint)0);
  predef_fProd = t1284;
  t1285 = mem_malloc(32); ((cptr)t1285)[0] = identifier_methods;
  ((cptr)strpool_str_169)[1] += 1;
  t1286 = identifier_salloc((cint)t1285, (cint)strpool_str_169);
  predef_iRange = t1286;
  t1287 = mem_malloc(52); ((cptr)t1287)[0] = function_methods;
  t1288 = function_alloc((cint)t1287, (cint)predef_bRange, (cint)predef_iRange, (cint)0);
  predef_fRange = t1288;
  t1289 = mem_malloc(32); ((cptr)t1289)[0] = identifier_methods;
  ((cptr)strpool_str_131)[1] += 1;
  t1290 = identifier_salloc((cint)t1289, (cint)strpool_str_131);
  predef_iReduce = t1290;
  t1291 = mem_malloc(52); ((cptr)t1291)[0] = function_methods;
  t1292 = function_alloc((cint)t1291, (cint)predef_bReduce, (cint)predef_iReduce, (cint)0);
  predef_fReduce = t1292;
  t1293 = mem_malloc(32); ((cptr)t1293)[0] = identifier_methods;
  ((cptr)strpool_str_132)[1] += 1;
  t1294 = identifier_salloc((cint)t1293, (cint)strpool_str_132);
  predef_iRem = t1294;
  t1295 = mem_malloc(52); ((cptr)t1295)[0] = function_methods;
  t1296 = function_alloc((cint)t1295, (cint)predef_bRem, (cint)predef_iRem, (cint)0);
  predef_fRem = t1296;
  t1297 = mem_malloc(32); ((cptr)t1297)[0] = identifier_methods;
  ((cptr)strpool_str_133)[1] += 1;
  t1298 = identifier_salloc((cint)t1297, (cint)strpool_str_133);
  predef_iRep = t1298;
  t1299 = mem_malloc(52); ((cptr)t1299)[0] = function_methods;
  t1300 = function_alloc((cint)t1299, (cint)predef_bRep, (cint)predef_iRep, (cint)0);
  predef_fRep = t1300;
  t1301 = mem_malloc(32); ((cptr)t1301)[0] = identifier_methods;
  ((cptr)strpool_str_134)[1] += 1;
  t1302 = identifier_salloc((cint)t1301, (cint)strpool_str_134);
  predef_iRest = t1302;
  t1303 = mem_malloc(52); ((cptr)t1303)[0] = function_methods;
  t1304 = function_alloc((cint)t1303, (cint)predef_bRest, (cint)predef_iRest, (cint)0);
  predef_fRest = t1304;
  t1305 = mem_malloc(32); ((cptr)t1305)[0] = identifier_methods;
  ((cptr)strpool_str_135)[1] += 1;
  t1306 = identifier_salloc((cint)t1305, (cint)strpool_str_135);
  predef_iReverse = t1306;
  t1307 = mem_malloc(52); ((cptr)t1307)[0] = function_methods;
  t1308 = function_alloc((cint)t1307, (cint)predef_bReverse, (cint)predef_iReverse, (cint)0);
  predef_fReverse = t1308;
  t1309 = mem_malloc(32); ((cptr)t1309)[0] = identifier_methods;
  ((cptr)strpool_str_136)[1] += 1;
  t1310 = identifier_salloc((cint)t1309, (cint)strpool_str_136);
  predef_iRound = t1310;
  t1311 = mem_malloc(52); ((cptr)t1311)[0] = function_methods;
  t1312 = function_alloc((cint)t1311, (cint)predef_bRound, (cint)predef_iRound, (cint)0);
  predef_fRound = t1312;
  t1313 = mem_malloc(32); ((cptr)t1313)[0] = identifier_methods;
  ((cptr)strpool_str_137)[1] += 1;
  t1314 = identifier_salloc((cint)t1313, (cint)strpool_str_137);
  predef_iSign = t1314;
  t1315 = mem_malloc(52); ((cptr)t1315)[0] = function_methods;
  t1316 = function_alloc((cint)t1315, (cint)predef_bSign, (cint)predef_iSign, (cint)0);
  predef_fSign = t1316;
  t1317 = mem_malloc(32); ((cptr)t1317)[0] = identifier_methods;
  ((cptr)strpool_str_138)[1] += 1;
  t1318 = identifier_salloc((cint)t1317, (cint)strpool_str_138);
  predef_iSize = t1318;
  t1319 = mem_malloc(52); ((cptr)t1319)[0] = function_methods;
  t1320 = function_alloc((cint)t1319, (cint)predef_bSize, (cint)predef_iSize, (cint)0);
  predef_fSize = t1320;
  t1321 = mem_malloc(32); ((cptr)t1321)[0] = identifier_methods;
  ((cptr)strpool_str_139)[1] += 1;
  t1322 = identifier_salloc((cint)t1321, (cint)strpool_str_139);
  predef_iSlice = t1322;
  t1323 = mem_malloc(52); ((cptr)t1323)[0] = function_methods;
  t1324 = function_alloc((cint)t1323, (cint)predef_bSlice, (cint)predef_iSlice, (cint)0);
  predef_fSlice = t1324;
  t1325 = mem_malloc(32); ((cptr)t1325)[0] = identifier_methods;
  ((cptr)strpool_str_140)[1] += 1;
  t1326 = identifier_salloc((cint)t1325, (cint)strpool_str_140);
  predef_iSome = t1326;
  t1327 = mem_malloc(52); ((cptr)t1327)[0] = function_methods;
  t1328 = function_alloc((cint)t1327, (cint)predef_bSome, (cint)predef_iSome, (cint)0);
  predef_fSome = t1328;
  t1329 = mem_malloc(32); ((cptr)t1329)[0] = identifier_methods;
  ((cptr)strpool_str_141)[1] += 1;
  t1330 = identifier_salloc((cint)t1329, (cint)strpool_str_141);
  predef_iSort = t1330;
  t1331 = mem_malloc(52); ((cptr)t1331)[0] = function_methods;
  t1332 = function_alloc((cint)t1331, (cint)predef_bSort, (cint)predef_iSort, (cint)0);
  predef_fSort = t1332;
  t1333 = mem_malloc(32); ((cptr)t1333)[0] = identifier_methods;
  ((cptr)strpool_str_142)[1] += 1;
  t1334 = identifier_salloc((cint)t1333, (cint)strpool_str_142);
  predef_iSplit = t1334;
  t1335 = mem_malloc(52); ((cptr)t1335)[0] = function_methods;
  t1336 = function_alloc((cint)t1335, (cint)predef_bSplit, (cint)predef_iSplit, (cint)0);
  predef_fSplit = t1336;
  t1337 = mem_malloc(32); ((cptr)t1337)[0] = identifier_methods;
  ((cptr)strpool_str_143)[1] += 1;
  t1338 = identifier_salloc((cint)t1337, (cint)strpool_str_143);
  predef_iSum = t1338;
  t1339 = mem_malloc(52); ((cptr)t1339)[0] = function_methods;
  t1340 = function_alloc((cint)t1339, (cint)predef_bSum, (cint)predef_iSum, (cint)0);
  predef_fSum = t1340;
  t1341 = mem_malloc(32); ((cptr)t1341)[0] = identifier_methods;
  ((cptr)strpool_str_144)[1] += 1;
  t1342 = identifier_salloc((cint)t1341, (cint)strpool_str_144);
  predef_iTl = t1342;
  t1343 = mem_malloc(52); ((cptr)t1343)[0] = function_methods;
  t1344 = function_alloc((cint)t1343, (cint)predef_bRest, (cint)predef_iTl, (cint)0);
  predef_fTl = t1344;
  t1345 = mem_malloc(32); ((cptr)t1345)[0] = identifier_methods;
  ((cptr)strpool_str_145)[1] += 1;
  t1346 = identifier_salloc((cint)t1345, (cint)strpool_str_145);
  predef_iTrim = t1346;
  t1347 = mem_malloc(52); ((cptr)t1347)[0] = function_methods;
  t1348 = function_alloc((cint)t1347, (cint)predef_bTrim, (cint)predef_iTrim, (cint)0);
  predef_fTrim = t1348;
  t1349 = mem_malloc(32); ((cptr)t1349)[0] = identifier_methods;
  ((cptr)strpool_str_146)[1] += 1;
  t1350 = identifier_salloc((cint)t1349, (cint)strpool_str_146);
  predef_iTrim_left = t1350;
  t1351 = mem_malloc(52); ((cptr)t1351)[0] = function_methods;
  t1352 = function_alloc((cint)t1351, (cint)predef_bTrim_left, (cint)predef_iTrim_left, (cint)0);
  predef_fTrim_left = t1352;
  t1353 = mem_malloc(32); ((cptr)t1353)[0] = identifier_methods;
  ((cptr)strpool_str_147)[1] += 1;
  t1354 = identifier_salloc((cint)t1353, (cint)strpool_str_147);
  predef_iTrim_right = t1354;
  t1355 = mem_malloc(52); ((cptr)t1355)[0] = function_methods;
  t1356 = function_alloc((cint)t1355, (cint)predef_bTrim_right, (cint)predef_iTrim_right, (cint)0);
  predef_fTrim_right = t1356;
  t1357 = mem_malloc(32); ((cptr)t1357)[0] = identifier_methods;
  ((cptr)strpool_str_148)[1] += 1;
  t1358 = identifier_salloc((cint)t1357, (cint)strpool_str_148);
  predef_iUnion = t1358;
  t1359 = mem_malloc(52); ((cptr)t1359)[0] = function_methods;
  t1360 = function_alloc((cint)t1359, (cint)predef_bUnion, (cint)predef_iUnion, (cint)0);
  predef_fUnion = t1360;
  t1361 = mem_malloc(32); ((cptr)t1361)[0] = identifier_methods;
  ((cptr)strpool_str_149)[1] += 1;
  t1362 = identifier_salloc((cint)t1361, (cint)strpool_str_149);
  predef_iUpcase = t1362;
  t1363 = mem_malloc(52); ((cptr)t1363)[0] = function_methods;
  t1364 = function_alloc((cint)t1363, (cint)predef_bUpcase, (cint)predef_iUpcase, (cint)0);
  predef_fUpcase = t1364;
  t1365 = mem_malloc(32); ((cptr)t1365)[0] = identifier_methods;
  ((cptr)strpool_str_54)[1] += 1;
  t1366 = identifier_salloc((cint)t1365, (cint)strpool_str_54);
  predef_ixPlus = t1366;
  t1367 = mem_malloc(52); ((cptr)t1367)[0] = function_methods;
  t1368 = function_alloc((cint)t1367, (cint)predef_bxPlus, (cint)predef_ixPlus, (cint)0);
  predef_fxPlus = t1368;
  t1369 = mem_malloc(32); ((cptr)t1369)[0] = identifier_methods;
  ((cptr)strpool_str_150)[1] += 1;
  t1370 = identifier_salloc((cint)t1369, (cint)strpool_str_150);
  predef_ixMinus = t1370;
  t1371 = mem_malloc(52); ((cptr)t1371)[0] = function_methods;
  t1372 = function_alloc((cint)t1371, (cint)predef_bxMinus, (cint)predef_ixMinus, (cint)0);
  predef_fxMinus = t1372;
  t1373 = mem_malloc(32); ((cptr)t1373)[0] = identifier_methods;
  ((cptr)strpool_str_151)[1] += 1;
  t1374 = identifier_salloc((cint)t1373, (cint)strpool_str_151);
  predef_ixMul = t1374;
  t1375 = mem_malloc(52); ((cptr)t1375)[0] = function_methods;
  t1376 = function_alloc((cint)t1375, (cint)predef_bxMul, (cint)predef_ixMul, (cint)0);
  predef_fxMul = t1376;
  t1377 = mem_malloc(32); ((cptr)t1377)[0] = identifier_methods;
  ((cptr)strpool_str_152)[1] += 1;
  t1378 = identifier_salloc((cint)t1377, (cint)strpool_str_152);
  predef_ixDiv = t1378;
  t1379 = mem_malloc(52); ((cptr)t1379)[0] = function_methods;
  t1380 = function_alloc((cint)t1379, (cint)predef_bxDiv, (cint)predef_ixDiv, (cint)0);
  predef_fxDiv = t1380;
  t1381 = mem_malloc(32); ((cptr)t1381)[0] = identifier_methods;
  ((cptr)strpool_str_153)[1] += 1;
  t1382 = identifier_salloc((cint)t1381, (cint)strpool_str_153);
  predef_ixLt = t1382;
  t1383 = mem_malloc(52); ((cptr)t1383)[0] = function_methods;
  t1384 = function_alloc((cint)t1383, (cint)predef_bxLt, (cint)predef_ixLt, (cint)0);
  predef_fxLt = t1384;
  t1385 = mem_malloc(32); ((cptr)t1385)[0] = identifier_methods;
  ((cptr)strpool_str_154)[1] += 1;
  t1386 = identifier_salloc((cint)t1385, (cint)strpool_str_154);
  predef_ixLe = t1386;
  t1387 = mem_malloc(52); ((cptr)t1387)[0] = function_methods;
  t1388 = function_alloc((cint)t1387, (cint)predef_bxLe, (cint)predef_ixLe, (cint)0);
  predef_fxLe = t1388;
  t1389 = mem_malloc(32); ((cptr)t1389)[0] = identifier_methods;
  ((cptr)strpool_str_155)[1] += 1;
  t1390 = identifier_salloc((cint)t1389, (cint)strpool_str_155);
  predef_ixGt = t1390;
  t1391 = mem_malloc(52); ((cptr)t1391)[0] = function_methods;
  t1392 = function_alloc((cint)t1391, (cint)predef_bxGt, (cint)predef_ixGt, (cint)0);
  predef_fxGt = t1392;
  t1393 = mem_malloc(32); ((cptr)t1393)[0] = identifier_methods;
  ((cptr)strpool_str_156)[1] += 1;
  t1394 = identifier_salloc((cint)t1393, (cint)strpool_str_156);
  predef_ixGe = t1394;
  t1395 = mem_malloc(52); ((cptr)t1395)[0] = function_methods;
  t1396 = function_alloc((cint)t1395, (cint)predef_bxGe, (cint)predef_ixGe, (cint)0);
  predef_fxGe = t1396;
  t1397 = mem_malloc(32); ((cptr)t1397)[0] = identifier_methods;
  ((cptr)strpool_str_157)[1] += 1;
  t1398 = identifier_salloc((cint)t1397, (cint)strpool_str_157);
  predef_ixEq = t1398;
  t1399 = mem_malloc(52); ((cptr)t1399)[0] = function_methods;
  t1400 = function_alloc((cint)t1399, (cint)predef_bxEq, (cint)predef_ixEq, (cint)0);
  predef_fxEq = t1400;
  t1401 = mem_malloc(32); ((cptr)t1401)[0] = identifier_methods;
  ((cptr)strpool_str_158)[1] += 1;
  t1402 = identifier_salloc((cint)t1401, (cint)strpool_str_158);
  predef_ixNe = t1402;
  t1403 = mem_malloc(52); ((cptr)t1403)[0] = function_methods;
  t1404 = function_alloc((cint)t1403, (cint)predef_bxNe, (cint)predef_ixNe, (cint)0);
  predef_fxNe = t1404;
  t1120_label: return t1120;
}

void init_predef(){
  copy_meth_table(predef_methods, entity_methods);
  predef_methods[0] = 0;
  predef_methods[2] = predef_fini;
  predef_methods[194] = predef_bAbs;
  predef_methods[195] = predef_bAll_but_last;
  predef_methods[196] = predef_bAscending;
  predef_methods[197] = predef_bCode;
  predef_methods[198] = predef_bCeil;
  predef_methods[199] = predef_bChar;
  predef_methods[200] = predef_bConcat;
  predef_methods[201] = predef_bDelete;
  predef_methods[202] = predef_bDelete_first;
  predef_methods[203] = predef_bDelete_last;
  predef_methods[204] = predef_bDelete_some;
  predef_methods[205] = predef_bDescending;
  predef_methods[206] = predef_bDiv;
  predef_methods[207] = predef_bDomain;
  predef_methods[208] = predef_bEval;
  predef_methods[209] = predef_bEven;
  predef_methods[210] = predef_bFirst;
  predef_methods[211] = predef_bFmap;
  predef_methods[212] = predef_bFloor;
  predef_methods[213] = predef_bFrac;
  predef_methods[214] = predef_bIndex;
  predef_methods[215] = predef_bIndexed;
  predef_methods[216] = predef_bInsert;
  predef_methods[217] = predef_bInt;
  predef_methods[218] = predef_bLast;
  predef_methods[219] = predef_bLength;
  predef_methods[220] = predef_bLocase;
  predef_methods[221] = predef_bMax;
  predef_methods[222] = predef_bMerge;
  predef_methods[223] = predef_bMin;
  predef_methods[224] = predef_bMklist;
  predef_methods[225] = predef_bMkmap;
  predef_methods[226] = predef_bMknum;
  predef_methods[227] = predef_bMkset;
  predef_methods[228] = predef_bMkstr;
  predef_methods[229] = predef_bMod;
  predef_methods[230] = predef_bOdd;
  predef_methods[231] = predef_bProd;
  predef_methods[364] = predef_bRange;
  predef_methods[232] = predef_bReduce;
  predef_methods[233] = predef_bRem;
  predef_methods[234] = predef_bRep;
  predef_methods[235] = predef_bRest;
  predef_methods[236] = predef_bReverse;
  predef_methods[237] = predef_bRound;
  predef_methods[238] = predef_bSign;
  predef_methods[239] = predef_bSize;
  predef_methods[240] = predef_bSlice;
  predef_methods[241] = predef_bSome;
  predef_methods[242] = predef_bSort;
  predef_methods[243] = predef_bSplit;
  predef_methods[244] = predef_bSum;
  predef_methods[245] = predef_bTrim;
  predef_methods[246] = predef_bTrim_left;
  predef_methods[247] = predef_bTrim_right;
  predef_methods[248] = predef_bUnion;
  predef_methods[249] = predef_bUpcase;
  predef_methods[250] = predef_bxPlus;
  predef_methods[251] = predef_bxMinus;
  predef_methods[252] = predef_bxMul;
  predef_methods[253] = predef_bxDiv;
  predef_methods[254] = predef_bxLt;
  predef_methods[255] = predef_bxLe;
  predef_methods[256] = predef_bxGt;
  predef_methods[257] = predef_bxGe;
  predef_methods[258] = predef_bxEq;
  predef_methods[259] = predef_bxNe;
  predef_methods[1] = predef_init;
}
