c_src/kernel._sep.c

   1 /* This C file is generated by NIT to compile module kernel. */
   2 #include "kernel._sep.h"
   3 val_t kernel___Object___object_id(val_t p0){
   4   struct {struct stack_frame_t me;} fra;
   5   val_t REGB0;
   6   val_t tmp;
   7   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
   8   fra.me.file = LOCATE_kernel;
   9   fra.me.line = 26;
  10   fra.me.meth = LOCATE_kernel___Object___object_id;
  11   fra.me.has_broke = 0;
  12   fra.me.REG_size = 1;
  13   fra.me.REG[0] = NIT_NULL;
  14   fra.me.REG[0] = p0;
  15   /* ./../lib/standard//kernel.nit:26 */
  16   REGB0 = TAG_Int((bigint)((obj_t)fra.me.REG[0])[1].object_id);
  17   stack_frame_head = fra.me.prev;
  18   return REGB0;
  19 }
  20 val_t kernel___Object___is_same_type(val_t p0, val_t p1){
  21   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  22   val_t REGB0;
  23   val_t tmp;
  24   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  25   fra.me.file = LOCATE_kernel;
  26   fra.me.line = 29;
  27   fra.me.meth = LOCATE_kernel___Object___is_same_type;
  28   fra.me.has_broke = 0;
  29   fra.me.REG_size = 2;
  30   fra.me.REG[0] = NIT_NULL;
  31   fra.me.REG[1] = NIT_NULL;
  32   fra.me.REG[0] = p0;
  33   fra.me.REG[1] = p1;
  34   /* ./../lib/standard//kernel.nit:29 */
  35   REGB0 = TAG_Bool((VAL2VFT(fra.me.REG[0])==VAL2VFT(fra.me.REG[1])));
  36   stack_frame_head = fra.me.prev;
  37   return REGB0;
  38 }
  39 val_t kernel___Object_____eqeq(val_t p0, val_t p1){
  40   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  41   val_t REGB0;
  42   val_t tmp;
  43   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  44   fra.me.file = LOCATE_kernel;
  45   fra.me.line = 32;
  46   fra.me.meth = LOCATE_kernel___Object_____eqeq;
  47   fra.me.has_broke = 0;
  48   fra.me.REG_size = 2;
  49   fra.me.REG[0] = NIT_NULL;
  50   fra.me.REG[1] = NIT_NULL;
  51   fra.me.REG[0] = p0;
  52   fra.me.REG[1] = p1;
  53   /* ./../lib/standard//kernel.nit:35 */
  54   REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[0],fra.me.REG[1]));
  55   goto label1;
  56   label1: while(0);
  57   stack_frame_head = fra.me.prev;
  58   return REGB0;
  59 }
  60 val_t kernel___Object_____neq(val_t p0, val_t p1){
  61   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  62   val_t REGB0;
  63   val_t REGB1;
  64   val_t tmp;
  65   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  66   fra.me.file = LOCATE_kernel;
  67   fra.me.line = 37;
  68   fra.me.meth = LOCATE_kernel___Object_____neq;
  69   fra.me.has_broke = 0;
  70   fra.me.REG_size = 2;
  71   fra.me.REG[0] = NIT_NULL;
  72   fra.me.REG[1] = NIT_NULL;
  73   fra.me.REG[0] = p0;
  74   fra.me.REG[1] = p1;
  75   /* ./../lib/standard//kernel.nit:40 */
  76   REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[0],fra.me.REG[1]));
  77   if (UNTAG_Bool(REGB0)) {
  78   } else {
  79     REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  80     REGB0 = REGB1;
  81   }
  82   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  83   goto label1;
  84   label1: while(0);
  85   stack_frame_head = fra.me.prev;
  86   return REGB0;
  87 }
  88 void kernel___Object___output(val_t p0){
  89   struct {struct stack_frame_t me;} fra;
  90   val_t REGB0;
  91   val_t tmp;
  92   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  93   fra.me.file = LOCATE_kernel;
  94   fra.me.line = 42;
  95   fra.me.meth = LOCATE_kernel___Object___output;
  96   fra.me.has_broke = 0;
  97   fra.me.REG_size = 1;
  98   fra.me.REG[0] = NIT_NULL;
  99   fra.me.REG[0] = p0;
 100   /* ./../lib/standard//kernel.nit:45 */
 101   REGB0 = TAG_Char('<');
 102   /* ./../lib/standard//kernel.nit:349 */
 103   printf("%c", (unsigned char)UNTAG_Char(REGB0));;
 104   /* ./../lib/standard//kernel.nit:46 */
 105   REGB0 = CALL_kernel___Object___object_id(fra.me.REG[0])(fra.me.REG[0]);
 106   /* ./../lib/standard//kernel.nit:209 */
 107   printf("%ld\n", UNTAG_Int(REGB0));;
 108   /* ./../lib/standard//kernel.nit:47 */
 109   REGB0 = TAG_Char('>');
 110   /* ./../lib/standard//kernel.nit:349 */
 111   printf("%c", (unsigned char)UNTAG_Char(REGB0));;
 112   stack_frame_head = fra.me.prev;
 113   return;
 114 }
 115 void kernel___Object___exit(val_t p0, val_t p1){
 116   struct {struct stack_frame_t me;} fra;
 117   val_t REGB0;
 118   val_t tmp;
 119   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 120   fra.me.file = LOCATE_kernel;
 121   fra.me.line = 50;
 122   fra.me.meth = LOCATE_kernel___Object___exit;
 123   fra.me.has_broke = 0;
 124   fra.me.REG_size = 1;
 125   fra.me.REG[0] = NIT_NULL;
 126   fra.me.REG[0] = p0;
 127   REGB0 = p1;
 128   /* ./../lib/standard//kernel.nit:50 */
 129   exit(UNTAG_Int(REGB0));;
 130   stack_frame_head = fra.me.prev;
 131   return;
 132 }
 133 val_t kernel___Object___sys(val_t p0){
 134   struct {struct stack_frame_t me;} fra;
 135   val_t tmp;
 136   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 137   fra.me.file = LOCATE_kernel;
 138   fra.me.line = 51;
 139   fra.me.meth = LOCATE_kernel___Object___sys;
 140   fra.me.has_broke = 0;
 141   fra.me.REG_size = 1;
 142   fra.me.REG[0] = NIT_NULL;
 143   fra.me.REG[0] = p0;
 144   /* ./../lib/standard//kernel.nit:51 */
 145   fra.me.REG[0] = (G_sys);
 146   stack_frame_head = fra.me.prev;
 147   return fra.me.REG[0];
 148 }
 149 void kernel___Sys___main(val_t p0){
 150   struct {struct stack_frame_t me;} fra;
 151   val_t tmp;
 152   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 153   fra.me.file = LOCATE_kernel;
 154   fra.me.line = 56;
 155   fra.me.meth = LOCATE_kernel___Sys___main;
 156   fra.me.has_broke = 0;
 157   fra.me.REG_size = 1;
 158   fra.me.REG[0] = NIT_NULL;
 159   fra.me.REG[0] = p0;
 160   stack_frame_head = fra.me.prev;
 161   return;
 162 }
 163 void kernel___Sys___init(val_t p0, int* init_table){
 164   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Sys].i;
 165   struct {struct stack_frame_t me;} fra;
 166   val_t tmp;
 167   if (init_table[itpos0]) return;
 168   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 169   fra.me.file = LOCATE_kernel;
 170   fra.me.line = 0;
 171   fra.me.meth = LOCATE_kernel___Sys___init;
 172   fra.me.has_broke = 0;
 173   fra.me.REG_size = 0;
 174   stack_frame_head = fra.me.prev;
 175   init_table[itpos0] = 1;
 176   return;
 177 }
 178 val_t kernel___Comparable_____l(val_t p0, val_t p1){
 179   struct {struct stack_frame_t me;} fra;
 180   val_t tmp;
 181   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 182   fra.me.file = LOCATE_kernel;
 183   fra.me.line = 69;
 184   fra.me.meth = LOCATE_kernel___Comparable_____l;
 185   fra.me.has_broke = 0;
 186   fra.me.REG_size = 0;
 187   /* ./../lib/standard//kernel.nit:69 */
 188   nit_abort("Deferred method called", NULL, LOCATE_kernel, 69);
 189   stack_frame_head = fra.me.prev;
 190   return NIT_NULL;
 191 }
 192 val_t kernel___Comparable_____leq(val_t p0, val_t p1){
 193   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 194   val_t REGB0;
 195   val_t tmp;
 196   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 197   fra.me.file = LOCATE_kernel;
 198   fra.me.line = 72;
 199   fra.me.meth = LOCATE_kernel___Comparable_____leq;
 200   fra.me.has_broke = 0;
 201   fra.me.REG_size = 2;
 202   fra.me.REG[0] = NIT_NULL;
 203   fra.me.REG[1] = NIT_NULL;
 204   fra.me.REG[0] = p0;
 205   fra.me.REG[1] = p1;
 206   /* ./../lib/standard//kernel.nit:73 */
 207   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 208   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 209   goto label1;
 210   label1: while(0);
 211   stack_frame_head = fra.me.prev;
 212   return REGB0;
 213 }
 214 val_t kernel___Comparable_____geq(val_t p0, val_t p1){
 215   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 216   val_t REGB0;
 217   val_t tmp;
 218   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 219   fra.me.file = LOCATE_kernel;
 220   fra.me.line = 75;
 221   fra.me.meth = LOCATE_kernel___Comparable_____geq;
 222   fra.me.has_broke = 0;
 223   fra.me.REG_size = 2;
 224   fra.me.REG[0] = NIT_NULL;
 225   fra.me.REG[1] = NIT_NULL;
 226   fra.me.REG[0] = p0;
 227   fra.me.REG[1] = p1;
 228   /* ./../lib/standard//kernel.nit:76 */
 229   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 230   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 231   goto label1;
 232   label1: while(0);
 233   stack_frame_head = fra.me.prev;
 234   return REGB0;
 235 }
 236 val_t kernel___Comparable_____g(val_t p0, val_t p1){
 237   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 238   val_t REGB0;
 239   val_t tmp;
 240   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 241   fra.me.file = LOCATE_kernel;
 242   fra.me.line = 78;
 243   fra.me.meth = LOCATE_kernel___Comparable_____g;
 244   fra.me.has_broke = 0;
 245   fra.me.REG_size = 2;
 246   fra.me.REG[0] = NIT_NULL;
 247   fra.me.REG[1] = NIT_NULL;
 248   fra.me.REG[0] = p0;
 249   fra.me.REG[1] = p1;
 250   /* ./../lib/standard//kernel.nit:79 */
 251   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 252   goto label1;
 253   label1: while(0);
 254   stack_frame_head = fra.me.prev;
 255   return REGB0;
 256 }
 257 val_t kernel___Comparable_____leqg(val_t p0, val_t p1){
 258   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 259   val_t REGB0;
 260   val_t REGB1;
 261   val_t tmp;
 262   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 263   fra.me.file = LOCATE_kernel;
 264   fra.me.line = 81;
 265   fra.me.meth = LOCATE_kernel___Comparable_____leqg;
 266   fra.me.has_broke = 0;
 267   fra.me.REG_size = 2;
 268   fra.me.REG[0] = NIT_NULL;
 269   fra.me.REG[1] = NIT_NULL;
 270   fra.me.REG[0] = p0;
 271   fra.me.REG[1] = p1;
 272   /* ./../lib/standard//kernel.nit:84 */
 273   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 274   if (UNTAG_Bool(REGB0)) {
 275     /* ./../lib/standard//kernel.nit:85 */
 276     REGB0 = TAG_Int(1);
 277     /* ./../lib/standard//kernel.nit:216 */
 278     REGB0 = TAG_Int(-UNTAG_Int(REGB0));
 279     /* ./../lib/standard//kernel.nit:85 */
 280     goto label1;
 281   } else {
 282     /* ./../lib/standard//kernel.nit:86 */
 283     REGB1 = CALL_kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 284     if (UNTAG_Bool(REGB1)) {
 285       /* ./../lib/standard//kernel.nit:87 */
 286       REGB1 = TAG_Int(1);
 287       REGB0 = REGB1;
 288       goto label1;
 289     } else {
 290       /* ./../lib/standard//kernel.nit:89 */
 291       REGB1 = TAG_Int(0);
 292       REGB0 = REGB1;
 293       goto label1;
 294     }
 295   }
 296   label1: while(0);
 297   stack_frame_head = fra.me.prev;
 298   return REGB0;
 299 }
 300 val_t kernel___Comparable___is_between(val_t p0, val_t p1, val_t p2){
 301   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 302   val_t REGB0;
 303   val_t REGB1;
 304   val_t tmp;
 305   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 306   fra.me.file = LOCATE_kernel;
 307   fra.me.line = 93;
 308   fra.me.meth = LOCATE_kernel___Comparable___is_between;
 309   fra.me.has_broke = 0;
 310   fra.me.REG_size = 3;
 311   fra.me.REG[0] = NIT_NULL;
 312   fra.me.REG[1] = NIT_NULL;
 313   fra.me.REG[2] = NIT_NULL;
 314   fra.me.REG[0] = p0;
 315   fra.me.REG[1] = p1;
 316   fra.me.REG[2] = p2;
 317   /* ./../lib/standard//kernel.nit:96 */
 318   REGB0 = CALL_kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 319   if (UNTAG_Bool(REGB0)) {
 320     REGB0 = CALL_kernel___Comparable_____leq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
 321   } else {
 322     REGB1 = TAG_Bool(false);
 323     REGB0 = REGB1;
 324   }
 325   goto label1;
 326   label1: while(0);
 327   stack_frame_head = fra.me.prev;
 328   return REGB0;
 329 }
 330 val_t kernel___Comparable___max(val_t p0, val_t p1){
 331   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 332   val_t REGB0;
 333   val_t tmp;
 334   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 335   fra.me.file = LOCATE_kernel;
 336   fra.me.line = 99;
 337   fra.me.meth = LOCATE_kernel___Comparable___max;
 338   fra.me.has_broke = 0;
 339   fra.me.REG_size = 2;
 340   fra.me.REG[0] = NIT_NULL;
 341   fra.me.REG[1] = NIT_NULL;
 342   fra.me.REG[0] = p0;
 343   fra.me.REG[1] = p1;
 344   /* ./../lib/standard//kernel.nit:102 */
 345   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 346   if (UNTAG_Bool(REGB0)) {
 347     /* ./../lib/standard//kernel.nit:103 */
 348     goto label1;
 349   } else {
 350     /* ./../lib/standard//kernel.nit:105 */
 351     fra.me.REG[1] = fra.me.REG[0];
 352     goto label1;
 353   }
 354   label1: while(0);
 355   stack_frame_head = fra.me.prev;
 356   return fra.me.REG[1];
 357 }
 358 val_t kernel___Comparable___min(val_t p0, val_t p1){
 359   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 360   val_t REGB0;
 361   val_t tmp;
 362   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 363   fra.me.file = LOCATE_kernel;
 364   fra.me.line = 109;
 365   fra.me.meth = LOCATE_kernel___Comparable___min;
 366   fra.me.has_broke = 0;
 367   fra.me.REG_size = 2;
 368   fra.me.REG[0] = NIT_NULL;
 369   fra.me.REG[1] = NIT_NULL;
 370   fra.me.REG[0] = p0;
 371   fra.me.REG[1] = p1;
 372   /* ./../lib/standard//kernel.nit:112 */
 373   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 374   if (UNTAG_Bool(REGB0)) {
 375     /* ./../lib/standard//kernel.nit:113 */
 376     goto label1;
 377   } else {
 378     /* ./../lib/standard//kernel.nit:115 */
 379     fra.me.REG[1] = fra.me.REG[0];
 380     goto label1;
 381   }
 382   label1: while(0);
 383   stack_frame_head = fra.me.prev;
 384   return fra.me.REG[1];
 385 }
 386 val_t kernel___Discrete___succ(val_t p0){
 387   struct {struct stack_frame_t me;} fra;
 388   val_t REGB0;
 389   val_t tmp;
 390   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 391   fra.me.file = LOCATE_kernel;
 392   fra.me.line = 126;
 393   fra.me.meth = LOCATE_kernel___Discrete___succ;
 394   fra.me.has_broke = 0;
 395   fra.me.REG_size = 1;
 396   fra.me.REG[0] = NIT_NULL;
 397   fra.me.REG[0] = p0;
 398   /* ./../lib/standard//kernel.nit:127 */
 399   REGB0 = TAG_Int(1);
 400   fra.me.REG[0] = CALL_kernel___Discrete_____plus(fra.me.REG[0])(fra.me.REG[0], REGB0);
 401   goto label1;
 402   label1: while(0);
 403   stack_frame_head = fra.me.prev;
 404   return fra.me.REG[0];
 405 }
 406 val_t kernel___Discrete___prec(val_t p0){
 407   struct {struct stack_frame_t me;} fra;
 408   val_t REGB0;
 409   val_t tmp;
 410   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 411   fra.me.file = LOCATE_kernel;
 412   fra.me.line = 129;
 413   fra.me.meth = LOCATE_kernel___Discrete___prec;
 414   fra.me.has_broke = 0;
 415   fra.me.REG_size = 1;
 416   fra.me.REG[0] = NIT_NULL;
 417   fra.me.REG[0] = p0;
 418   /* ./../lib/standard//kernel.nit:130 */
 419   REGB0 = TAG_Int(1);
 420   fra.me.REG[0] = CALL_kernel___Discrete_____minus(fra.me.REG[0])(fra.me.REG[0], REGB0);
 421   goto label1;
 422   label1: while(0);
 423   stack_frame_head = fra.me.prev;
 424   return fra.me.REG[0];
 425 }
 426 val_t kernel___Discrete_____plus(val_t p0, val_t p1){
 427   struct {struct stack_frame_t me;} fra;
 428   val_t tmp;
 429   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 430   fra.me.file = LOCATE_kernel;
 431   fra.me.line = 132;
 432   fra.me.meth = LOCATE_kernel___Discrete_____plus;
 433   fra.me.has_broke = 0;
 434   fra.me.REG_size = 0;
 435   /* ./../lib/standard//kernel.nit:132 */
 436   nit_abort("Deferred method called", NULL, LOCATE_kernel, 132);
 437   stack_frame_head = fra.me.prev;
 438   return NIT_NULL;
 439 }
 440 val_t kernel___Discrete_____minus(val_t p0, val_t p1){
 441   struct {struct stack_frame_t me;} fra;
 442   val_t tmp;
 443   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 444   fra.me.file = LOCATE_kernel;
 445   fra.me.line = 135;
 446   fra.me.meth = LOCATE_kernel___Discrete_____minus;
 447   fra.me.has_broke = 0;
 448   fra.me.REG_size = 0;
 449   /* ./../lib/standard//kernel.nit:135 */
 450   nit_abort("Deferred method called", NULL, LOCATE_kernel, 135);
 451   stack_frame_head = fra.me.prev;
 452   return NIT_NULL;
 453 }
 454 val_t kernel___Discrete___distance(val_t p0, val_t p1){
 455   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 456   val_t REGB0;
 457   val_t REGB1;
 458   val_t REGB2;
 459   val_t tmp;
 460   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 461   fra.me.file = LOCATE_kernel;
 462   fra.me.line = 138;
 463   fra.me.meth = LOCATE_kernel___Discrete___distance;
 464   fra.me.has_broke = 0;
 465   fra.me.REG_size = 4;
 466   fra.me.REG[0] = NIT_NULL;
 467   fra.me.REG[1] = NIT_NULL;
 468   fra.me.REG[2] = NIT_NULL;
 469   fra.me.REG[3] = NIT_NULL;
 470   fra.me.REG[0] = p0;
 471   fra.me.REG[1] = p1;
 472   /* ./../lib/standard//kernel.nit:145 */
 473   REGB0 = CALL_kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 474   if (UNTAG_Bool(REGB0)) {
 475     /* ./../lib/standard//kernel.nit:146 */
 476     fra.me.REG[2] = fra.me.REG[0];
 477     /* ./../lib/standard//kernel.nit:147 */
 478     fra.me.REG[3] = fra.me.REG[1];
 479   } else {
 480     /* ./../lib/standard//kernel.nit:148 */
 481     REGB0 = CALL_kernel___Comparable_____g(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 482     if (UNTAG_Bool(REGB0)) {
 483       /* ./../lib/standard//kernel.nit:149 */
 484       fra.me.REG[2] = fra.me.REG[1];
 485       /* ./../lib/standard//kernel.nit:150 */
 486       fra.me.REG[3] = fra.me.REG[0];
 487     } else {
 488       /* ./../lib/standard//kernel.nit:152 */
 489       REGB0 = TAG_Int(0);
 490       goto label1;
 491     }
 492   }
 493   /* ./../lib/standard//kernel.nit:155 */
 494   REGB1 = TAG_Int(0);
 495   /* ./../lib/standard//kernel.nit:156 */
 496   while(1) {
 497     REGB2 = CALL_kernel___Comparable_____l(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
 498     if (UNTAG_Bool(REGB2)) {
 499       /* ./../lib/standard//kernel.nit:157 */
 500       fra.me.REG[0] = CALL_kernel___Discrete___succ(fra.me.REG[2])(fra.me.REG[2]);
 501       fra.me.REG[2] = fra.me.REG[0];
 502       /* ./../lib/standard//kernel.nit:158 */
 503       REGB2 = TAG_Int(1);
 504       /* ./../lib/standard//kernel.nit:215 */
 505       REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
 506       /* ./../lib/standard//kernel.nit:158 */
 507       REGB1 = REGB2;
 508     } else {
 509       /* ./../lib/standard//kernel.nit:156 */
 510       goto label2;
 511     }
 512   }
 513   label2: while(0);
 514   /* ./../lib/standard//kernel.nit:160 */
 515   REGB0 = REGB1;
 516   goto label1;
 517   label1: while(0);
 518   stack_frame_head = fra.me.prev;
 519   return REGB0;
 520 }
 521 val_t kernel___Bool___object_id(val_t p0){
 522   struct {struct stack_frame_t me;} fra;
 523   val_t REGB0;
 524   val_t tmp;
 525   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 526   fra.me.file = LOCATE_kernel;
 527   fra.me.line = 174;
 528   fra.me.meth = LOCATE_kernel___Bool___object_id;
 529   fra.me.has_broke = 0;
 530   fra.me.REG_size = 0;
 531   REGB0 = p0;
 532   /* ./../lib/standard//kernel.nit:174 */
 533   REGB0 = TAG_Int(UNTAG_Bool(REGB0));
 534   stack_frame_head = fra.me.prev;
 535   return REGB0;
 536 }
 537 val_t kernel___Bool_____eqeq(val_t p0, val_t p1){
 538   struct {struct stack_frame_t me;} fra;
 539   val_t REGB0;
 540   val_t tmp;
 541   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 542   fra.me.file = LOCATE_kernel;
 543   fra.me.line = 175;
 544   fra.me.meth = LOCATE_kernel___Bool_____eqeq;
 545   fra.me.has_broke = 0;
 546   fra.me.REG_size = 1;
 547   fra.me.REG[0] = NIT_NULL;
 548   REGB0 = p0;
 549   fra.me.REG[0] = p1;
 550   /* ./../lib/standard//kernel.nit:175 */
 551   REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
 552   stack_frame_head = fra.me.prev;
 553   return REGB0;
 554 }
 555 val_t kernel___Bool_____neq(val_t p0, val_t p1){
 556   struct {struct stack_frame_t me;} fra;
 557   val_t REGB0;
 558   val_t tmp;
 559   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 560   fra.me.file = LOCATE_kernel;
 561   fra.me.line = 176;
 562   fra.me.meth = LOCATE_kernel___Bool_____neq;
 563   fra.me.has_broke = 0;
 564   fra.me.REG_size = 1;
 565   fra.me.REG[0] = NIT_NULL;
 566   REGB0 = p0;
 567   fra.me.REG[0] = p1;
 568   /* ./../lib/standard//kernel.nit:176 */
 569   REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
 570   stack_frame_head = fra.me.prev;
 571   return REGB0;
 572 }
 573 void kernel___Bool___output(val_t p0){
 574   struct {struct stack_frame_t me;} fra;
 575   val_t REGB0;
 576   val_t tmp;
 577   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 578   fra.me.file = LOCATE_kernel;
 579   fra.me.line = 177;
 580   fra.me.meth = LOCATE_kernel___Bool___output;
 581   fra.me.has_broke = 0;
 582   fra.me.REG_size = 0;
 583   REGB0 = p0;
 584   /* ./../lib/standard//kernel.nit:177 */
 585   (void)printf(UNTAG_Bool(REGB0)?"true\n":"false\n");;
 586   stack_frame_head = fra.me.prev;
 587   return;
 588 }
 589 val_t kernel___Float___object_id(val_t p0){
 590   struct {struct stack_frame_t me;} fra;
 591   val_t REGB0;
 592   val_t tmp;
 593   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 594   fra.me.file = LOCATE_kernel;
 595   fra.me.line = 183;
 596   fra.me.meth = LOCATE_kernel___Float___object_id;
 597   fra.me.has_broke = 0;
 598   fra.me.REG_size = 1;
 599   fra.me.REG[0] = NIT_NULL;
 600   fra.me.REG[0] = p0;
 601   /* ./../lib/standard//kernel.nit:183 */
 602   REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
 603   stack_frame_head = fra.me.prev;
 604   return REGB0;
 605 }
 606 void kernel___Float___output(val_t p0){
 607   struct {struct stack_frame_t me;} fra;
 608   val_t tmp;
 609   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 610   fra.me.file = LOCATE_kernel;
 611   fra.me.line = 184;
 612   fra.me.meth = LOCATE_kernel___Float___output;
 613   fra.me.has_broke = 0;
 614   fra.me.REG_size = 1;
 615   fra.me.REG[0] = NIT_NULL;
 616   fra.me.REG[0] = p0;
 617   /* ./../lib/standard//kernel.nit:184 */
 618   printf("%f\n", UNBOX_Float(fra.me.REG[0]));;
 619   stack_frame_head = fra.me.prev;
 620   return;
 621 }
 622 val_t kernel___Float_____leq(val_t p0, val_t p1){
 623   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 624   val_t REGB0;
 625   val_t tmp;
 626   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 627   fra.me.file = LOCATE_kernel;
 628   fra.me.line = 186;
 629   fra.me.meth = LOCATE_kernel___Float_____leq;
 630   fra.me.has_broke = 0;
 631   fra.me.REG_size = 2;
 632   fra.me.REG[0] = NIT_NULL;
 633   fra.me.REG[1] = NIT_NULL;
 634   fra.me.REG[0] = p0;
 635   fra.me.REG[1] = p1;
 636   /* ./../lib/standard//kernel.nit:186 */
 637   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<=UNBOX_Float(fra.me.REG[1]));
 638   stack_frame_head = fra.me.prev;
 639   return REGB0;
 640 }
 641 val_t kernel___Float_____l(val_t p0, val_t p1){
 642   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 643   val_t REGB0;
 644   val_t tmp;
 645   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 646   fra.me.file = LOCATE_kernel;
 647   fra.me.line = 187;
 648   fra.me.meth = LOCATE_kernel___Float_____l;
 649   fra.me.has_broke = 0;
 650   fra.me.REG_size = 2;
 651   fra.me.REG[0] = NIT_NULL;
 652   fra.me.REG[1] = NIT_NULL;
 653   fra.me.REG[0] = p0;
 654   fra.me.REG[1] = p1;
 655   /* ./../lib/standard//kernel.nit:187 */
 656   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<UNBOX_Float(fra.me.REG[1]));
 657   stack_frame_head = fra.me.prev;
 658   return REGB0;
 659 }
 660 val_t kernel___Float_____geq(val_t p0, val_t p1){
 661   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 662   val_t REGB0;
 663   val_t tmp;
 664   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 665   fra.me.file = LOCATE_kernel;
 666   fra.me.line = 188;
 667   fra.me.meth = LOCATE_kernel___Float_____geq;
 668   fra.me.has_broke = 0;
 669   fra.me.REG_size = 2;
 670   fra.me.REG[0] = NIT_NULL;
 671   fra.me.REG[1] = NIT_NULL;
 672   fra.me.REG[0] = p0;
 673   fra.me.REG[1] = p1;
 674   /* ./../lib/standard//kernel.nit:188 */
 675   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>=UNBOX_Float(fra.me.REG[1]));
 676   stack_frame_head = fra.me.prev;
 677   return REGB0;
 678 }
 679 val_t kernel___Float_____g(val_t p0, val_t p1){
 680   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 681   val_t REGB0;
 682   val_t tmp;
 683   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 684   fra.me.file = LOCATE_kernel;
 685   fra.me.line = 189;
 686   fra.me.meth = LOCATE_kernel___Float_____g;
 687   fra.me.has_broke = 0;
 688   fra.me.REG_size = 2;
 689   fra.me.REG[0] = NIT_NULL;
 690   fra.me.REG[1] = NIT_NULL;
 691   fra.me.REG[0] = p0;
 692   fra.me.REG[1] = p1;
 693   /* ./../lib/standard//kernel.nit:189 */
 694   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>UNBOX_Float(fra.me.REG[1]));
 695   stack_frame_head = fra.me.prev;
 696   return REGB0;
 697 }
 698 val_t kernel___Float_____plus(val_t p0, val_t p1){
 699   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 700   val_t tmp;
 701   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 702   fra.me.file = LOCATE_kernel;
 703   fra.me.line = 190;
 704   fra.me.meth = LOCATE_kernel___Float_____plus;
 705   fra.me.has_broke = 0;
 706   fra.me.REG_size = 2;
 707   fra.me.REG[0] = NIT_NULL;
 708   fra.me.REG[1] = NIT_NULL;
 709   fra.me.REG[0] = p0;
 710   fra.me.REG[1] = p1;
 711   /* ./../lib/standard//kernel.nit:190 */
 712   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])+UNBOX_Float(fra.me.REG[1]));
 713   stack_frame_head = fra.me.prev;
 714   return fra.me.REG[1];
 715 }
 716 val_t kernel___Float___unary__minus(val_t p0){
 717   struct {struct stack_frame_t me;} fra;
 718   val_t tmp;
 719   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 720   fra.me.file = LOCATE_kernel;
 721   fra.me.line = 191;
 722   fra.me.meth = LOCATE_kernel___Float___unary__minus;
 723   fra.me.has_broke = 0;
 724   fra.me.REG_size = 1;
 725   fra.me.REG[0] = NIT_NULL;
 726   fra.me.REG[0] = p0;
 727   /* ./../lib/standard//kernel.nit:191 */
 728   fra.me.REG[0] = BOX_Float(-UNBOX_Float(fra.me.REG[0]));
 729   stack_frame_head = fra.me.prev;
 730   return fra.me.REG[0];
 731 }
 732 val_t kernel___Float_____minus(val_t p0, val_t p1){
 733   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 734   val_t tmp;
 735   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 736   fra.me.file = LOCATE_kernel;
 737   fra.me.line = 192;
 738   fra.me.meth = LOCATE_kernel___Float_____minus;
 739   fra.me.has_broke = 0;
 740   fra.me.REG_size = 2;
 741   fra.me.REG[0] = NIT_NULL;
 742   fra.me.REG[1] = NIT_NULL;
 743   fra.me.REG[0] = p0;
 744   fra.me.REG[1] = p1;
 745   /* ./../lib/standard//kernel.nit:192 */
 746   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])-UNBOX_Float(fra.me.REG[1]));
 747   stack_frame_head = fra.me.prev;
 748   return fra.me.REG[1];
 749 }
 750 val_t kernel___Float_____star(val_t p0, val_t p1){
 751   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 752   val_t tmp;
 753   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 754   fra.me.file = LOCATE_kernel;
 755   fra.me.line = 193;
 756   fra.me.meth = LOCATE_kernel___Float_____star;
 757   fra.me.has_broke = 0;
 758   fra.me.REG_size = 2;
 759   fra.me.REG[0] = NIT_NULL;
 760   fra.me.REG[1] = NIT_NULL;
 761   fra.me.REG[0] = p0;
 762   fra.me.REG[1] = p1;
 763   /* ./../lib/standard//kernel.nit:193 */
 764   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])*UNBOX_Float(fra.me.REG[1]));
 765   stack_frame_head = fra.me.prev;
 766   return fra.me.REG[1];
 767 }
 768 val_t kernel___Float_____slash(val_t p0, val_t p1){
 769   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 770   val_t tmp;
 771   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 772   fra.me.file = LOCATE_kernel;
 773   fra.me.line = 194;
 774   fra.me.meth = LOCATE_kernel___Float_____slash;
 775   fra.me.has_broke = 0;
 776   fra.me.REG_size = 2;
 777   fra.me.REG[0] = NIT_NULL;
 778   fra.me.REG[1] = NIT_NULL;
 779   fra.me.REG[0] = p0;
 780   fra.me.REG[1] = p1;
 781   /* ./../lib/standard//kernel.nit:194 */
 782   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])/UNBOX_Float(fra.me.REG[1]));
 783   stack_frame_head = fra.me.prev;
 784   return fra.me.REG[1];
 785 }
 786 val_t kernel___Float___to_i(val_t p0){
 787   struct {struct stack_frame_t me;} fra;
 788   val_t REGB0;
 789   val_t tmp;
 790   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 791   fra.me.file = LOCATE_kernel;
 792   fra.me.line = 196;
 793   fra.me.meth = LOCATE_kernel___Float___to_i;
 794   fra.me.has_broke = 0;
 795   fra.me.REG_size = 1;
 796   fra.me.REG[0] = NIT_NULL;
 797   fra.me.REG[0] = p0;
 798   /* ./../lib/standard//kernel.nit:196 */
 799   REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
 800   stack_frame_head = fra.me.prev;
 801   return REGB0;
 802 }
 803 val_t kernel___Int___object_id(val_t p0){
 804   struct {struct stack_frame_t me;} fra;
 805   val_t REGB0;
 806   val_t tmp;
 807   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 808   fra.me.file = LOCATE_kernel;
 809   fra.me.line = 206;
 810   fra.me.meth = LOCATE_kernel___Int___object_id;
 811   fra.me.has_broke = 0;
 812   fra.me.REG_size = 0;
 813   REGB0 = p0;
 814   /* ./../lib/standard//kernel.nit:206 */
 815   REGB0 = REGB0;
 816   stack_frame_head = fra.me.prev;
 817   return REGB0;
 818 }
 819 val_t kernel___Int_____eqeq(val_t p0, val_t p1){
 820   struct {struct stack_frame_t me;} fra;
 821   val_t REGB0;
 822   val_t tmp;
 823   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 824   fra.me.file = LOCATE_kernel;
 825   fra.me.line = 207;
 826   fra.me.meth = LOCATE_kernel___Int_____eqeq;
 827   fra.me.has_broke = 0;
 828   fra.me.REG_size = 1;
 829   fra.me.REG[0] = NIT_NULL;
 830   REGB0 = p0;
 831   fra.me.REG[0] = p1;
 832   /* ./../lib/standard//kernel.nit:207 */
 833   REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
 834   stack_frame_head = fra.me.prev;
 835   return REGB0;
 836 }
 837 val_t kernel___Int_____neq(val_t p0, val_t p1){
 838   struct {struct stack_frame_t me;} fra;
 839   val_t REGB0;
 840   val_t tmp;
 841   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 842   fra.me.file = LOCATE_kernel;
 843   fra.me.line = 208;
 844   fra.me.meth = LOCATE_kernel___Int_____neq;
 845   fra.me.has_broke = 0;
 846   fra.me.REG_size = 1;
 847   fra.me.REG[0] = NIT_NULL;
 848   REGB0 = p0;
 849   fra.me.REG[0] = p1;
 850   /* ./../lib/standard//kernel.nit:208 */
 851   REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
 852   stack_frame_head = fra.me.prev;
 853   return REGB0;
 854 }
 855 void kernel___Int___output(val_t p0){
 856   struct {struct stack_frame_t me;} fra;
 857   val_t REGB0;
 858   val_t tmp;
 859   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 860   fra.me.file = LOCATE_kernel;
 861   fra.me.line = 209;
 862   fra.me.meth = LOCATE_kernel___Int___output;
 863   fra.me.has_broke = 0;
 864   fra.me.REG_size = 0;
 865   REGB0 = p0;
 866   /* ./../lib/standard//kernel.nit:209 */
 867   printf("%ld\n", UNTAG_Int(REGB0));;
 868   stack_frame_head = fra.me.prev;
 869   return;
 870 }
 871 val_t kernel___Int_____leq(val_t p0, val_t p1){
 872   struct {struct stack_frame_t me;} fra;
 873   val_t REGB0;
 874   val_t REGB1;
 875   val_t tmp;
 876   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 877   fra.me.file = LOCATE_kernel;
 878   fra.me.line = 211;
 879   fra.me.meth = LOCATE_kernel___Int_____leq;
 880   fra.me.has_broke = 0;
 881   fra.me.REG_size = 0;
 882   REGB0 = p0;
 883   REGB1 = p1;
 884   /* ./../lib/standard//kernel.nit:211 */
 885   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
 886   stack_frame_head = fra.me.prev;
 887   return REGB1;
 888 }
 889 val_t kernel___Int_____l(val_t p0, val_t p1){
 890   struct {struct stack_frame_t me;} fra;
 891   val_t REGB0;
 892   val_t REGB1;
 893   val_t tmp;
 894   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 895   fra.me.file = LOCATE_kernel;
 896   fra.me.line = 212;
 897   fra.me.meth = LOCATE_kernel___Int_____l;
 898   fra.me.has_broke = 0;
 899   fra.me.REG_size = 0;
 900   REGB0 = p0;
 901   REGB1 = p1;
 902   /* ./../lib/standard//kernel.nit:212 */
 903   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
 904   stack_frame_head = fra.me.prev;
 905   return REGB1;
 906 }
 907 val_t kernel___Int_____geq(val_t p0, val_t p1){
 908   struct {struct stack_frame_t me;} fra;
 909   val_t REGB0;
 910   val_t REGB1;
 911   val_t tmp;
 912   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 913   fra.me.file = LOCATE_kernel;
 914   fra.me.line = 213;
 915   fra.me.meth = LOCATE_kernel___Int_____geq;
 916   fra.me.has_broke = 0;
 917   fra.me.REG_size = 0;
 918   REGB0 = p0;
 919   REGB1 = p1;
 920   /* ./../lib/standard//kernel.nit:213 */
 921   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
 922   stack_frame_head = fra.me.prev;
 923   return REGB1;
 924 }
 925 val_t kernel___Int_____g(val_t p0, val_t p1){
 926   struct {struct stack_frame_t me;} fra;
 927   val_t REGB0;
 928   val_t REGB1;
 929   val_t tmp;
 930   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 931   fra.me.file = LOCATE_kernel;
 932   fra.me.line = 214;
 933   fra.me.meth = LOCATE_kernel___Int_____g;
 934   fra.me.has_broke = 0;
 935   fra.me.REG_size = 0;
 936   REGB0 = p0;
 937   REGB1 = p1;
 938   /* ./../lib/standard//kernel.nit:214 */
 939   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
 940   stack_frame_head = fra.me.prev;
 941   return REGB1;
 942 }
 943 val_t kernel___Int_____plus(val_t p0, val_t p1){
 944   struct {struct stack_frame_t me;} fra;
 945   val_t REGB0;
 946   val_t REGB1;
 947   val_t tmp;
 948   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 949   fra.me.file = LOCATE_kernel;
 950   fra.me.line = 215;
 951   fra.me.meth = LOCATE_kernel___Int_____plus;
 952   fra.me.has_broke = 0;
 953   fra.me.REG_size = 0;
 954   REGB0 = p0;
 955   REGB1 = p1;
 956   /* ./../lib/standard//kernel.nit:215 */
 957   REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
 958   stack_frame_head = fra.me.prev;
 959   return REGB1;
 960 }
 961 val_t kernel___Int___unary__minus(val_t p0){
 962   struct {struct stack_frame_t me;} fra;
 963   val_t REGB0;
 964   val_t tmp;
 965   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 966   fra.me.file = LOCATE_kernel;
 967   fra.me.line = 216;
 968   fra.me.meth = LOCATE_kernel___Int___unary__minus;
 969   fra.me.has_broke = 0;
 970   fra.me.REG_size = 0;
 971   REGB0 = p0;
 972   /* ./../lib/standard//kernel.nit:216 */
 973   REGB0 = TAG_Int(-UNTAG_Int(REGB0));
 974   stack_frame_head = fra.me.prev;
 975   return REGB0;
 976 }
 977 val_t kernel___Int_____minus(val_t p0, val_t p1){
 978   struct {struct stack_frame_t me;} fra;
 979   val_t REGB0;
 980   val_t REGB1;
 981   val_t tmp;
 982   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 983   fra.me.file = LOCATE_kernel;
 984   fra.me.line = 217;
 985   fra.me.meth = LOCATE_kernel___Int_____minus;
 986   fra.me.has_broke = 0;
 987   fra.me.REG_size = 0;
 988   REGB0 = p0;
 989   REGB1 = p1;
 990   /* ./../lib/standard//kernel.nit:217 */
 991   REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
 992   stack_frame_head = fra.me.prev;
 993   return REGB1;
 994 }
 995 val_t kernel___Int_____star(val_t p0, val_t p1){
 996   struct {struct stack_frame_t me;} fra;
 997   val_t REGB0;
 998   val_t REGB1;
 999   val_t tmp;
1000   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1001   fra.me.file = LOCATE_kernel;
1002   fra.me.line = 218;
1003   fra.me.meth = LOCATE_kernel___Int_____star;
1004   fra.me.has_broke = 0;
1005   fra.me.REG_size = 0;
1006   REGB0 = p0;
1007   REGB1 = p1;
1008   /* ./../lib/standard//kernel.nit:218 */
1009   REGB1 = TAG_Int(UNTAG_Int(REGB0)*UNTAG_Int(REGB1));
1010   stack_frame_head = fra.me.prev;
1011   return REGB1;
1012 }
1013 val_t kernel___Int_____slash(val_t p0, val_t p1){
1014   struct {struct stack_frame_t me;} fra;
1015   val_t REGB0;
1016   val_t REGB1;
1017   val_t tmp;
1018   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1019   fra.me.file = LOCATE_kernel;
1020   fra.me.line = 219;
1021   fra.me.meth = LOCATE_kernel___Int_____slash;
1022   fra.me.has_broke = 0;
1023   fra.me.REG_size = 0;
1024   REGB0 = p0;
1025   REGB1 = p1;
1026   /* ./../lib/standard//kernel.nit:219 */
1027   REGB1 = TAG_Int(UNTAG_Int(REGB0)/UNTAG_Int(REGB1));
1028   stack_frame_head = fra.me.prev;
1029   return REGB1;
1030 }
1031 val_t kernel___Int_____percent(val_t p0, val_t p1){
1032   struct {struct stack_frame_t me;} fra;
1033   val_t REGB0;
1034   val_t REGB1;
1035   val_t tmp;
1036   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1037   fra.me.file = LOCATE_kernel;
1038   fra.me.line = 220;
1039   fra.me.meth = LOCATE_kernel___Int_____percent;
1040   fra.me.has_broke = 0;
1041   fra.me.REG_size = 0;
1042   REGB0 = p0;
1043   REGB1 = p1;
1044   /* ./../lib/standard//kernel.nit:220 */
1045   REGB1 = TAG_Int(UNTAG_Int(REGB0)%UNTAG_Int(REGB1));
1046   stack_frame_head = fra.me.prev;
1047   return REGB1;
1048 }
1049 val_t kernel___Int___lshift(val_t p0, val_t p1){
1050   struct {struct stack_frame_t me;} fra;
1051   val_t REGB0;
1052   val_t REGB1;
1053   val_t tmp;
1054   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1055   fra.me.file = LOCATE_kernel;
1056   fra.me.line = 221;
1057   fra.me.meth = LOCATE_kernel___Int___lshift;
1058   fra.me.has_broke = 0;
1059   fra.me.REG_size = 0;
1060   REGB0 = p0;
1061   REGB1 = p1;
1062   /* ./../lib/standard//kernel.nit:221 */
1063   REGB1 = TAG_Int(UNTAG_Int(REGB0)<<UNTAG_Int(REGB1));
1064   stack_frame_head = fra.me.prev;
1065   return REGB1;
1066 }
1067 val_t kernel___Int___rshift(val_t p0, val_t p1){
1068   struct {struct stack_frame_t me;} fra;
1069   val_t REGB0;
1070   val_t REGB1;
1071   val_t tmp;
1072   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1073   fra.me.file = LOCATE_kernel;
1074   fra.me.line = 222;
1075   fra.me.meth = LOCATE_kernel___Int___rshift;
1076   fra.me.has_broke = 0;
1077   fra.me.REG_size = 0;
1078   REGB0 = p0;
1079   REGB1 = p1;
1080   /* ./../lib/standard//kernel.nit:222 */
1081   REGB1 = TAG_Int(UNTAG_Int(REGB0)>>UNTAG_Int(REGB1));
1082   stack_frame_head = fra.me.prev;
1083   return REGB1;
1084 }
1085 val_t kernel___Int___to_f(val_t p0){
1086   struct {struct stack_frame_t me;} fra;
1087   val_t REGB0;
1088   val_t tmp;
1089   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1090   fra.me.file = LOCATE_kernel;
1091   fra.me.line = 224;
1092   fra.me.meth = LOCATE_kernel___Int___to_f;
1093   fra.me.has_broke = 0;
1094   fra.me.REG_size = 1;
1095   fra.me.REG[0] = NIT_NULL;
1096   REGB0 = p0;
1097   /* ./../lib/standard//kernel.nit:224 */
1098   fra.me.REG[0] = BOX_Float((float)UNTAG_Int(REGB0));
1099   stack_frame_head = fra.me.prev;
1100   return fra.me.REG[0];
1101 }
1102 val_t kernel___Int___succ(val_t p0){
1103   struct {struct stack_frame_t me;} fra;
1104   val_t REGB0;
1105   val_t tmp;
1106   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1107   fra.me.file = LOCATE_kernel;
1108   fra.me.line = 227;
1109   fra.me.meth = LOCATE_kernel___Int___succ;
1110   fra.me.has_broke = 0;
1111   fra.me.REG_size = 0;
1112   REGB0 = p0;
1113   /* ./../lib/standard//kernel.nit:227 */
1114   REGB0 = TAG_Int(UNTAG_Int(REGB0)+1);
1115   stack_frame_head = fra.me.prev;
1116   return REGB0;
1117 }
1118 val_t kernel___Int___prec(val_t p0){
1119   struct {struct stack_frame_t me;} fra;
1120   val_t REGB0;
1121   val_t tmp;
1122   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1123   fra.me.file = LOCATE_kernel;
1124   fra.me.line = 228;
1125   fra.me.meth = LOCATE_kernel___Int___prec;
1126   fra.me.has_broke = 0;
1127   fra.me.REG_size = 0;
1128   REGB0 = p0;
1129   /* ./../lib/standard//kernel.nit:228 */
1130   REGB0 = TAG_Int(UNTAG_Int(REGB0)-1);
1131   stack_frame_head = fra.me.prev;
1132   return REGB0;
1133 }
1134 val_t kernel___Int___distance(val_t p0, val_t p1){
1135   struct {struct stack_frame_t me;} fra;
1136   val_t REGB0;
1137   val_t REGB1;
1138   val_t tmp;
1139   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1140   fra.me.file = LOCATE_kernel;
1141   fra.me.line = 229;
1142   fra.me.meth = LOCATE_kernel___Int___distance;
1143   fra.me.has_broke = 0;
1144   fra.me.REG_size = 0;
1145   REGB0 = p0;
1146   REGB1 = p1;
1147   /* ./../lib/standard//kernel.nit:217 */
1148   REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
1149   /* ./../lib/standard//kernel.nit:232 */
1150   REGB0 = TAG_Int(0);
1151   /* ./../lib/standard//kernel.nit:213 */
1152   REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
1153   /* ./../lib/standard//kernel.nit:232 */
1154   if (UNTAG_Bool(REGB0)) {
1155     /* ./../lib/standard//kernel.nit:233 */
1156     REGB0 = REGB1;
1157     goto label1;
1158   } else {
1159     /* ./../lib/standard//kernel.nit:216 */
1160     REGB1 = TAG_Int(-UNTAG_Int(REGB1));
1161     /* ./../lib/standard//kernel.nit:235 */
1162     REGB0 = REGB1;
1163     goto label1;
1164   }
1165   label1: while(0);
1166   stack_frame_head = fra.me.prev;
1167   return REGB0;
1168 }
1169 val_t kernel___Int_____leqg(val_t p0, val_t p1){
1170   struct {struct stack_frame_t me;} fra;
1171   val_t REGB0;
1172   val_t REGB1;
1173   val_t REGB2;
1174   val_t tmp;
1175   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1176   fra.me.file = LOCATE_kernel;
1177   fra.me.line = 239;
1178   fra.me.meth = LOCATE_kernel___Int_____leqg;
1179   fra.me.has_broke = 0;
1180   fra.me.REG_size = 0;
1181   REGB0 = p0;
1182   REGB1 = p1;
1183   /* ./../lib/standard//kernel.nit:212 */
1184   REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1185   /* ./../lib/standard//kernel.nit:241 */
1186   if (UNTAG_Bool(REGB2)) {
1187     /* ./../lib/standard//kernel.nit:242 */
1188     REGB2 = TAG_Int(1);
1189     /* ./../lib/standard//kernel.nit:216 */
1190     REGB2 = TAG_Int(-UNTAG_Int(REGB2));
1191     /* ./../lib/standard//kernel.nit:242 */
1192     goto label1;
1193   } else {
1194     /* ./../lib/standard//kernel.nit:212 */
1195     REGB0 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
1196     /* ./../lib/standard//kernel.nit:243 */
1197     if (UNTAG_Bool(REGB0)) {
1198       /* ./../lib/standard//kernel.nit:244 */
1199       REGB0 = TAG_Int(1);
1200       REGB2 = REGB0;
1201       goto label1;
1202     } else {
1203       /* ./../lib/standard//kernel.nit:246 */
1204       REGB0 = TAG_Int(0);
1205       REGB2 = REGB0;
1206       goto label1;
1207     }
1208   }
1209   label1: while(0);
1210   stack_frame_head = fra.me.prev;
1211   return REGB2;
1212 }
1213 val_t kernel___Int___is_between(val_t p0, val_t p1, val_t p2){
1214   struct {struct stack_frame_t me;} fra;
1215   val_t REGB0;
1216   val_t REGB1;
1217   val_t REGB2;
1218   val_t tmp;
1219   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1220   fra.me.file = LOCATE_kernel;
1221   fra.me.line = 250;
1222   fra.me.meth = LOCATE_kernel___Int___is_between;
1223   fra.me.has_broke = 0;
1224   fra.me.REG_size = 0;
1225   REGB0 = p0;
1226   REGB1 = p1;
1227   REGB2 = p2;
1228   /* ./../lib/standard//kernel.nit:212 */
1229   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1230   /* ./../lib/standard//kernel.nit:252 */
1231   if (UNTAG_Bool(REGB1)) {
1232     REGB1 = TAG_Bool(true);
1233   } else {
1234     /* ./../lib/standard//kernel.nit:212 */
1235     REGB0 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB0));
1236     /* ./../lib/standard//kernel.nit:252 */
1237     REGB1 = REGB0;
1238   }
1239   if (UNTAG_Bool(REGB1)) {
1240     /* ./../lib/standard//kernel.nit:253 */
1241     REGB1 = TAG_Bool(false);
1242     goto label1;
1243   } else {
1244     /* ./../lib/standard//kernel.nit:255 */
1245     REGB0 = TAG_Bool(true);
1246     REGB1 = REGB0;
1247     goto label1;
1248   }
1249   label1: while(0);
1250   stack_frame_head = fra.me.prev;
1251   return REGB1;
1252 }
1253 val_t kernel___Int___max(val_t p0, val_t p1){
1254   struct {struct stack_frame_t me;} fra;
1255   val_t REGB0;
1256   val_t REGB1;
1257   val_t REGB2;
1258   val_t tmp;
1259   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1260   fra.me.file = LOCATE_kernel;
1261   fra.me.line = 259;
1262   fra.me.meth = LOCATE_kernel___Int___max;
1263   fra.me.has_broke = 0;
1264   fra.me.REG_size = 0;
1265   REGB0 = p0;
1266   REGB1 = p1;
1267   /* ./../lib/standard//kernel.nit:212 */
1268   REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1269   /* ./../lib/standard//kernel.nit:261 */
1270   if (UNTAG_Bool(REGB2)) {
1271     /* ./../lib/standard//kernel.nit:262 */
1272     goto label1;
1273   } else {
1274     /* ./../lib/standard//kernel.nit:264 */
1275     REGB1 = REGB0;
1276     goto label1;
1277   }
1278   label1: while(0);
1279   stack_frame_head = fra.me.prev;
1280   return REGB1;
1281 }
1282 val_t kernel___Int___min(val_t p0, val_t p1){
1283   struct {struct stack_frame_t me;} fra;
1284   val_t REGB0;
1285   val_t REGB1;
1286   val_t REGB2;
1287   val_t tmp;
1288   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1289   fra.me.file = LOCATE_kernel;
1290   fra.me.line = 268;
1291   fra.me.meth = LOCATE_kernel___Int___min;
1292   fra.me.has_broke = 0;
1293   fra.me.REG_size = 0;
1294   REGB0 = p0;
1295   REGB1 = p1;
1296   /* ./../lib/standard//kernel.nit:212 */
1297   REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
1298   /* ./../lib/standard//kernel.nit:270 */
1299   if (UNTAG_Bool(REGB2)) {
1300     /* ./../lib/standard//kernel.nit:271 */
1301     goto label1;
1302   } else {
1303     /* ./../lib/standard//kernel.nit:273 */
1304     REGB1 = REGB0;
1305     goto label1;
1306   }
1307   label1: while(0);
1308   stack_frame_head = fra.me.prev;
1309   return REGB1;
1310 }
1311 val_t kernel___Int___ascii(val_t p0){
1312   struct {struct stack_frame_t me;} fra;
1313   val_t REGB0;
1314   val_t tmp;
1315   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1316   fra.me.file = LOCATE_kernel;
1317   fra.me.line = 277;
1318   fra.me.meth = LOCATE_kernel___Int___ascii;
1319   fra.me.has_broke = 0;
1320   fra.me.REG_size = 0;
1321   REGB0 = p0;
1322   /* ./../lib/standard//kernel.nit:277 */
1323   REGB0 = TAG_Char(UNTAG_Int(REGB0));
1324   stack_frame_head = fra.me.prev;
1325   return REGB0;
1326 }
1327 val_t kernel___Int___digit_count(val_t p0, val_t p1){
1328   struct {struct stack_frame_t me;} fra;
1329   val_t REGB0;
1330   val_t REGB1;
1331   val_t REGB2;
1332   val_t REGB3;
1333   val_t REGB4;
1334   val_t REGB5;
1335   val_t tmp;
1336   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1337   fra.me.file = LOCATE_kernel;
1338   fra.me.line = 280;
1339   fra.me.meth = LOCATE_kernel___Int___digit_count;
1340   fra.me.has_broke = 0;
1341   fra.me.REG_size = 0;
1342   REGB0 = p0;
1343   REGB1 = p1;
1344   /* ./../lib/standard//kernel.nit:286 */
1345   REGB2 = TAG_Int(0);
1346   /* ./../lib/standard//kernel.nit:212 */
1347   REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
1348   /* ./../lib/standard//kernel.nit:286 */
1349   if (UNTAG_Bool(REGB2)) {
1350     /* ./../lib/standard//kernel.nit:287 */
1351     REGB2 = TAG_Int(1);
1352     /* ./../lib/standard//kernel.nit:216 */
1353     REGB3 = TAG_Int(-UNTAG_Int(REGB0));
1354   } else {
1355     /* ./../lib/standard//kernel.nit:289 */
1356     REGB4 = TAG_Int(0);
1357     REGB5 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB4));
1358     if (UNTAG_Bool(REGB5)) {
1359     } else {
1360       /* ./../lib/standard//kernel.nit:207 */
1361       REGB4 = TAG_Bool((REGB0)==(REGB4));
1362       /* ./../lib/standard//kernel.nit:289 */
1363       REGB5 = REGB4;
1364     }
1365     if (UNTAG_Bool(REGB5)) {
1366       /* ./../lib/standard//kernel.nit:290 */
1367       REGB5 = TAG_Int(1);
1368       goto label1;
1369     } else {
1370       /* ./../lib/standard//kernel.nit:292 */
1371       REGB4 = TAG_Int(0);
1372       REGB2 = REGB4;
1373       /* ./../lib/standard//kernel.nit:293 */
1374       REGB3 = REGB0;
1375     }
1376   }
1377   /* ./../lib/standard//kernel.nit:296 */
1378   while(1) {
1379     REGB0 = TAG_Int(0);
1380     /* ./../lib/standard//kernel.nit:214 */
1381     REGB0 = TAG_Bool(UNTAG_Int(REGB3)>UNTAG_Int(REGB0));
1382     /* ./../lib/standard//kernel.nit:296 */
1383     if (UNTAG_Bool(REGB0)) {
1384       /* ./../lib/standard//kernel.nit:297 */
1385       REGB0 = TAG_Int(1);
1386       /* ./../lib/standard//kernel.nit:215 */
1387       REGB0 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB0));
1388       /* ./../lib/standard//kernel.nit:297 */
1389       REGB2 = REGB0;
1390       /* ./../lib/standard//kernel.nit:219 */
1391       REGB0 = TAG_Int(UNTAG_Int(REGB3)/UNTAG_Int(REGB1));
1392       /* ./../lib/standard//kernel.nit:298 */
1393       REGB3 = REGB0;
1394     } else {
1395       /* ./../lib/standard//kernel.nit:296 */
1396       goto label2;
1397     }
1398   }
1399   label2: while(0);
1400   /* ./../lib/standard//kernel.nit:300 */
1401   REGB5 = REGB2;
1402   goto label1;
1403   label1: while(0);
1404   stack_frame_head = fra.me.prev;
1405   return REGB5;
1406 }
1407 val_t kernel___Int___to_c(val_t p0){
1408   struct {struct stack_frame_t me;} fra;
1409   val_t REGB0;
1410   val_t REGB1;
1411   val_t REGB2;
1412   val_t REGB3;
1413   val_t tmp;
1414   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1415   fra.me.file = LOCATE_kernel;
1416   fra.me.line = 303;
1417   fra.me.meth = LOCATE_kernel___Int___to_c;
1418   fra.me.has_broke = 0;
1419   fra.me.REG_size = 0;
1420   REGB0 = p0;
1421   /* ./../lib/standard//kernel.nit:308 */
1422   REGB1 = TAG_Int(0);
1423   /* ./../lib/standard//kernel.nit:213 */
1424   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
1425   /* ./../lib/standard//kernel.nit:308 */
1426   if (UNTAG_Bool(REGB1)) {
1427     REGB1 = TAG_Int(36);
1428     /* ./../lib/standard//kernel.nit:211 */
1429     REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
1430   } else {
1431     /* ./../lib/standard//kernel.nit:308 */
1432     REGB2 = TAG_Bool(false);
1433     REGB1 = REGB2;
1434   }
1435   if (UNTAG_Bool(REGB1)) {
1436   } else {
1437     nit_abort("Assert failed", NULL, LOCATE_kernel, 308);
1438   }
1439   /* ./../lib/standard//kernel.nit:309 */
1440   REGB1 = TAG_Int(10);
1441   /* ./../lib/standard//kernel.nit:212 */
1442   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1443   /* ./../lib/standard//kernel.nit:309 */
1444   if (UNTAG_Bool(REGB1)) {
1445     /* ./../lib/standard//kernel.nit:310 */
1446     REGB1 = TAG_Char('0');
1447     /* ./../lib/standard//kernel.nit:382 */
1448     REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
1449     /* ./../lib/standard//kernel.nit:215 */
1450     REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
1451     /* ./../lib/standard//kernel.nit:277 */
1452     REGB1 = TAG_Char(UNTAG_Int(REGB1));
1453     /* ./../lib/standard//kernel.nit:310 */
1454     goto label1;
1455   } else {
1456     /* ./../lib/standard//kernel.nit:312 */
1457     REGB2 = TAG_Char('a');
1458     /* ./../lib/standard//kernel.nit:382 */
1459     REGB2 = TAG_Int((unsigned char)UNTAG_Char(REGB2));
1460     /* ./../lib/standard//kernel.nit:312 */
1461     REGB3 = TAG_Int(10);
1462     /* ./../lib/standard//kernel.nit:217 */
1463     REGB3 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB3));
1464     /* ./../lib/standard//kernel.nit:215 */
1465     REGB3 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB3));
1466     /* ./../lib/standard//kernel.nit:277 */
1467     REGB3 = TAG_Char(UNTAG_Int(REGB3));
1468     /* ./../lib/standard//kernel.nit:312 */
1469     REGB1 = REGB3;
1470     goto label1;
1471   }
1472   label1: while(0);
1473   stack_frame_head = fra.me.prev;
1474   return REGB1;
1475 }
1476 void kernel___Int___enumerate_to(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0){
1477   struct {struct stack_frame_t me;} fra;
1478   val_t REGB0;
1479   val_t REGB1;
1480   val_t REGB2;
1481   fun_t CREG[1];
1482   val_t tmp;
1483   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1484   fra.me.file = LOCATE_kernel;
1485   fra.me.line = 316;
1486   fra.me.meth = LOCATE_kernel___Int___enumerate_to;
1487   fra.me.has_broke = 0;
1488   fra.me.REG_size = 0;
1489   fra.me.closure_ctx = closctx_param;
1490   fra.me.closure_funs = CREG;
1491   REGB0 = p0;
1492   REGB1 = p1;
1493   CREG[0] = clos_fun0;
1494   /* ./../lib/standard//kernel.nit:321 */
1495   while(1) {
1496     /* ./../lib/standard//kernel.nit:211 */
1497     REGB2 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
1498     /* ./../lib/standard//kernel.nit:321 */
1499     if (UNTAG_Bool(REGB2)) {
1500       /* ./../lib/standard//kernel.nit:322 */
1501       ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
1502       if (closctx_param->has_broke) {
1503         goto label1;
1504       }
1505       /* ./../lib/standard//kernel.nit:323 */
1506       REGB2 = TAG_Int(1);
1507       /* ./../lib/standard//kernel.nit:215 */
1508       REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
1509       /* ./../lib/standard//kernel.nit:323 */
1510       REGB0 = REGB2;
1511     } else {
1512       /* ./../lib/standard//kernel.nit:321 */
1513       goto label2;
1514     }
1515   }
1516   label2: while(0);
1517   label1: while(0);
1518   stack_frame_head = fra.me.prev;
1519   return;
1520 }
1521 void kernel___Int___enumerate_before(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0){
1522   struct {struct stack_frame_t me;} fra;
1523   val_t REGB0;
1524   val_t REGB1;
1525   val_t REGB2;
1526   fun_t CREG[1];
1527   val_t tmp;
1528   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1529   fra.me.file = LOCATE_kernel;
1530   fra.me.line = 327;
1531   fra.me.meth = LOCATE_kernel___Int___enumerate_before;
1532   fra.me.has_broke = 0;
1533   fra.me.REG_size = 0;
1534   fra.me.closure_ctx = closctx_param;
1535   fra.me.closure_funs = CREG;
1536   REGB0 = p0;
1537   REGB1 = p1;
1538   CREG[0] = clos_fun0;
1539   /* ./../lib/standard//kernel.nit:332 */
1540   while(1) {
1541     /* ./../lib/standard//kernel.nit:212 */
1542     REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1543     /* ./../lib/standard//kernel.nit:332 */
1544     if (UNTAG_Bool(REGB2)) {
1545       /* ./../lib/standard//kernel.nit:333 */
1546       ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
1547       if (closctx_param->has_broke) {
1548         goto label1;
1549       }
1550       /* ./../lib/standard//kernel.nit:334 */
1551       REGB2 = TAG_Int(1);
1552       /* ./../lib/standard//kernel.nit:215 */
1553       REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
1554       /* ./../lib/standard//kernel.nit:334 */
1555       REGB0 = REGB2;
1556     } else {
1557       /* ./../lib/standard//kernel.nit:332 */
1558       goto label2;
1559     }
1560   }
1561   label2: while(0);
1562   label1: while(0);
1563   stack_frame_head = fra.me.prev;
1564   return;
1565 }
1566 val_t kernel___Char___object_id(val_t p0){
1567   struct {struct stack_frame_t me;} fra;
1568   val_t REGB0;
1569   val_t tmp;
1570   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1571   fra.me.file = LOCATE_kernel;
1572   fra.me.line = 346;
1573   fra.me.meth = LOCATE_kernel___Char___object_id;
1574   fra.me.has_broke = 0;
1575   fra.me.REG_size = 0;
1576   REGB0 = p0;
1577   /* ./../lib/standard//kernel.nit:346 */
1578   REGB0 = TAG_Int(UNTAG_Char(REGB0));
1579   stack_frame_head = fra.me.prev;
1580   return REGB0;
1581 }
1582 val_t kernel___Char_____eqeq(val_t p0, val_t p1){
1583   struct {struct stack_frame_t me;} fra;
1584   val_t REGB0;
1585   val_t tmp;
1586   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1587   fra.me.file = LOCATE_kernel;
1588   fra.me.line = 347;
1589   fra.me.meth = LOCATE_kernel___Char_____eqeq;
1590   fra.me.has_broke = 0;
1591   fra.me.REG_size = 1;
1592   fra.me.REG[0] = NIT_NULL;
1593   REGB0 = p0;
1594   fra.me.REG[0] = p1;
1595   /* ./../lib/standard//kernel.nit:347 */
1596   REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
1597   stack_frame_head = fra.me.prev;
1598   return REGB0;
1599 }
1600 val_t kernel___Char_____neq(val_t p0, val_t p1){
1601   struct {struct stack_frame_t me;} fra;
1602   val_t REGB0;
1603   val_t tmp;
1604   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1605   fra.me.file = LOCATE_kernel;
1606   fra.me.line = 348;
1607   fra.me.meth = LOCATE_kernel___Char_____neq;
1608   fra.me.has_broke = 0;
1609   fra.me.REG_size = 1;
1610   fra.me.REG[0] = NIT_NULL;
1611   REGB0 = p0;
1612   fra.me.REG[0] = p1;
1613   /* ./../lib/standard//kernel.nit:348 */
1614   REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
1615   stack_frame_head = fra.me.prev;
1616   return REGB0;
1617 }
1618 void kernel___Char___output(val_t p0){
1619   struct {struct stack_frame_t me;} fra;
1620   val_t REGB0;
1621   val_t tmp;
1622   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1623   fra.me.file = LOCATE_kernel;
1624   fra.me.line = 349;
1625   fra.me.meth = LOCATE_kernel___Char___output;
1626   fra.me.has_broke = 0;
1627   fra.me.REG_size = 0;
1628   REGB0 = p0;
1629   /* ./../lib/standard//kernel.nit:349 */
1630   printf("%c", (unsigned char)UNTAG_Char(REGB0));;
1631   stack_frame_head = fra.me.prev;
1632   return;
1633 }
1634 val_t kernel___Char_____leq(val_t p0, val_t p1){
1635   struct {struct stack_frame_t me;} fra;
1636   val_t REGB0;
1637   val_t REGB1;
1638   val_t tmp;
1639   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1640   fra.me.file = LOCATE_kernel;
1641   fra.me.line = 351;
1642   fra.me.meth = LOCATE_kernel___Char_____leq;
1643   fra.me.has_broke = 0;
1644   fra.me.REG_size = 0;
1645   REGB0 = p0;
1646   REGB1 = p1;
1647   /* ./../lib/standard//kernel.nit:351 */
1648   REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
1649   stack_frame_head = fra.me.prev;
1650   return REGB1;
1651 }
1652 val_t kernel___Char_____l(val_t p0, val_t p1){
1653   struct {struct stack_frame_t me;} fra;
1654   val_t REGB0;
1655   val_t REGB1;
1656   val_t tmp;
1657   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1658   fra.me.file = LOCATE_kernel;
1659   fra.me.line = 352;
1660   fra.me.meth = LOCATE_kernel___Char_____l;
1661   fra.me.has_broke = 0;
1662   fra.me.REG_size = 0;
1663   REGB0 = p0;
1664   REGB1 = p1;
1665   /* ./../lib/standard//kernel.nit:352 */
1666   REGB1 = TAG_Bool(UNTAG_Char(REGB0)<UNTAG_Char(REGB1));
1667   stack_frame_head = fra.me.prev;
1668   return REGB1;
1669 }
1670 val_t kernel___Char_____geq(val_t p0, val_t p1){
1671   struct {struct stack_frame_t me;} fra;
1672   val_t REGB0;
1673   val_t REGB1;
1674   val_t tmp;
1675   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1676   fra.me.file = LOCATE_kernel;
1677   fra.me.line = 353;
1678   fra.me.meth = LOCATE_kernel___Char_____geq;
1679   fra.me.has_broke = 0;
1680   fra.me.REG_size = 0;
1681   REGB0 = p0;
1682   REGB1 = p1;
1683   /* ./../lib/standard//kernel.nit:353 */
1684   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
1685   stack_frame_head = fra.me.prev;
1686   return REGB1;
1687 }
1688 val_t kernel___Char_____g(val_t p0, val_t p1){
1689   struct {struct stack_frame_t me;} fra;
1690   val_t REGB0;
1691   val_t REGB1;
1692   val_t tmp;
1693   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1694   fra.me.file = LOCATE_kernel;
1695   fra.me.line = 354;
1696   fra.me.meth = LOCATE_kernel___Char_____g;
1697   fra.me.has_broke = 0;
1698   fra.me.REG_size = 0;
1699   REGB0 = p0;
1700   REGB1 = p1;
1701   /* ./../lib/standard//kernel.nit:354 */
1702   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>UNTAG_Char(REGB1));
1703   stack_frame_head = fra.me.prev;
1704   return REGB1;
1705 }
1706 val_t kernel___Char___succ(val_t p0){
1707   struct {struct stack_frame_t me;} fra;
1708   val_t REGB0;
1709   val_t tmp;
1710   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1711   fra.me.file = LOCATE_kernel;
1712   fra.me.line = 356;
1713   fra.me.meth = LOCATE_kernel___Char___succ;
1714   fra.me.has_broke = 0;
1715   fra.me.REG_size = 0;
1716   REGB0 = p0;
1717   /* ./../lib/standard//kernel.nit:356 */
1718   REGB0 = TAG_Char(UNTAG_Char(REGB0)+1);
1719   stack_frame_head = fra.me.prev;
1720   return REGB0;
1721 }
1722 val_t kernel___Char___prec(val_t p0){
1723   struct {struct stack_frame_t me;} fra;
1724   val_t REGB0;
1725   val_t tmp;
1726   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1727   fra.me.file = LOCATE_kernel;
1728   fra.me.line = 357;
1729   fra.me.meth = LOCATE_kernel___Char___prec;
1730   fra.me.has_broke = 0;
1731   fra.me.REG_size = 0;
1732   REGB0 = p0;
1733   /* ./../lib/standard//kernel.nit:357 */
1734   REGB0 = TAG_Char(UNTAG_Char(REGB0)-1);
1735   stack_frame_head = fra.me.prev;
1736   return REGB0;
1737 }
1738 val_t kernel___Char___distance(val_t p0, val_t p1){
1739   struct {struct stack_frame_t me;} fra;
1740   val_t REGB0;
1741   val_t REGB1;
1742   val_t tmp;
1743   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1744   fra.me.file = LOCATE_kernel;
1745   fra.me.line = 359;
1746   fra.me.meth = LOCATE_kernel___Char___distance;
1747   fra.me.has_broke = 0;
1748   fra.me.REG_size = 0;
1749   REGB0 = p0;
1750   REGB1 = p1;
1751   /* ./../lib/standard//kernel.nit:382 */
1752   REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
1753   REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
1754   /* ./../lib/standard//kernel.nit:217 */
1755   REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
1756   /* ./../lib/standard//kernel.nit:362 */
1757   REGB0 = TAG_Int(0);
1758   /* ./../lib/standard//kernel.nit:213 */
1759   REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
1760   /* ./../lib/standard//kernel.nit:362 */
1761   if (UNTAG_Bool(REGB0)) {
1762     /* ./../lib/standard//kernel.nit:363 */
1763     REGB0 = REGB1;
1764     goto label1;
1765   } else {
1766     /* ./../lib/standard//kernel.nit:216 */
1767     REGB1 = TAG_Int(-UNTAG_Int(REGB1));
1768     /* ./../lib/standard//kernel.nit:365 */
1769     REGB0 = REGB1;
1770     goto label1;
1771   }
1772   label1: while(0);
1773   stack_frame_head = fra.me.prev;
1774   return REGB0;
1775 }
1776 val_t kernel___Char___to_i(val_t p0){
1777   struct {struct stack_frame_t me;} fra;
1778   val_t REGB0;
1779   val_t REGB1;
1780   val_t REGB2;
1781   val_t REGB3;
1782   val_t tmp;
1783   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1784   fra.me.file = LOCATE_kernel;
1785   fra.me.line = 369;
1786   fra.me.meth = LOCATE_kernel___Char___to_i;
1787   fra.me.has_broke = 0;
1788   fra.me.REG_size = 0;
1789   REGB0 = p0;
1790   /* ./../lib/standard//kernel.nit:373 */
1791   REGB1 = TAG_Char('-');
1792   REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
1793   if (UNTAG_Bool(REGB2)) {
1794   } else {
1795     /* ./../lib/standard//kernel.nit:347 */
1796     REGB1 = TAG_Bool((REGB0)==(REGB1));
1797     /* ./../lib/standard//kernel.nit:373 */
1798     REGB2 = REGB1;
1799   }
1800   if (UNTAG_Bool(REGB2)) {
1801     /* ./../lib/standard//kernel.nit:374 */
1802     REGB2 = TAG_Int(1);
1803     /* ./../lib/standard//kernel.nit:216 */
1804     REGB2 = TAG_Int(-UNTAG_Int(REGB2));
1805     /* ./../lib/standard//kernel.nit:374 */
1806     goto label1;
1807   } else {
1808     /* ./../lib/standard//kernel.nit:375 */
1809     REGB1 = CALL_kernel___Char___is_digit(REGB0)(REGB0);
1810     if (UNTAG_Bool(REGB1)) {
1811       /* ./../lib/standard//kernel.nit:382 */
1812       REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
1813       /* ./../lib/standard//kernel.nit:376 */
1814       REGB3 = TAG_Char('0');
1815       /* ./../lib/standard//kernel.nit:382 */
1816       REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
1817       /* ./../lib/standard//kernel.nit:217 */
1818       REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
1819       /* ./../lib/standard//kernel.nit:376 */
1820       REGB2 = REGB3;
1821       goto label1;
1822     } else {
1823       /* ./../lib/standard//kernel.nit:378 */
1824       REGB0 = CALL_kernel___Char___to_lower(REGB0)(REGB0);
1825       /* ./../lib/standard//kernel.nit:382 */
1826       REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
1827       /* ./../lib/standard//kernel.nit:378 */
1828       REGB3 = TAG_Char('a');
1829       /* ./../lib/standard//kernel.nit:382 */
1830       REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
1831       /* ./../lib/standard//kernel.nit:378 */
1832       REGB1 = TAG_Int(10);
1833       /* ./../lib/standard//kernel.nit:215 */
1834       REGB1 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB1));
1835       /* ./../lib/standard//kernel.nit:217 */
1836       REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
1837       /* ./../lib/standard//kernel.nit:378 */
1838       REGB2 = REGB1;
1839       goto label1;
1840     }
1841   }
1842   label1: while(0);
1843   stack_frame_head = fra.me.prev;
1844   return REGB2;
1845 }
1846 val_t kernel___Char___ascii(val_t p0){
1847   struct {struct stack_frame_t me;} fra;
1848   val_t REGB0;
1849   val_t tmp;
1850   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1851   fra.me.file = LOCATE_kernel;
1852   fra.me.line = 382;
1853   fra.me.meth = LOCATE_kernel___Char___ascii;
1854   fra.me.has_broke = 0;
1855   fra.me.REG_size = 0;
1856   REGB0 = p0;
1857   /* ./../lib/standard//kernel.nit:382 */
1858   REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
1859   stack_frame_head = fra.me.prev;
1860   return REGB0;
1861 }
1862 val_t kernel___Char_____plus(val_t p0, val_t p1){
1863   struct {struct stack_frame_t me;} fra;
1864   val_t REGB0;
1865   val_t REGB1;
1866   val_t tmp;
1867   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1868   fra.me.file = LOCATE_kernel;
1869   fra.me.line = 385;
1870   fra.me.meth = LOCATE_kernel___Char_____plus;
1871   fra.me.has_broke = 0;
1872   fra.me.REG_size = 0;
1873   REGB0 = p0;
1874   REGB1 = p1;
1875   /* ./../lib/standard//kernel.nit:385 */
1876   REGB1 = TAG_Char(UNTAG_Char(REGB0)+UNTAG_Char(REGB1));
1877   stack_frame_head = fra.me.prev;
1878   return REGB1;
1879 }
1880 val_t kernel___Char_____minus(val_t p0, val_t p1){
1881   struct {struct stack_frame_t me;} fra;
1882   val_t REGB0;
1883   val_t REGB1;
1884   val_t tmp;
1885   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1886   fra.me.file = LOCATE_kernel;
1887   fra.me.line = 386;
1888   fra.me.meth = LOCATE_kernel___Char_____minus;
1889   fra.me.has_broke = 0;
1890   fra.me.REG_size = 0;
1891   REGB0 = p0;
1892   REGB1 = p1;
1893   /* ./../lib/standard//kernel.nit:386 */
1894   REGB1 = TAG_Char(UNTAG_Char(REGB0)-UNTAG_Char(REGB1));
1895   stack_frame_head = fra.me.prev;
1896   return REGB1;
1897 }
1898 val_t kernel___Char___to_lower(val_t p0){
1899   struct {struct stack_frame_t me;} fra;
1900   val_t REGB0;
1901   val_t REGB1;
1902   val_t REGB2;
1903   val_t REGB3;
1904   val_t tmp;
1905   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1906   fra.me.file = LOCATE_kernel;
1907   fra.me.line = 388;
1908   fra.me.meth = LOCATE_kernel___Char___to_lower;
1909   fra.me.has_broke = 0;
1910   fra.me.REG_size = 0;
1911   REGB0 = p0;
1912   /* ./../lib/standard//kernel.nit:391 */
1913   REGB1 = CALL_kernel___Char___is_upper(REGB0)(REGB0);
1914   if (UNTAG_Bool(REGB1)) {
1915     /* ./../lib/standard//kernel.nit:382 */
1916     REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
1917     /* ./../lib/standard//kernel.nit:392 */
1918     REGB2 = TAG_Char('a');
1919     REGB3 = TAG_Char('A');
1920     REGB3 = CALL_kernel___Discrete___distance(REGB2)(REGB2, REGB3);
1921     /* ./../lib/standard//kernel.nit:215 */
1922     REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
1923     /* ./../lib/standard//kernel.nit:277 */
1924     REGB3 = TAG_Char(UNTAG_Int(REGB3));
1925     /* ./../lib/standard//kernel.nit:392 */
1926     goto label1;
1927   } else {
1928     /* ./../lib/standard//kernel.nit:394 */
1929     REGB3 = REGB0;
1930     goto label1;
1931   }
1932   label1: while(0);
1933   stack_frame_head = fra.me.prev;
1934   return REGB3;
1935 }
1936 val_t kernel___Char___to_upper(val_t p0){
1937   struct {struct stack_frame_t me;} fra;
1938   val_t REGB0;
1939   val_t REGB1;
1940   val_t REGB2;
1941   val_t REGB3;
1942   val_t tmp;
1943   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1944   fra.me.file = LOCATE_kernel;
1945   fra.me.line = 398;
1946   fra.me.meth = LOCATE_kernel___Char___to_upper;
1947   fra.me.has_broke = 0;
1948   fra.me.REG_size = 0;
1949   REGB0 = p0;
1950   /* ./../lib/standard//kernel.nit:401 */
1951   REGB1 = CALL_kernel___Char___is_lower(REGB0)(REGB0);
1952   if (UNTAG_Bool(REGB1)) {
1953     /* ./../lib/standard//kernel.nit:382 */
1954     REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
1955     /* ./../lib/standard//kernel.nit:402 */
1956     REGB2 = TAG_Char('a');
1957     REGB3 = TAG_Char('A');
1958     REGB3 = CALL_kernel___Discrete___distance(REGB2)(REGB2, REGB3);
1959     /* ./../lib/standard//kernel.nit:217 */
1960     REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
1961     /* ./../lib/standard//kernel.nit:277 */
1962     REGB3 = TAG_Char(UNTAG_Int(REGB3));
1963     /* ./../lib/standard//kernel.nit:402 */
1964     goto label1;
1965   } else {
1966     /* ./../lib/standard//kernel.nit:404 */
1967     REGB3 = REGB0;
1968     goto label1;
1969   }
1970   label1: while(0);
1971   stack_frame_head = fra.me.prev;
1972   return REGB3;
1973 }
1974 val_t kernel___Char___is_digit(val_t p0){
1975   struct {struct stack_frame_t me;} fra;
1976   val_t REGB0;
1977   val_t REGB1;
1978   val_t tmp;
1979   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1980   fra.me.file = LOCATE_kernel;
1981   fra.me.line = 408;
1982   fra.me.meth = LOCATE_kernel___Char___is_digit;
1983   fra.me.has_broke = 0;
1984   fra.me.REG_size = 0;
1985   REGB0 = p0;
1986   /* ./../lib/standard//kernel.nit:410 */
1987   REGB1 = TAG_Char('0');
1988   /* ./../lib/standard//kernel.nit:353 */
1989   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
1990   /* ./../lib/standard//kernel.nit:410 */
1991   if (UNTAG_Bool(REGB1)) {
1992     REGB1 = TAG_Char('9');
1993     /* ./../lib/standard//kernel.nit:351 */
1994     REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
1995   } else {
1996     /* ./../lib/standard//kernel.nit:410 */
1997     REGB0 = TAG_Bool(false);
1998     REGB1 = REGB0;
1999   }
2000   goto label1;
2001   label1: while(0);
2002   stack_frame_head = fra.me.prev;
2003   return REGB1;
2004 }
2005 val_t kernel___Char___is_lower(val_t p0){
2006   struct {struct stack_frame_t me;} fra;
2007   val_t REGB0;
2008   val_t REGB1;
2009   val_t tmp;
2010   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2011   fra.me.file = LOCATE_kernel;
2012   fra.me.line = 413;
2013   fra.me.meth = LOCATE_kernel___Char___is_lower;
2014   fra.me.has_broke = 0;
2015   fra.me.REG_size = 0;
2016   REGB0 = p0;
2017   /* ./../lib/standard//kernel.nit:415 */
2018   REGB1 = TAG_Char('a');
2019   /* ./../lib/standard//kernel.nit:353 */
2020   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
2021   /* ./../lib/standard//kernel.nit:415 */
2022   if (UNTAG_Bool(REGB1)) {
2023     REGB1 = TAG_Char('z');
2024     /* ./../lib/standard//kernel.nit:351 */
2025     REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
2026   } else {
2027     /* ./../lib/standard//kernel.nit:415 */
2028     REGB0 = TAG_Bool(false);
2029     REGB1 = REGB0;
2030   }
2031   goto label1;
2032   label1: while(0);
2033   stack_frame_head = fra.me.prev;
2034   return REGB1;
2035 }
2036 val_t kernel___Char___is_upper(val_t p0){
2037   struct {struct stack_frame_t me;} fra;
2038   val_t REGB0;
2039   val_t REGB1;
2040   val_t tmp;
2041   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2042   fra.me.file = LOCATE_kernel;
2043   fra.me.line = 418;
2044   fra.me.meth = LOCATE_kernel___Char___is_upper;
2045   fra.me.has_broke = 0;
2046   fra.me.REG_size = 0;
2047   REGB0 = p0;
2048   /* ./../lib/standard//kernel.nit:420 */
2049   REGB1 = TAG_Char('A');
2050   /* ./../lib/standard//kernel.nit:353 */
2051   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
2052   /* ./../lib/standard//kernel.nit:420 */
2053   if (UNTAG_Bool(REGB1)) {
2054     REGB1 = TAG_Char('Z');
2055     /* ./../lib/standard//kernel.nit:351 */
2056     REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
2057   } else {
2058     /* ./../lib/standard//kernel.nit:420 */
2059     REGB0 = TAG_Bool(false);
2060     REGB1 = REGB0;
2061   }
2062   goto label1;
2063   label1: while(0);
2064   stack_frame_head = fra.me.prev;
2065   return REGB1;
2066 }
2067 val_t kernel___Char___is_letter(val_t p0){
2068   struct {struct stack_frame_t me;} fra;
2069   val_t REGB0;
2070   val_t REGB1;
2071   val_t tmp;
2072   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2073   fra.me.file = LOCATE_kernel;
2074   fra.me.line = 423;
2075   fra.me.meth = LOCATE_kernel___Char___is_letter;
2076   fra.me.has_broke = 0;
2077   fra.me.REG_size = 0;
2078   REGB0 = p0;
2079   /* ./../lib/standard//kernel.nit:425 */
2080   REGB1 = CALL_kernel___Char___is_lower(REGB0)(REGB0);
2081   if (UNTAG_Bool(REGB1)) {
2082     REGB1 = TAG_Bool(true);
2083   } else {
2084     REGB0 = CALL_kernel___Char___is_upper(REGB0)(REGB0);
2085     REGB1 = REGB0;
2086   }
2087   goto label1;
2088   label1: while(0);
2089   stack_frame_head = fra.me.prev;
2090   return REGB1;
2091 }