c_src/standard___kernel._sep.c

   1 /* This C file is generated by NIT to compile module standard___kernel. */
   2 #include "standard___kernel._sep.h"
   3 val_t standard___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_standard___kernel;
   9   fra.me.line = 28;
  10   fra.me.meth = LOCATE_standard___kernel___Object___object_id;
  11   fra.me.has_broke = 0;
  12   fra.me.REG_size = 1;
  13   fra.me.nitni_local_ref_head = NULL;
  14   fra.me.REG[0] = NIT_NULL;
  15   fra.me.REG[0] = p0;
  16   /* ../lib/standard/kernel.nit:28 */
  17   REGB0 = TAG_Int((bigint)((obj_t)fra.me.REG[0])[1].object_id);
  18   stack_frame_head = fra.me.prev;
  19   return REGB0;
  20 }
  21 val_t standard___kernel___Object___is_same_type(val_t p0, val_t p1){
  22   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  23   val_t REGB0;
  24   val_t tmp;
  25   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  26   fra.me.file = LOCATE_standard___kernel;
  27   fra.me.line = 33;
  28   fra.me.meth = LOCATE_standard___kernel___Object___is_same_type;
  29   fra.me.has_broke = 0;
  30   fra.me.REG_size = 2;
  31   fra.me.nitni_local_ref_head = NULL;
  32   fra.me.REG[0] = NIT_NULL;
  33   fra.me.REG[1] = NIT_NULL;
  34   fra.me.REG[0] = p0;
  35   fra.me.REG[1] = p1;
  36   /* ../lib/standard/kernel.nit:33 */
  37   REGB0 = TAG_Bool((VAL2VFT(fra.me.REG[0])==VAL2VFT(fra.me.REG[1])));
  38   stack_frame_head = fra.me.prev;
  39   return REGB0;
  40 }
  41 val_t standard___kernel___Object_____eqeq(val_t p0, val_t p1){
  42   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  43   val_t REGB0;
  44   val_t tmp;
  45   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  46   fra.me.file = LOCATE_standard___kernel;
  47   fra.me.line = 37;
  48   fra.me.meth = LOCATE_standard___kernel___Object_____eqeq;
  49   fra.me.has_broke = 0;
  50   fra.me.REG_size = 2;
  51   fra.me.nitni_local_ref_head = NULL;
  52   fra.me.REG[0] = NIT_NULL;
  53   fra.me.REG[1] = NIT_NULL;
  54   fra.me.REG[0] = p0;
  55   fra.me.REG[1] = p1;
  56   /* ../lib/standard/kernel.nit:41 */
  57   REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[0],fra.me.REG[1]));
  58   goto label1;
  59   label1: while(0);
  60   stack_frame_head = fra.me.prev;
  61   return REGB0;
  62 }
  63 val_t standard___kernel___Object_____neq(val_t p0, val_t p1){
  64   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
  65   val_t REGB0;
  66   val_t REGB1;
  67   val_t tmp;
  68   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  69   fra.me.file = LOCATE_standard___kernel;
  70   fra.me.line = 43;
  71   fra.me.meth = LOCATE_standard___kernel___Object_____neq;
  72   fra.me.has_broke = 0;
  73   fra.me.REG_size = 2;
  74   fra.me.nitni_local_ref_head = NULL;
  75   fra.me.REG[0] = NIT_NULL;
  76   fra.me.REG[1] = NIT_NULL;
  77   fra.me.REG[0] = p0;
  78   fra.me.REG[1] = p1;
  79   /* ../lib/standard/kernel.nit:46 */
  80   REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[0],fra.me.REG[1]));
  81   if (UNTAG_Bool(REGB0)) {
  82   } else {
  83     REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
  84     REGB0 = REGB1;
  85   }
  86   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
  87   goto label1;
  88   label1: while(0);
  89   stack_frame_head = fra.me.prev;
  90   return REGB0;
  91 }
  92 void standard___kernel___Object___output(val_t p0){
  93   struct {struct stack_frame_t me;} fra;
  94   val_t REGB0;
  95   val_t tmp;
  96   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
  97   fra.me.file = LOCATE_standard___kernel;
  98   fra.me.line = 48;
  99   fra.me.meth = LOCATE_standard___kernel___Object___output;
 100   fra.me.has_broke = 0;
 101   fra.me.REG_size = 1;
 102   fra.me.nitni_local_ref_head = NULL;
 103   fra.me.REG[0] = NIT_NULL;
 104   fra.me.REG[0] = p0;
 105   /* ../lib/standard/kernel.nit:52 */
 106   REGB0 = TAG_Char('<');
 107   /* ../lib/standard/kernel.nit:380 */
 108   printf("%c", (unsigned char)UNTAG_Char(REGB0));;
 109   /* ../lib/standard/kernel.nit:53 */
 110   REGB0 = CALL_standard___kernel___Object___object_id(fra.me.REG[0])(fra.me.REG[0]);
 111   /* ../lib/standard/kernel.nit:229 */
 112   printf("%ld\n", UNTAG_Int(REGB0));;
 113   /* ../lib/standard/kernel.nit:54 */
 114   REGB0 = TAG_Char('>');
 115   /* ../lib/standard/kernel.nit:380 */
 116   printf("%c", (unsigned char)UNTAG_Char(REGB0));;
 117   stack_frame_head = fra.me.prev;
 118   return;
 119 }
 120 void standard___kernel___Object___output_class_name(val_t p0){
 121   struct {struct stack_frame_t me;} fra;
 122   val_t tmp;
 123   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 124   fra.me.file = LOCATE_standard___kernel;
 125   fra.me.line = 57;
 126   fra.me.meth = LOCATE_standard___kernel___Object___output_class_name;
 127   fra.me.has_broke = 0;
 128   fra.me.REG_size = 1;
 129   fra.me.nitni_local_ref_head = NULL;
 130   fra.me.REG[0] = NIT_NULL;
 131   fra.me.REG[0] = p0;
 132   /* ../lib/standard/kernel.nit:57 */
 133   printf("%s\n", VAL2VFT(fra.me.REG[0])[2].cname);;
 134   stack_frame_head = fra.me.prev;
 135   return;
 136 }
 137 void standard___kernel___Object___exit(val_t p0, val_t p1){
 138   struct {struct stack_frame_t me;} fra;
 139   val_t REGB0;
 140   val_t tmp;
 141   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 142   fra.me.file = LOCATE_standard___kernel;
 143   fra.me.line = 61;
 144   fra.me.meth = LOCATE_standard___kernel___Object___exit;
 145   fra.me.has_broke = 0;
 146   fra.me.REG_size = 1;
 147   fra.me.nitni_local_ref_head = NULL;
 148   fra.me.REG[0] = NIT_NULL;
 149   fra.me.REG[0] = p0;
 150   REGB0 = p1;
 151   /* ../lib/standard/kernel.nit:61 */
 152   exit(UNTAG_Int(REGB0));;
 153   stack_frame_head = fra.me.prev;
 154   return;
 155 }
 156 val_t standard___kernel___Object___sys(val_t p0){
 157   struct {struct stack_frame_t me;} fra;
 158   val_t tmp;
 159   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 160   fra.me.file = LOCATE_standard___kernel;
 161   fra.me.line = 64;
 162   fra.me.meth = LOCATE_standard___kernel___Object___sys;
 163   fra.me.has_broke = 0;
 164   fra.me.REG_size = 1;
 165   fra.me.nitni_local_ref_head = NULL;
 166   fra.me.REG[0] = NIT_NULL;
 167   fra.me.REG[0] = p0;
 168   /* ../lib/standard/kernel.nit:64 */
 169   fra.me.REG[0] = (G_sys);
 170   stack_frame_head = fra.me.prev;
 171   return fra.me.REG[0];
 172 }
 173 void standard___kernel___Sys___main(val_t p0){
 174   struct {struct stack_frame_t me;} fra;
 175   val_t tmp;
 176   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 177   fra.me.file = LOCATE_standard___kernel;
 178   fra.me.line = 72;
 179   fra.me.meth = LOCATE_standard___kernel___Sys___main;
 180   fra.me.has_broke = 0;
 181   fra.me.REG_size = 1;
 182   fra.me.nitni_local_ref_head = NULL;
 183   fra.me.REG[0] = NIT_NULL;
 184   fra.me.REG[0] = p0;
 185   stack_frame_head = fra.me.prev;
 186   return;
 187 }
 188 void standard___kernel___Sys___init(val_t p0, int* init_table){
 189   int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_standard___kernel___Sys].i;
 190   struct {struct stack_frame_t me;} fra;
 191   val_t tmp;
 192   if (init_table[itpos0]) return;
 193   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 194   fra.me.file = LOCATE_standard___kernel;
 195   fra.me.line = 0;
 196   fra.me.meth = LOCATE_standard___kernel___Sys___init;
 197   fra.me.has_broke = 0;
 198   fra.me.REG_size = 0;
 199   fra.me.nitni_local_ref_head = NULL;
 200   stack_frame_head = fra.me.prev;
 201   init_table[itpos0] = 1;
 202   return;
 203 }
 204 val_t standard___kernel___Comparable_____l(val_t p0, val_t p1){
 205   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 206   val_t REGB0;
 207   val_t tmp;
 208   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 209   fra.me.file = LOCATE_standard___kernel;
 210   fra.me.line = 86;
 211   fra.me.meth = LOCATE_standard___kernel___Comparable_____l;
 212   fra.me.has_broke = 0;
 213   fra.me.REG_size = 2;
 214   fra.me.nitni_local_ref_head = NULL;
 215   fra.me.REG[0] = NIT_NULL;
 216   fra.me.REG[1] = NIT_NULL;
 217   fra.me.REG[0] = p0;
 218   fra.me.REG[1] = p1;
 219   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 220   if (UNTAG_Bool(REGB0)) {
 221   } else {
 222     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 223   }
 224   /* ../lib/standard/kernel.nit:86 */
 225   nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 86);
 226   stack_frame_head = fra.me.prev;
 227   return NIT_NULL;
 228 }
 229 val_t standard___kernel___Comparable_____leq(val_t p0, val_t p1){
 230   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 231   val_t REGB0;
 232   val_t tmp;
 233   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 234   fra.me.file = LOCATE_standard___kernel;
 235   fra.me.line = 89;
 236   fra.me.meth = LOCATE_standard___kernel___Comparable_____leq;
 237   fra.me.has_broke = 0;
 238   fra.me.REG_size = 2;
 239   fra.me.nitni_local_ref_head = NULL;
 240   fra.me.REG[0] = NIT_NULL;
 241   fra.me.REG[1] = NIT_NULL;
 242   fra.me.REG[0] = p0;
 243   fra.me.REG[1] = p1;
 244   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 245   if (UNTAG_Bool(REGB0)) {
 246   } else {
 247     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 248   }
 249   /* ../lib/standard/kernel.nit:91 */
 250   REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 251   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 252   goto label1;
 253   label1: while(0);
 254   stack_frame_head = fra.me.prev;
 255   return REGB0;
 256 }
 257 val_t standard___kernel___Comparable_____geq(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 tmp;
 261   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 262   fra.me.file = LOCATE_standard___kernel;
 263   fra.me.line = 93;
 264   fra.me.meth = LOCATE_standard___kernel___Comparable_____geq;
 265   fra.me.has_broke = 0;
 266   fra.me.REG_size = 2;
 267   fra.me.nitni_local_ref_head = NULL;
 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   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 273   if (UNTAG_Bool(REGB0)) {
 274   } else {
 275     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 276   }
 277   /* ../lib/standard/kernel.nit:95 */
 278   REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 279   REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
 280   goto label1;
 281   label1: while(0);
 282   stack_frame_head = fra.me.prev;
 283   return REGB0;
 284 }
 285 val_t standard___kernel___Comparable_____g(val_t p0, val_t p1){
 286   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 287   val_t REGB0;
 288   val_t tmp;
 289   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 290   fra.me.file = LOCATE_standard___kernel;
 291   fra.me.line = 97;
 292   fra.me.meth = LOCATE_standard___kernel___Comparable_____g;
 293   fra.me.has_broke = 0;
 294   fra.me.REG_size = 2;
 295   fra.me.nitni_local_ref_head = NULL;
 296   fra.me.REG[0] = NIT_NULL;
 297   fra.me.REG[1] = NIT_NULL;
 298   fra.me.REG[0] = p0;
 299   fra.me.REG[1] = p1;
 300   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 301   if (UNTAG_Bool(REGB0)) {
 302   } else {
 303     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 304   }
 305   /* ../lib/standard/kernel.nit:98 */
 306   REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 307   goto label1;
 308   label1: while(0);
 309   stack_frame_head = fra.me.prev;
 310   return REGB0;
 311 }
 312 val_t standard___kernel___Comparable_____leqg(val_t p0, val_t p1){
 313   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 314   val_t REGB0;
 315   val_t REGB1;
 316   val_t tmp;
 317   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 318   fra.me.file = LOCATE_standard___kernel;
 319   fra.me.line = 100;
 320   fra.me.meth = LOCATE_standard___kernel___Comparable_____leqg;
 321   fra.me.has_broke = 0;
 322   fra.me.REG_size = 2;
 323   fra.me.nitni_local_ref_head = NULL;
 324   fra.me.REG[0] = NIT_NULL;
 325   fra.me.REG[1] = NIT_NULL;
 326   fra.me.REG[0] = p0;
 327   fra.me.REG[1] = p1;
 328   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 329   if (UNTAG_Bool(REGB0)) {
 330   } else {
 331     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 332   }
 333   /* ../lib/standard/kernel.nit:104 */
 334   REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 335   if (UNTAG_Bool(REGB0)) {
 336     /* ../lib/standard/kernel.nit:105 */
 337     REGB0 = TAG_Int(1);
 338     /* ../lib/standard/kernel.nit:236 */
 339     REGB0 = TAG_Int(-UNTAG_Int(REGB0));
 340     /* ../lib/standard/kernel.nit:105 */
 341     goto label1;
 342   } else {
 343     /* ../lib/standard/kernel.nit:106 */
 344     REGB1 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 345     if (UNTAG_Bool(REGB1)) {
 346       /* ../lib/standard/kernel.nit:107 */
 347       REGB1 = TAG_Int(1);
 348       REGB0 = REGB1;
 349       goto label1;
 350     } else {
 351       /* ../lib/standard/kernel.nit:109 */
 352       REGB1 = TAG_Int(0);
 353       REGB0 = REGB1;
 354       goto label1;
 355     }
 356   }
 357   label1: while(0);
 358   stack_frame_head = fra.me.prev;
 359   return REGB0;
 360 }
 361 val_t standard___kernel___Comparable___is_between(val_t p0, val_t p1, val_t p2){
 362   struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
 363   val_t REGB0;
 364   val_t REGB1;
 365   val_t tmp;
 366   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 367   fra.me.file = LOCATE_standard___kernel;
 368   fra.me.line = 113;
 369   fra.me.meth = LOCATE_standard___kernel___Comparable___is_between;
 370   fra.me.has_broke = 0;
 371   fra.me.REG_size = 3;
 372   fra.me.nitni_local_ref_head = NULL;
 373   fra.me.REG[0] = NIT_NULL;
 374   fra.me.REG[1] = NIT_NULL;
 375   fra.me.REG[2] = NIT_NULL;
 376   fra.me.REG[0] = p0;
 377   fra.me.REG[1] = p1;
 378   fra.me.REG[2] = p2;
 379   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 380   if (UNTAG_Bool(REGB0)) {
 381   } else {
 382     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 383   }
 384   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 385   if (UNTAG_Bool(REGB0)) {
 386   } else {
 387     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 388   }
 389   /* ../lib/standard/kernel.nit:116 */
 390   REGB0 = CALL_standard___kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 391   if (UNTAG_Bool(REGB0)) {
 392     REGB0 = CALL_standard___kernel___Comparable_____leq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
 393   } else {
 394     REGB1 = TAG_Bool(false);
 395     REGB0 = REGB1;
 396   }
 397   goto label1;
 398   label1: while(0);
 399   stack_frame_head = fra.me.prev;
 400   return REGB0;
 401 }
 402 val_t standard___kernel___Comparable___max(val_t p0, val_t p1){
 403   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 404   val_t REGB0;
 405   val_t tmp;
 406   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 407   fra.me.file = LOCATE_standard___kernel;
 408   fra.me.line = 119;
 409   fra.me.meth = LOCATE_standard___kernel___Comparable___max;
 410   fra.me.has_broke = 0;
 411   fra.me.REG_size = 2;
 412   fra.me.nitni_local_ref_head = NULL;
 413   fra.me.REG[0] = NIT_NULL;
 414   fra.me.REG[1] = NIT_NULL;
 415   fra.me.REG[0] = p0;
 416   fra.me.REG[1] = p1;
 417   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 418   if (UNTAG_Bool(REGB0)) {
 419   } else {
 420     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 421   }
 422   /* ../lib/standard/kernel.nit:122 */
 423   REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 424   if (UNTAG_Bool(REGB0)) {
 425     /* ../lib/standard/kernel.nit:123 */
 426     goto label1;
 427   } else {
 428     /* ../lib/standard/kernel.nit:125 */
 429     fra.me.REG[1] = fra.me.REG[0];
 430     goto label1;
 431   }
 432   label1: while(0);
 433   stack_frame_head = fra.me.prev;
 434   return fra.me.REG[1];
 435 }
 436 val_t standard___kernel___Comparable___min(val_t p0, val_t p1){
 437   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 438   val_t REGB0;
 439   val_t tmp;
 440   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 441   fra.me.file = LOCATE_standard___kernel;
 442   fra.me.line = 129;
 443   fra.me.meth = LOCATE_standard___kernel___Comparable___min;
 444   fra.me.has_broke = 0;
 445   fra.me.REG_size = 2;
 446   fra.me.nitni_local_ref_head = NULL;
 447   fra.me.REG[0] = NIT_NULL;
 448   fra.me.REG[1] = NIT_NULL;
 449   fra.me.REG[0] = p0;
 450   fra.me.REG[1] = p1;
 451   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 452   if (UNTAG_Bool(REGB0)) {
 453   } else {
 454     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 455   }
 456   /* ../lib/standard/kernel.nit:132 */
 457   REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
 458   if (UNTAG_Bool(REGB0)) {
 459     /* ../lib/standard/kernel.nit:133 */
 460     goto label1;
 461   } else {
 462     /* ../lib/standard/kernel.nit:135 */
 463     fra.me.REG[1] = fra.me.REG[0];
 464     goto label1;
 465   }
 466   label1: while(0);
 467   stack_frame_head = fra.me.prev;
 468   return fra.me.REG[1];
 469 }
 470 val_t standard___kernel___Discrete___succ(val_t p0){
 471   struct {struct stack_frame_t me;} fra;
 472   val_t REGB0;
 473   val_t tmp;
 474   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 475   fra.me.file = LOCATE_standard___kernel;
 476   fra.me.line = 146;
 477   fra.me.meth = LOCATE_standard___kernel___Discrete___succ;
 478   fra.me.has_broke = 0;
 479   fra.me.REG_size = 1;
 480   fra.me.nitni_local_ref_head = NULL;
 481   fra.me.REG[0] = NIT_NULL;
 482   fra.me.REG[0] = p0;
 483   /* ../lib/standard/kernel.nit:147 */
 484   REGB0 = TAG_Int(1);
 485   fra.me.REG[0] = CALL_standard___kernel___Discrete_____plus(fra.me.REG[0])(fra.me.REG[0], REGB0);
 486   goto label1;
 487   label1: while(0);
 488   stack_frame_head = fra.me.prev;
 489   return fra.me.REG[0];
 490 }
 491 val_t standard___kernel___Discrete___prec(val_t p0){
 492   struct {struct stack_frame_t me;} fra;
 493   val_t REGB0;
 494   val_t tmp;
 495   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 496   fra.me.file = LOCATE_standard___kernel;
 497   fra.me.line = 149;
 498   fra.me.meth = LOCATE_standard___kernel___Discrete___prec;
 499   fra.me.has_broke = 0;
 500   fra.me.REG_size = 1;
 501   fra.me.nitni_local_ref_head = NULL;
 502   fra.me.REG[0] = NIT_NULL;
 503   fra.me.REG[0] = p0;
 504   /* ../lib/standard/kernel.nit:150 */
 505   REGB0 = TAG_Int(1);
 506   fra.me.REG[0] = CALL_standard___kernel___Discrete_____minus(fra.me.REG[0])(fra.me.REG[0], REGB0);
 507   goto label1;
 508   label1: while(0);
 509   stack_frame_head = fra.me.prev;
 510   return fra.me.REG[0];
 511 }
 512 val_t standard___kernel___Discrete_____plus(val_t p0, val_t p1){
 513   struct {struct stack_frame_t me;} fra;
 514   val_t tmp;
 515   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 516   fra.me.file = LOCATE_standard___kernel;
 517   fra.me.line = 152;
 518   fra.me.meth = LOCATE_standard___kernel___Discrete_____plus;
 519   fra.me.has_broke = 0;
 520   fra.me.REG_size = 0;
 521   fra.me.nitni_local_ref_head = NULL;
 522   /* ../lib/standard/kernel.nit:152 */
 523   nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 152);
 524   stack_frame_head = fra.me.prev;
 525   return NIT_NULL;
 526 }
 527 val_t standard___kernel___Discrete_____minus(val_t p0, val_t p1){
 528   struct {struct stack_frame_t me;} fra;
 529   val_t tmp;
 530   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 531   fra.me.file = LOCATE_standard___kernel;
 532   fra.me.line = 155;
 533   fra.me.meth = LOCATE_standard___kernel___Discrete_____minus;
 534   fra.me.has_broke = 0;
 535   fra.me.REG_size = 0;
 536   fra.me.nitni_local_ref_head = NULL;
 537   /* ../lib/standard/kernel.nit:155 */
 538   nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 155);
 539   stack_frame_head = fra.me.prev;
 540   return NIT_NULL;
 541 }
 542 val_t standard___kernel___Discrete___distance(val_t p0, val_t p1){
 543   struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
 544   val_t REGB0;
 545   val_t REGB1;
 546   val_t REGB2;
 547   val_t tmp;
 548   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 549   fra.me.file = LOCATE_standard___kernel;
 550   fra.me.line = 158;
 551   fra.me.meth = LOCATE_standard___kernel___Discrete___distance;
 552   fra.me.has_broke = 0;
 553   fra.me.REG_size = 4;
 554   fra.me.nitni_local_ref_head = NULL;
 555   fra.me.REG[0] = NIT_NULL;
 556   fra.me.REG[1] = NIT_NULL;
 557   fra.me.REG[2] = NIT_NULL;
 558   fra.me.REG[3] = NIT_NULL;
 559   fra.me.REG[0] = p0;
 560   fra.me.REG[1] = p1;
 561   REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], VTCOLOR_standard___kernel___Comparable___OTHER(fra.me.REG[0]), VTID_standard___kernel___Comparable___OTHER(fra.me.REG[0]))) /*cast OTHER*/;
 562   if (UNTAG_Bool(REGB0)) {
 563   } else {
 564     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
 565   }
 566   /* ../lib/standard/kernel.nit:165 */
 567   REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 568   if (UNTAG_Bool(REGB0)) {
 569     /* ../lib/standard/kernel.nit:166 */
 570     fra.me.REG[2] = fra.me.REG[0];
 571     /* ../lib/standard/kernel.nit:167 */
 572     fra.me.REG[3] = fra.me.REG[1];
 573   } else {
 574     /* ../lib/standard/kernel.nit:168 */
 575     REGB0 = CALL_standard___kernel___Comparable_____g(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
 576     if (UNTAG_Bool(REGB0)) {
 577       /* ../lib/standard/kernel.nit:169 */
 578       fra.me.REG[2] = fra.me.REG[1];
 579       /* ../lib/standard/kernel.nit:170 */
 580       fra.me.REG[3] = fra.me.REG[0];
 581     } else {
 582       /* ../lib/standard/kernel.nit:172 */
 583       REGB0 = TAG_Int(0);
 584       goto label1;
 585     }
 586   }
 587   /* ../lib/standard/kernel.nit:175 */
 588   REGB1 = TAG_Int(0);
 589   /* ../lib/standard/kernel.nit:176 */
 590   while(1) {
 591     REGB2 = CALL_standard___kernel___Comparable_____l(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
 592     if (UNTAG_Bool(REGB2)) {
 593       /* ../lib/standard/kernel.nit:177 */
 594       fra.me.REG[0] = CALL_standard___kernel___Discrete___succ(fra.me.REG[2])(fra.me.REG[2]);
 595       fra.me.REG[2] = fra.me.REG[0];
 596       /* ../lib/standard/kernel.nit:178 */
 597       REGB2 = TAG_Int(1);
 598       /* ../lib/standard/kernel.nit:235 */
 599       REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
 600       /* ../lib/standard/kernel.nit:178 */
 601       REGB1 = REGB2;
 602     } else {
 603       /* ../lib/standard/kernel.nit:176 */
 604       goto label2;
 605     }
 606   }
 607   label2: while(0);
 608   /* ../lib/standard/kernel.nit:180 */
 609   REGB0 = REGB1;
 610   goto label1;
 611   label1: while(0);
 612   stack_frame_head = fra.me.prev;
 613   return REGB0;
 614 }
 615 val_t standard___kernel___Bool___object_id(val_t p0){
 616   struct {struct stack_frame_t me;} fra;
 617   val_t REGB0;
 618   val_t tmp;
 619   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 620   fra.me.file = LOCATE_standard___kernel;
 621   fra.me.line = 194;
 622   fra.me.meth = LOCATE_standard___kernel___Bool___object_id;
 623   fra.me.has_broke = 0;
 624   fra.me.REG_size = 0;
 625   fra.me.nitni_local_ref_head = NULL;
 626   REGB0 = p0;
 627   /* ../lib/standard/kernel.nit:194 */
 628   REGB0 = TAG_Int(UNTAG_Bool(REGB0));
 629   stack_frame_head = fra.me.prev;
 630   return REGB0;
 631 }
 632 val_t standard___kernel___Bool_____eqeq(val_t p0, val_t p1){
 633   struct {struct stack_frame_t me;} fra;
 634   val_t REGB0;
 635   val_t tmp;
 636   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 637   fra.me.file = LOCATE_standard___kernel;
 638   fra.me.line = 195;
 639   fra.me.meth = LOCATE_standard___kernel___Bool_____eqeq;
 640   fra.me.has_broke = 0;
 641   fra.me.REG_size = 1;
 642   fra.me.nitni_local_ref_head = NULL;
 643   fra.me.REG[0] = NIT_NULL;
 644   REGB0 = p0;
 645   fra.me.REG[0] = p1;
 646   /* ../lib/standard/kernel.nit:195 */
 647   REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
 648   stack_frame_head = fra.me.prev;
 649   return REGB0;
 650 }
 651 val_t standard___kernel___Bool_____neq(val_t p0, val_t p1){
 652   struct {struct stack_frame_t me;} fra;
 653   val_t REGB0;
 654   val_t tmp;
 655   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 656   fra.me.file = LOCATE_standard___kernel;
 657   fra.me.line = 196;
 658   fra.me.meth = LOCATE_standard___kernel___Bool_____neq;
 659   fra.me.has_broke = 0;
 660   fra.me.REG_size = 1;
 661   fra.me.nitni_local_ref_head = NULL;
 662   fra.me.REG[0] = NIT_NULL;
 663   REGB0 = p0;
 664   fra.me.REG[0] = p1;
 665   /* ../lib/standard/kernel.nit:196 */
 666   REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
 667   stack_frame_head = fra.me.prev;
 668   return REGB0;
 669 }
 670 void standard___kernel___Bool___output(val_t p0){
 671   struct {struct stack_frame_t me;} fra;
 672   val_t REGB0;
 673   val_t tmp;
 674   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 675   fra.me.file = LOCATE_standard___kernel;
 676   fra.me.line = 197;
 677   fra.me.meth = LOCATE_standard___kernel___Bool___output;
 678   fra.me.has_broke = 0;
 679   fra.me.REG_size = 0;
 680   fra.me.nitni_local_ref_head = NULL;
 681   REGB0 = p0;
 682   /* ../lib/standard/kernel.nit:197 */
 683   (void)printf(UNTAG_Bool(REGB0)?"true\n":"false\n");;
 684   stack_frame_head = fra.me.prev;
 685   return;
 686 }
 687 val_t standard___kernel___Float___object_id(val_t p0){
 688   struct {struct stack_frame_t me;} fra;
 689   val_t REGB0;
 690   val_t tmp;
 691   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 692   fra.me.file = LOCATE_standard___kernel;
 693   fra.me.line = 203;
 694   fra.me.meth = LOCATE_standard___kernel___Float___object_id;
 695   fra.me.has_broke = 0;
 696   fra.me.REG_size = 1;
 697   fra.me.nitni_local_ref_head = NULL;
 698   fra.me.REG[0] = NIT_NULL;
 699   fra.me.REG[0] = p0;
 700   /* ../lib/standard/kernel.nit:203 */
 701   REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
 702   stack_frame_head = fra.me.prev;
 703   return REGB0;
 704 }
 705 void standard___kernel___Float___output(val_t p0){
 706   struct {struct stack_frame_t me;} fra;
 707   val_t tmp;
 708   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 709   fra.me.file = LOCATE_standard___kernel;
 710   fra.me.line = 204;
 711   fra.me.meth = LOCATE_standard___kernel___Float___output;
 712   fra.me.has_broke = 0;
 713   fra.me.REG_size = 1;
 714   fra.me.nitni_local_ref_head = NULL;
 715   fra.me.REG[0] = NIT_NULL;
 716   fra.me.REG[0] = p0;
 717   /* ../lib/standard/kernel.nit:204 */
 718   printf("%f\n", UNBOX_Float(fra.me.REG[0]));;
 719   stack_frame_head = fra.me.prev;
 720   return;
 721 }
 722 val_t standard___kernel___Float_____leq(val_t p0, val_t p1){
 723   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 724   val_t REGB0;
 725   val_t tmp;
 726   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 727   fra.me.file = LOCATE_standard___kernel;
 728   fra.me.line = 206;
 729   fra.me.meth = LOCATE_standard___kernel___Float_____leq;
 730   fra.me.has_broke = 0;
 731   fra.me.REG_size = 2;
 732   fra.me.nitni_local_ref_head = NULL;
 733   fra.me.REG[0] = NIT_NULL;
 734   fra.me.REG[1] = NIT_NULL;
 735   fra.me.REG[0] = p0;
 736   fra.me.REG[1] = p1;
 737   /* ../lib/standard/kernel.nit:206 */
 738   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<=UNBOX_Float(fra.me.REG[1]));
 739   stack_frame_head = fra.me.prev;
 740   return REGB0;
 741 }
 742 val_t standard___kernel___Float_____l(val_t p0, val_t p1){
 743   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 744   val_t REGB0;
 745   val_t tmp;
 746   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 747   fra.me.file = LOCATE_standard___kernel;
 748   fra.me.line = 207;
 749   fra.me.meth = LOCATE_standard___kernel___Float_____l;
 750   fra.me.has_broke = 0;
 751   fra.me.REG_size = 2;
 752   fra.me.nitni_local_ref_head = NULL;
 753   fra.me.REG[0] = NIT_NULL;
 754   fra.me.REG[1] = NIT_NULL;
 755   fra.me.REG[0] = p0;
 756   fra.me.REG[1] = p1;
 757   /* ../lib/standard/kernel.nit:207 */
 758   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<UNBOX_Float(fra.me.REG[1]));
 759   stack_frame_head = fra.me.prev;
 760   return REGB0;
 761 }
 762 val_t standard___kernel___Float_____geq(val_t p0, val_t p1){
 763   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 764   val_t REGB0;
 765   val_t tmp;
 766   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 767   fra.me.file = LOCATE_standard___kernel;
 768   fra.me.line = 208;
 769   fra.me.meth = LOCATE_standard___kernel___Float_____geq;
 770   fra.me.has_broke = 0;
 771   fra.me.REG_size = 2;
 772   fra.me.nitni_local_ref_head = NULL;
 773   fra.me.REG[0] = NIT_NULL;
 774   fra.me.REG[1] = NIT_NULL;
 775   fra.me.REG[0] = p0;
 776   fra.me.REG[1] = p1;
 777   /* ../lib/standard/kernel.nit:208 */
 778   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>=UNBOX_Float(fra.me.REG[1]));
 779   stack_frame_head = fra.me.prev;
 780   return REGB0;
 781 }
 782 val_t standard___kernel___Float_____g(val_t p0, val_t p1){
 783   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 784   val_t REGB0;
 785   val_t tmp;
 786   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 787   fra.me.file = LOCATE_standard___kernel;
 788   fra.me.line = 209;
 789   fra.me.meth = LOCATE_standard___kernel___Float_____g;
 790   fra.me.has_broke = 0;
 791   fra.me.REG_size = 2;
 792   fra.me.nitni_local_ref_head = NULL;
 793   fra.me.REG[0] = NIT_NULL;
 794   fra.me.REG[1] = NIT_NULL;
 795   fra.me.REG[0] = p0;
 796   fra.me.REG[1] = p1;
 797   /* ../lib/standard/kernel.nit:209 */
 798   REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>UNBOX_Float(fra.me.REG[1]));
 799   stack_frame_head = fra.me.prev;
 800   return REGB0;
 801 }
 802 val_t standard___kernel___Float_____plus(val_t p0, val_t p1){
 803   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 804   val_t tmp;
 805   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 806   fra.me.file = LOCATE_standard___kernel;
 807   fra.me.line = 210;
 808   fra.me.meth = LOCATE_standard___kernel___Float_____plus;
 809   fra.me.has_broke = 0;
 810   fra.me.REG_size = 2;
 811   fra.me.nitni_local_ref_head = NULL;
 812   fra.me.REG[0] = NIT_NULL;
 813   fra.me.REG[1] = NIT_NULL;
 814   fra.me.REG[0] = p0;
 815   fra.me.REG[1] = p1;
 816   /* ../lib/standard/kernel.nit:210 */
 817   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])+UNBOX_Float(fra.me.REG[1]));
 818   stack_frame_head = fra.me.prev;
 819   return fra.me.REG[1];
 820 }
 821 val_t standard___kernel___Float___unary__minus(val_t p0){
 822   struct {struct stack_frame_t me;} fra;
 823   val_t tmp;
 824   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 825   fra.me.file = LOCATE_standard___kernel;
 826   fra.me.line = 211;
 827   fra.me.meth = LOCATE_standard___kernel___Float___unary__minus;
 828   fra.me.has_broke = 0;
 829   fra.me.REG_size = 1;
 830   fra.me.nitni_local_ref_head = NULL;
 831   fra.me.REG[0] = NIT_NULL;
 832   fra.me.REG[0] = p0;
 833   /* ../lib/standard/kernel.nit:211 */
 834   fra.me.REG[0] = BOX_Float(-UNBOX_Float(fra.me.REG[0]));
 835   stack_frame_head = fra.me.prev;
 836   return fra.me.REG[0];
 837 }
 838 val_t standard___kernel___Float_____minus(val_t p0, val_t p1){
 839   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 840   val_t tmp;
 841   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 842   fra.me.file = LOCATE_standard___kernel;
 843   fra.me.line = 212;
 844   fra.me.meth = LOCATE_standard___kernel___Float_____minus;
 845   fra.me.has_broke = 0;
 846   fra.me.REG_size = 2;
 847   fra.me.nitni_local_ref_head = NULL;
 848   fra.me.REG[0] = NIT_NULL;
 849   fra.me.REG[1] = NIT_NULL;
 850   fra.me.REG[0] = p0;
 851   fra.me.REG[1] = p1;
 852   /* ../lib/standard/kernel.nit:212 */
 853   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])-UNBOX_Float(fra.me.REG[1]));
 854   stack_frame_head = fra.me.prev;
 855   return fra.me.REG[1];
 856 }
 857 val_t standard___kernel___Float_____star(val_t p0, val_t p1){
 858   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 859   val_t tmp;
 860   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 861   fra.me.file = LOCATE_standard___kernel;
 862   fra.me.line = 213;
 863   fra.me.meth = LOCATE_standard___kernel___Float_____star;
 864   fra.me.has_broke = 0;
 865   fra.me.REG_size = 2;
 866   fra.me.nitni_local_ref_head = NULL;
 867   fra.me.REG[0] = NIT_NULL;
 868   fra.me.REG[1] = NIT_NULL;
 869   fra.me.REG[0] = p0;
 870   fra.me.REG[1] = p1;
 871   /* ../lib/standard/kernel.nit:213 */
 872   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])*UNBOX_Float(fra.me.REG[1]));
 873   stack_frame_head = fra.me.prev;
 874   return fra.me.REG[1];
 875 }
 876 val_t standard___kernel___Float_____slash(val_t p0, val_t p1){
 877   struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
 878   val_t tmp;
 879   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 880   fra.me.file = LOCATE_standard___kernel;
 881   fra.me.line = 214;
 882   fra.me.meth = LOCATE_standard___kernel___Float_____slash;
 883   fra.me.has_broke = 0;
 884   fra.me.REG_size = 2;
 885   fra.me.nitni_local_ref_head = NULL;
 886   fra.me.REG[0] = NIT_NULL;
 887   fra.me.REG[1] = NIT_NULL;
 888   fra.me.REG[0] = p0;
 889   fra.me.REG[1] = p1;
 890   /* ../lib/standard/kernel.nit:214 */
 891   fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])/UNBOX_Float(fra.me.REG[1]));
 892   stack_frame_head = fra.me.prev;
 893   return fra.me.REG[1];
 894 }
 895 val_t standard___kernel___Float___to_i(val_t p0){
 896   struct {struct stack_frame_t me;} fra;
 897   val_t REGB0;
 898   val_t tmp;
 899   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 900   fra.me.file = LOCATE_standard___kernel;
 901   fra.me.line = 216;
 902   fra.me.meth = LOCATE_standard___kernel___Float___to_i;
 903   fra.me.has_broke = 0;
 904   fra.me.REG_size = 1;
 905   fra.me.nitni_local_ref_head = NULL;
 906   fra.me.REG[0] = NIT_NULL;
 907   fra.me.REG[0] = p0;
 908   /* ../lib/standard/kernel.nit:216 */
 909   REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
 910   stack_frame_head = fra.me.prev;
 911   return REGB0;
 912 }
 913 val_t standard___kernel___Int___object_id(val_t p0){
 914   struct {struct stack_frame_t me;} fra;
 915   val_t REGB0;
 916   val_t tmp;
 917   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 918   fra.me.file = LOCATE_standard___kernel;
 919   fra.me.line = 226;
 920   fra.me.meth = LOCATE_standard___kernel___Int___object_id;
 921   fra.me.has_broke = 0;
 922   fra.me.REG_size = 0;
 923   fra.me.nitni_local_ref_head = NULL;
 924   REGB0 = p0;
 925   /* ../lib/standard/kernel.nit:226 */
 926   REGB0 = REGB0;
 927   stack_frame_head = fra.me.prev;
 928   return REGB0;
 929 }
 930 val_t standard___kernel___Int_____eqeq(val_t p0, val_t p1){
 931   struct {struct stack_frame_t me;} fra;
 932   val_t REGB0;
 933   val_t tmp;
 934   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 935   fra.me.file = LOCATE_standard___kernel;
 936   fra.me.line = 227;
 937   fra.me.meth = LOCATE_standard___kernel___Int_____eqeq;
 938   fra.me.has_broke = 0;
 939   fra.me.REG_size = 1;
 940   fra.me.nitni_local_ref_head = NULL;
 941   fra.me.REG[0] = NIT_NULL;
 942   REGB0 = p0;
 943   fra.me.REG[0] = p1;
 944   /* ../lib/standard/kernel.nit:227 */
 945   REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
 946   stack_frame_head = fra.me.prev;
 947   return REGB0;
 948 }
 949 val_t standard___kernel___Int_____neq(val_t p0, val_t p1){
 950   struct {struct stack_frame_t me;} fra;
 951   val_t REGB0;
 952   val_t tmp;
 953   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 954   fra.me.file = LOCATE_standard___kernel;
 955   fra.me.line = 228;
 956   fra.me.meth = LOCATE_standard___kernel___Int_____neq;
 957   fra.me.has_broke = 0;
 958   fra.me.REG_size = 1;
 959   fra.me.nitni_local_ref_head = NULL;
 960   fra.me.REG[0] = NIT_NULL;
 961   REGB0 = p0;
 962   fra.me.REG[0] = p1;
 963   /* ../lib/standard/kernel.nit:228 */
 964   REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
 965   stack_frame_head = fra.me.prev;
 966   return REGB0;
 967 }
 968 void standard___kernel___Int___output(val_t p0){
 969   struct {struct stack_frame_t me;} fra;
 970   val_t REGB0;
 971   val_t tmp;
 972   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 973   fra.me.file = LOCATE_standard___kernel;
 974   fra.me.line = 229;
 975   fra.me.meth = LOCATE_standard___kernel___Int___output;
 976   fra.me.has_broke = 0;
 977   fra.me.REG_size = 0;
 978   fra.me.nitni_local_ref_head = NULL;
 979   REGB0 = p0;
 980   /* ../lib/standard/kernel.nit:229 */
 981   printf("%ld\n", UNTAG_Int(REGB0));;
 982   stack_frame_head = fra.me.prev;
 983   return;
 984 }
 985 val_t standard___kernel___Int_____leq(val_t p0, val_t p1){
 986   struct {struct stack_frame_t me;} fra;
 987   val_t REGB0;
 988   val_t REGB1;
 989   val_t REGB2;
 990   val_t tmp;
 991   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
 992   fra.me.file = LOCATE_standard___kernel;
 993   fra.me.line = 231;
 994   fra.me.meth = LOCATE_standard___kernel___Int_____leq;
 995   fra.me.has_broke = 0;
 996   fra.me.REG_size = 0;
 997   fra.me.nitni_local_ref_head = NULL;
 998   REGB0 = p0;
 999   REGB1 = p1;
1000   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1001   if (UNTAG_Bool(REGB2)) {
1002   } else {
1003     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1004   }
1005   /* ../lib/standard/kernel.nit:231 */
1006   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
1007   stack_frame_head = fra.me.prev;
1008   return REGB1;
1009 }
1010 val_t standard___kernel___Int_____l(val_t p0, val_t p1){
1011   struct {struct stack_frame_t me;} fra;
1012   val_t REGB0;
1013   val_t REGB1;
1014   val_t REGB2;
1015   val_t tmp;
1016   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1017   fra.me.file = LOCATE_standard___kernel;
1018   fra.me.line = 232;
1019   fra.me.meth = LOCATE_standard___kernel___Int_____l;
1020   fra.me.has_broke = 0;
1021   fra.me.REG_size = 0;
1022   fra.me.nitni_local_ref_head = NULL;
1023   REGB0 = p0;
1024   REGB1 = p1;
1025   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1026   if (UNTAG_Bool(REGB2)) {
1027   } else {
1028     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1029   }
1030   /* ../lib/standard/kernel.nit:232 */
1031   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1032   stack_frame_head = fra.me.prev;
1033   return REGB1;
1034 }
1035 val_t standard___kernel___Int_____geq(val_t p0, val_t p1){
1036   struct {struct stack_frame_t me;} fra;
1037   val_t REGB0;
1038   val_t REGB1;
1039   val_t REGB2;
1040   val_t tmp;
1041   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1042   fra.me.file = LOCATE_standard___kernel;
1043   fra.me.line = 233;
1044   fra.me.meth = LOCATE_standard___kernel___Int_____geq;
1045   fra.me.has_broke = 0;
1046   fra.me.REG_size = 0;
1047   fra.me.nitni_local_ref_head = NULL;
1048   REGB0 = p0;
1049   REGB1 = p1;
1050   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1051   if (UNTAG_Bool(REGB2)) {
1052   } else {
1053     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1054   }
1055   /* ../lib/standard/kernel.nit:233 */
1056   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
1057   stack_frame_head = fra.me.prev;
1058   return REGB1;
1059 }
1060 val_t standard___kernel___Int_____g(val_t p0, val_t p1){
1061   struct {struct stack_frame_t me;} fra;
1062   val_t REGB0;
1063   val_t REGB1;
1064   val_t REGB2;
1065   val_t tmp;
1066   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1067   fra.me.file = LOCATE_standard___kernel;
1068   fra.me.line = 234;
1069   fra.me.meth = LOCATE_standard___kernel___Int_____g;
1070   fra.me.has_broke = 0;
1071   fra.me.REG_size = 0;
1072   fra.me.nitni_local_ref_head = NULL;
1073   REGB0 = p0;
1074   REGB1 = p1;
1075   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1076   if (UNTAG_Bool(REGB2)) {
1077   } else {
1078     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1079   }
1080   /* ../lib/standard/kernel.nit:234 */
1081   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
1082   stack_frame_head = fra.me.prev;
1083   return REGB1;
1084 }
1085 val_t standard___kernel___Int_____plus(val_t p0, val_t p1){
1086   struct {struct stack_frame_t me;} fra;
1087   val_t REGB0;
1088   val_t REGB1;
1089   val_t tmp;
1090   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1091   fra.me.file = LOCATE_standard___kernel;
1092   fra.me.line = 235;
1093   fra.me.meth = LOCATE_standard___kernel___Int_____plus;
1094   fra.me.has_broke = 0;
1095   fra.me.REG_size = 0;
1096   fra.me.nitni_local_ref_head = NULL;
1097   REGB0 = p0;
1098   REGB1 = p1;
1099   /* ../lib/standard/kernel.nit:235 */
1100   REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
1101   stack_frame_head = fra.me.prev;
1102   return REGB1;
1103 }
1104 val_t standard___kernel___Int___unary__minus(val_t p0){
1105   struct {struct stack_frame_t me;} fra;
1106   val_t REGB0;
1107   val_t tmp;
1108   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1109   fra.me.file = LOCATE_standard___kernel;
1110   fra.me.line = 236;
1111   fra.me.meth = LOCATE_standard___kernel___Int___unary__minus;
1112   fra.me.has_broke = 0;
1113   fra.me.REG_size = 0;
1114   fra.me.nitni_local_ref_head = NULL;
1115   REGB0 = p0;
1116   /* ../lib/standard/kernel.nit:236 */
1117   REGB0 = TAG_Int(-UNTAG_Int(REGB0));
1118   stack_frame_head = fra.me.prev;
1119   return REGB0;
1120 }
1121 val_t standard___kernel___Int_____minus(val_t p0, val_t p1){
1122   struct {struct stack_frame_t me;} fra;
1123   val_t REGB0;
1124   val_t REGB1;
1125   val_t tmp;
1126   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1127   fra.me.file = LOCATE_standard___kernel;
1128   fra.me.line = 237;
1129   fra.me.meth = LOCATE_standard___kernel___Int_____minus;
1130   fra.me.has_broke = 0;
1131   fra.me.REG_size = 0;
1132   fra.me.nitni_local_ref_head = NULL;
1133   REGB0 = p0;
1134   REGB1 = p1;
1135   /* ../lib/standard/kernel.nit:237 */
1136   REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
1137   stack_frame_head = fra.me.prev;
1138   return REGB1;
1139 }
1140 val_t standard___kernel___Int_____star(val_t p0, val_t p1){
1141   struct {struct stack_frame_t me;} fra;
1142   val_t REGB0;
1143   val_t REGB1;
1144   val_t tmp;
1145   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1146   fra.me.file = LOCATE_standard___kernel;
1147   fra.me.line = 238;
1148   fra.me.meth = LOCATE_standard___kernel___Int_____star;
1149   fra.me.has_broke = 0;
1150   fra.me.REG_size = 0;
1151   fra.me.nitni_local_ref_head = NULL;
1152   REGB0 = p0;
1153   REGB1 = p1;
1154   /* ../lib/standard/kernel.nit:238 */
1155   REGB1 = TAG_Int(UNTAG_Int(REGB0)*UNTAG_Int(REGB1));
1156   stack_frame_head = fra.me.prev;
1157   return REGB1;
1158 }
1159 val_t standard___kernel___Int_____slash(val_t p0, val_t p1){
1160   struct {struct stack_frame_t me;} fra;
1161   val_t REGB0;
1162   val_t REGB1;
1163   val_t tmp;
1164   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1165   fra.me.file = LOCATE_standard___kernel;
1166   fra.me.line = 239;
1167   fra.me.meth = LOCATE_standard___kernel___Int_____slash;
1168   fra.me.has_broke = 0;
1169   fra.me.REG_size = 0;
1170   fra.me.nitni_local_ref_head = NULL;
1171   REGB0 = p0;
1172   REGB1 = p1;
1173   /* ../lib/standard/kernel.nit:239 */
1174   REGB1 = TAG_Int(UNTAG_Int(REGB0)/UNTAG_Int(REGB1));
1175   stack_frame_head = fra.me.prev;
1176   return REGB1;
1177 }
1178 val_t standard___kernel___Int_____percent(val_t p0, val_t p1){
1179   struct {struct stack_frame_t me;} fra;
1180   val_t REGB0;
1181   val_t REGB1;
1182   val_t tmp;
1183   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1184   fra.me.file = LOCATE_standard___kernel;
1185   fra.me.line = 240;
1186   fra.me.meth = LOCATE_standard___kernel___Int_____percent;
1187   fra.me.has_broke = 0;
1188   fra.me.REG_size = 0;
1189   fra.me.nitni_local_ref_head = NULL;
1190   REGB0 = p0;
1191   REGB1 = p1;
1192   /* ../lib/standard/kernel.nit:240 */
1193   REGB1 = TAG_Int(UNTAG_Int(REGB0)%UNTAG_Int(REGB1));
1194   stack_frame_head = fra.me.prev;
1195   return REGB1;
1196 }
1197 val_t standard___kernel___Int___lshift(val_t p0, val_t p1){
1198   struct {struct stack_frame_t me;} fra;
1199   val_t REGB0;
1200   val_t REGB1;
1201   val_t tmp;
1202   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1203   fra.me.file = LOCATE_standard___kernel;
1204   fra.me.line = 241;
1205   fra.me.meth = LOCATE_standard___kernel___Int___lshift;
1206   fra.me.has_broke = 0;
1207   fra.me.REG_size = 0;
1208   fra.me.nitni_local_ref_head = NULL;
1209   REGB0 = p0;
1210   REGB1 = p1;
1211   /* ../lib/standard/kernel.nit:241 */
1212   REGB1 = TAG_Int(UNTAG_Int(REGB0)<<UNTAG_Int(REGB1));
1213   stack_frame_head = fra.me.prev;
1214   return REGB1;
1215 }
1216 val_t standard___kernel___Int___rshift(val_t p0, val_t p1){
1217   struct {struct stack_frame_t me;} fra;
1218   val_t REGB0;
1219   val_t REGB1;
1220   val_t tmp;
1221   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1222   fra.me.file = LOCATE_standard___kernel;
1223   fra.me.line = 242;
1224   fra.me.meth = LOCATE_standard___kernel___Int___rshift;
1225   fra.me.has_broke = 0;
1226   fra.me.REG_size = 0;
1227   fra.me.nitni_local_ref_head = NULL;
1228   REGB0 = p0;
1229   REGB1 = p1;
1230   /* ../lib/standard/kernel.nit:242 */
1231   REGB1 = TAG_Int(UNTAG_Int(REGB0)>>UNTAG_Int(REGB1));
1232   stack_frame_head = fra.me.prev;
1233   return REGB1;
1234 }
1235 val_t standard___kernel___Int___to_f(val_t p0){
1236   struct {struct stack_frame_t me;} fra;
1237   val_t REGB0;
1238   val_t tmp;
1239   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1240   fra.me.file = LOCATE_standard___kernel;
1241   fra.me.line = 244;
1242   fra.me.meth = LOCATE_standard___kernel___Int___to_f;
1243   fra.me.has_broke = 0;
1244   fra.me.REG_size = 1;
1245   fra.me.nitni_local_ref_head = NULL;
1246   fra.me.REG[0] = NIT_NULL;
1247   REGB0 = p0;
1248   /* ../lib/standard/kernel.nit:244 */
1249   fra.me.REG[0] = BOX_Float((float)UNTAG_Int(REGB0));
1250   stack_frame_head = fra.me.prev;
1251   return fra.me.REG[0];
1252 }
1253 val_t standard___kernel___Int___succ(val_t p0){
1254   struct {struct stack_frame_t me;} fra;
1255   val_t REGB0;
1256   val_t tmp;
1257   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1258   fra.me.file = LOCATE_standard___kernel;
1259   fra.me.line = 247;
1260   fra.me.meth = LOCATE_standard___kernel___Int___succ;
1261   fra.me.has_broke = 0;
1262   fra.me.REG_size = 0;
1263   fra.me.nitni_local_ref_head = NULL;
1264   REGB0 = p0;
1265   /* ../lib/standard/kernel.nit:247 */
1266   REGB0 = TAG_Int(UNTAG_Int(REGB0)+1);
1267   stack_frame_head = fra.me.prev;
1268   return REGB0;
1269 }
1270 val_t standard___kernel___Int___prec(val_t p0){
1271   struct {struct stack_frame_t me;} fra;
1272   val_t REGB0;
1273   val_t tmp;
1274   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1275   fra.me.file = LOCATE_standard___kernel;
1276   fra.me.line = 248;
1277   fra.me.meth = LOCATE_standard___kernel___Int___prec;
1278   fra.me.has_broke = 0;
1279   fra.me.REG_size = 0;
1280   fra.me.nitni_local_ref_head = NULL;
1281   REGB0 = p0;
1282   /* ../lib/standard/kernel.nit:248 */
1283   REGB0 = TAG_Int(UNTAG_Int(REGB0)-1);
1284   stack_frame_head = fra.me.prev;
1285   return REGB0;
1286 }
1287 val_t standard___kernel___Int___distance(val_t p0, val_t p1){
1288   struct {struct stack_frame_t me;} fra;
1289   val_t REGB0;
1290   val_t REGB1;
1291   val_t REGB2;
1292   val_t tmp;
1293   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1294   fra.me.file = LOCATE_standard___kernel;
1295   fra.me.line = 249;
1296   fra.me.meth = LOCATE_standard___kernel___Int___distance;
1297   fra.me.has_broke = 0;
1298   fra.me.REG_size = 0;
1299   fra.me.nitni_local_ref_head = NULL;
1300   REGB0 = p0;
1301   REGB1 = p1;
1302   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1303   if (UNTAG_Bool(REGB2)) {
1304   } else {
1305     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1306   }
1307   /* ../lib/standard/kernel.nit:237 */
1308   REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
1309   /* ../lib/standard/kernel.nit:252 */
1310   REGB0 = TAG_Int(0);
1311   REGB2 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
1312   if (UNTAG_Bool(REGB2)) {
1313   } else {
1314     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1315   }
1316   /* ../lib/standard/kernel.nit:233 */
1317   REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
1318   /* ../lib/standard/kernel.nit:252 */
1319   if (UNTAG_Bool(REGB0)) {
1320     /* ../lib/standard/kernel.nit:253 */
1321     REGB0 = REGB1;
1322     goto label1;
1323   } else {
1324     /* ../lib/standard/kernel.nit:236 */
1325     REGB1 = TAG_Int(-UNTAG_Int(REGB1));
1326     /* ../lib/standard/kernel.nit:255 */
1327     REGB0 = REGB1;
1328     goto label1;
1329   }
1330   label1: while(0);
1331   stack_frame_head = fra.me.prev;
1332   return REGB0;
1333 }
1334 val_t standard___kernel___Int_____leqg(val_t p0, val_t p1){
1335   struct {struct stack_frame_t me;} fra;
1336   val_t REGB0;
1337   val_t REGB1;
1338   val_t REGB2;
1339   val_t REGB3;
1340   val_t tmp;
1341   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1342   fra.me.file = LOCATE_standard___kernel;
1343   fra.me.line = 259;
1344   fra.me.meth = LOCATE_standard___kernel___Int_____leqg;
1345   fra.me.has_broke = 0;
1346   fra.me.REG_size = 0;
1347   fra.me.nitni_local_ref_head = NULL;
1348   REGB0 = p0;
1349   REGB1 = p1;
1350   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1351   if (UNTAG_Bool(REGB2)) {
1352   } else {
1353     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1354   }
1355   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1356   if (UNTAG_Bool(REGB2)) {
1357   } else {
1358     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1359   }
1360   /* ../lib/standard/kernel.nit:232 */
1361   REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1362   /* ../lib/standard/kernel.nit:261 */
1363   if (UNTAG_Bool(REGB2)) {
1364     /* ../lib/standard/kernel.nit:262 */
1365     REGB2 = TAG_Int(1);
1366     /* ../lib/standard/kernel.nit:236 */
1367     REGB2 = TAG_Int(-UNTAG_Int(REGB2));
1368     /* ../lib/standard/kernel.nit:262 */
1369     goto label1;
1370   } else {
1371     REGB3 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
1372     if (UNTAG_Bool(REGB3)) {
1373     } else {
1374       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1375     }
1376     /* ../lib/standard/kernel.nit:232 */
1377     REGB0 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
1378     /* ../lib/standard/kernel.nit:263 */
1379     if (UNTAG_Bool(REGB0)) {
1380       /* ../lib/standard/kernel.nit:264 */
1381       REGB0 = TAG_Int(1);
1382       REGB2 = REGB0;
1383       goto label1;
1384     } else {
1385       /* ../lib/standard/kernel.nit:266 */
1386       REGB0 = TAG_Int(0);
1387       REGB2 = REGB0;
1388       goto label1;
1389     }
1390   }
1391   label1: while(0);
1392   stack_frame_head = fra.me.prev;
1393   return REGB2;
1394 }
1395 val_t standard___kernel___Int___is_between(val_t p0, val_t p1, val_t p2){
1396   struct {struct stack_frame_t me;} fra;
1397   val_t REGB0;
1398   val_t REGB1;
1399   val_t REGB2;
1400   val_t REGB3;
1401   val_t tmp;
1402   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1403   fra.me.file = LOCATE_standard___kernel;
1404   fra.me.line = 270;
1405   fra.me.meth = LOCATE_standard___kernel___Int___is_between;
1406   fra.me.has_broke = 0;
1407   fra.me.REG_size = 0;
1408   fra.me.nitni_local_ref_head = NULL;
1409   REGB0 = p0;
1410   REGB1 = p1;
1411   REGB2 = p2;
1412   REGB3 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1413   if (UNTAG_Bool(REGB3)) {
1414   } else {
1415     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1416   }
1417   REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1418   if (UNTAG_Bool(REGB3)) {
1419   } else {
1420     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1421   }
1422   REGB3 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1423   if (UNTAG_Bool(REGB3)) {
1424   } else {
1425     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1426   }
1427   /* ../lib/standard/kernel.nit:232 */
1428   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1429   /* ../lib/standard/kernel.nit:272 */
1430   if (UNTAG_Bool(REGB1)) {
1431     REGB1 = TAG_Bool(true);
1432   } else {
1433     REGB3 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2), VTID_standard___kernel___Comparable___OTHER(REGB2))) /*cast OTHER*/;
1434     if (UNTAG_Bool(REGB3)) {
1435     } else {
1436       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1437     }
1438     /* ../lib/standard/kernel.nit:232 */
1439     REGB0 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB0));
1440     /* ../lib/standard/kernel.nit:272 */
1441     REGB1 = REGB0;
1442   }
1443   if (UNTAG_Bool(REGB1)) {
1444     /* ../lib/standard/kernel.nit:273 */
1445     REGB1 = TAG_Bool(false);
1446     goto label1;
1447   } else {
1448     /* ../lib/standard/kernel.nit:275 */
1449     REGB0 = TAG_Bool(true);
1450     REGB1 = REGB0;
1451     goto label1;
1452   }
1453   label1: while(0);
1454   stack_frame_head = fra.me.prev;
1455   return REGB1;
1456 }
1457 val_t standard___kernel___Int___max(val_t p0, val_t p1){
1458   struct {struct stack_frame_t me;} fra;
1459   val_t REGB0;
1460   val_t REGB1;
1461   val_t REGB2;
1462   val_t tmp;
1463   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1464   fra.me.file = LOCATE_standard___kernel;
1465   fra.me.line = 279;
1466   fra.me.meth = LOCATE_standard___kernel___Int___max;
1467   fra.me.has_broke = 0;
1468   fra.me.REG_size = 0;
1469   fra.me.nitni_local_ref_head = NULL;
1470   REGB0 = p0;
1471   REGB1 = p1;
1472   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1473   if (UNTAG_Bool(REGB2)) {
1474   } else {
1475     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1476   }
1477   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1478   if (UNTAG_Bool(REGB2)) {
1479   } else {
1480     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1481   }
1482   /* ../lib/standard/kernel.nit:232 */
1483   REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1484   /* ../lib/standard/kernel.nit:281 */
1485   if (UNTAG_Bool(REGB2)) {
1486     /* ../lib/standard/kernel.nit:282 */
1487     goto label1;
1488   } else {
1489     /* ../lib/standard/kernel.nit:284 */
1490     REGB1 = REGB0;
1491     goto label1;
1492   }
1493   label1: while(0);
1494   stack_frame_head = fra.me.prev;
1495   return REGB1;
1496 }
1497 val_t standard___kernel___Int___min(val_t p0, val_t p1){
1498   struct {struct stack_frame_t me;} fra;
1499   val_t REGB0;
1500   val_t REGB1;
1501   val_t REGB2;
1502   val_t tmp;
1503   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1504   fra.me.file = LOCATE_standard___kernel;
1505   fra.me.line = 288;
1506   fra.me.meth = LOCATE_standard___kernel___Int___min;
1507   fra.me.has_broke = 0;
1508   fra.me.REG_size = 0;
1509   fra.me.nitni_local_ref_head = NULL;
1510   REGB0 = p0;
1511   REGB1 = p1;
1512   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1513   if (UNTAG_Bool(REGB2)) {
1514   } else {
1515     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1516   }
1517   REGB2 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
1518   if (UNTAG_Bool(REGB2)) {
1519   } else {
1520     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1521   }
1522   /* ../lib/standard/kernel.nit:232 */
1523   REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
1524   /* ../lib/standard/kernel.nit:290 */
1525   if (UNTAG_Bool(REGB2)) {
1526     /* ../lib/standard/kernel.nit:291 */
1527     goto label1;
1528   } else {
1529     /* ../lib/standard/kernel.nit:293 */
1530     REGB1 = REGB0;
1531     goto label1;
1532   }
1533   label1: while(0);
1534   stack_frame_head = fra.me.prev;
1535   return REGB1;
1536 }
1537 val_t standard___kernel___Int___ascii(val_t p0){
1538   struct {struct stack_frame_t me;} fra;
1539   val_t REGB0;
1540   val_t tmp;
1541   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1542   fra.me.file = LOCATE_standard___kernel;
1543   fra.me.line = 297;
1544   fra.me.meth = LOCATE_standard___kernel___Int___ascii;
1545   fra.me.has_broke = 0;
1546   fra.me.REG_size = 0;
1547   fra.me.nitni_local_ref_head = NULL;
1548   REGB0 = p0;
1549   /* ../lib/standard/kernel.nit:297 */
1550   REGB0 = TAG_Char(UNTAG_Int(REGB0));
1551   stack_frame_head = fra.me.prev;
1552   return REGB0;
1553 }
1554 val_t standard___kernel___Int___digit_count(val_t p0, val_t p1){
1555   struct {struct stack_frame_t me;} fra;
1556   val_t REGB0;
1557   val_t REGB1;
1558   val_t REGB2;
1559   val_t REGB3;
1560   val_t REGB4;
1561   val_t REGB5;
1562   val_t tmp;
1563   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1564   fra.me.file = LOCATE_standard___kernel;
1565   fra.me.line = 300;
1566   fra.me.meth = LOCATE_standard___kernel___Int___digit_count;
1567   fra.me.has_broke = 0;
1568   fra.me.REG_size = 0;
1569   fra.me.nitni_local_ref_head = NULL;
1570   REGB0 = p0;
1571   REGB1 = p1;
1572   /* ../lib/standard/kernel.nit:306 */
1573   REGB2 = TAG_Int(0);
1574   REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1575   if (UNTAG_Bool(REGB3)) {
1576   } else {
1577     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1578   }
1579   /* ../lib/standard/kernel.nit:232 */
1580   REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
1581   /* ../lib/standard/kernel.nit:306 */
1582   if (UNTAG_Bool(REGB2)) {
1583     /* ../lib/standard/kernel.nit:307 */
1584     REGB2 = TAG_Int(1);
1585     /* ../lib/standard/kernel.nit:236 */
1586     REGB3 = TAG_Int(-UNTAG_Int(REGB0));
1587   } else {
1588     /* ../lib/standard/kernel.nit:309 */
1589     REGB4 = TAG_Int(0);
1590     REGB5 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB4));
1591     if (UNTAG_Bool(REGB5)) {
1592     } else {
1593       /* ../lib/standard/kernel.nit:227 */
1594       REGB4 = TAG_Bool((REGB0)==(REGB4));
1595       /* ../lib/standard/kernel.nit:309 */
1596       REGB5 = REGB4;
1597     }
1598     if (UNTAG_Bool(REGB5)) {
1599       /* ../lib/standard/kernel.nit:310 */
1600       REGB5 = TAG_Int(1);
1601       goto label1;
1602     } else {
1603       /* ../lib/standard/kernel.nit:312 */
1604       REGB4 = TAG_Int(0);
1605       REGB2 = REGB4;
1606       /* ../lib/standard/kernel.nit:313 */
1607       REGB3 = REGB0;
1608     }
1609   }
1610   /* ../lib/standard/kernel.nit:316 */
1611   while(1) {
1612     REGB0 = TAG_Int(0);
1613     REGB4 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3), VTID_standard___kernel___Comparable___OTHER(REGB3))) /*cast OTHER*/;
1614     if (UNTAG_Bool(REGB4)) {
1615     } else {
1616       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1617     }
1618     /* ../lib/standard/kernel.nit:234 */
1619     REGB0 = TAG_Bool(UNTAG_Int(REGB3)>UNTAG_Int(REGB0));
1620     /* ../lib/standard/kernel.nit:316 */
1621     if (UNTAG_Bool(REGB0)) {
1622       /* ../lib/standard/kernel.nit:317 */
1623       REGB0 = TAG_Int(1);
1624       /* ../lib/standard/kernel.nit:235 */
1625       REGB0 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB0));
1626       /* ../lib/standard/kernel.nit:317 */
1627       REGB2 = REGB0;
1628       /* ../lib/standard/kernel.nit:239 */
1629       REGB0 = TAG_Int(UNTAG_Int(REGB3)/UNTAG_Int(REGB1));
1630       /* ../lib/standard/kernel.nit:318 */
1631       REGB3 = REGB0;
1632     } else {
1633       /* ../lib/standard/kernel.nit:316 */
1634       goto label2;
1635     }
1636   }
1637   label2: while(0);
1638   /* ../lib/standard/kernel.nit:320 */
1639   REGB5 = REGB2;
1640   goto label1;
1641   label1: while(0);
1642   stack_frame_head = fra.me.prev;
1643   return REGB5;
1644 }
1645 val_t standard___kernel___Int___to_c(val_t p0){
1646   struct {struct stack_frame_t me;} fra;
1647   val_t REGB0;
1648   val_t REGB1;
1649   val_t REGB2;
1650   val_t REGB3;
1651   val_t tmp;
1652   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1653   fra.me.file = LOCATE_standard___kernel;
1654   fra.me.line = 323;
1655   fra.me.meth = LOCATE_standard___kernel___Int___to_c;
1656   fra.me.has_broke = 0;
1657   fra.me.REG_size = 0;
1658   fra.me.nitni_local_ref_head = NULL;
1659   REGB0 = p0;
1660   /* ../lib/standard/kernel.nit:328 */
1661   REGB1 = TAG_Int(0);
1662   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1663   if (UNTAG_Bool(REGB2)) {
1664   } else {
1665     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1666   }
1667   /* ../lib/standard/kernel.nit:233 */
1668   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
1669   /* ../lib/standard/kernel.nit:328 */
1670   if (UNTAG_Bool(REGB1)) {
1671     REGB1 = TAG_Int(36);
1672     REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1673     if (UNTAG_Bool(REGB2)) {
1674     } else {
1675       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1676     }
1677     /* ../lib/standard/kernel.nit:231 */
1678     REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
1679   } else {
1680     /* ../lib/standard/kernel.nit:328 */
1681     REGB2 = TAG_Bool(false);
1682     REGB1 = REGB2;
1683   }
1684   if (UNTAG_Bool(REGB1)) {
1685   } else {
1686     nit_abort("Assert failed", NULL, LOCATE_standard___kernel, 328);
1687   }
1688   /* ../lib/standard/kernel.nit:329 */
1689   REGB1 = TAG_Int(10);
1690   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1691   if (UNTAG_Bool(REGB2)) {
1692   } else {
1693     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1694   }
1695   /* ../lib/standard/kernel.nit:232 */
1696   REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1697   /* ../lib/standard/kernel.nit:329 */
1698   if (UNTAG_Bool(REGB1)) {
1699     /* ../lib/standard/kernel.nit:330 */
1700     REGB1 = TAG_Char('0');
1701     /* ../lib/standard/kernel.nit:413 */
1702     REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
1703     /* ../lib/standard/kernel.nit:235 */
1704     REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
1705     /* ../lib/standard/kernel.nit:297 */
1706     REGB1 = TAG_Char(UNTAG_Int(REGB1));
1707     /* ../lib/standard/kernel.nit:330 */
1708     goto label1;
1709   } else {
1710     /* ../lib/standard/kernel.nit:332 */
1711     REGB2 = TAG_Char('a');
1712     /* ../lib/standard/kernel.nit:413 */
1713     REGB2 = TAG_Int((unsigned char)UNTAG_Char(REGB2));
1714     /* ../lib/standard/kernel.nit:332 */
1715     REGB3 = TAG_Int(10);
1716     /* ../lib/standard/kernel.nit:237 */
1717     REGB3 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB3));
1718     /* ../lib/standard/kernel.nit:235 */
1719     REGB3 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB3));
1720     /* ../lib/standard/kernel.nit:297 */
1721     REGB3 = TAG_Char(UNTAG_Int(REGB3));
1722     /* ../lib/standard/kernel.nit:332 */
1723     REGB1 = REGB3;
1724     goto label1;
1725   }
1726   label1: while(0);
1727   stack_frame_head = fra.me.prev;
1728   return REGB1;
1729 }
1730 void standard___kernel___Int___enumerate_to(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0){
1731   struct {struct stack_frame_t me;} fra;
1732   val_t REGB0;
1733   val_t REGB1;
1734   val_t REGB2;
1735   fun_t CREG[1];
1736   val_t tmp;
1737   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1738   fra.me.file = LOCATE_standard___kernel;
1739   fra.me.line = 336;
1740   fra.me.meth = LOCATE_standard___kernel___Int___enumerate_to;
1741   fra.me.has_broke = 0;
1742   fra.me.REG_size = 0;
1743   fra.me.nitni_local_ref_head = NULL;
1744   fra.me.closure_ctx = closctx_param;
1745   fra.me.closure_funs = CREG;
1746   REGB0 = p0;
1747   REGB1 = p1;
1748   CREG[0] = clos_fun0;
1749   /* ../lib/standard/kernel.nit:341 */
1750   while(1) {
1751     REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1752     if (UNTAG_Bool(REGB2)) {
1753     } else {
1754       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1755     }
1756     /* ../lib/standard/kernel.nit:231 */
1757     REGB2 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
1758     /* ../lib/standard/kernel.nit:341 */
1759     if (UNTAG_Bool(REGB2)) {
1760       /* ../lib/standard/kernel.nit:342 */
1761       ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
1762       if (closctx_param->has_broke) {
1763         goto label1;
1764       }
1765       /* ../lib/standard/kernel.nit:343 */
1766       REGB2 = TAG_Int(1);
1767       /* ../lib/standard/kernel.nit:235 */
1768       REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
1769       /* ../lib/standard/kernel.nit:343 */
1770       REGB0 = REGB2;
1771     } else {
1772       /* ../lib/standard/kernel.nit:341 */
1773       goto label2;
1774     }
1775   }
1776   label2: while(0);
1777   label1: while(0);
1778   stack_frame_head = fra.me.prev;
1779   return;
1780 }
1781 void standard___kernel___Int___enumerate_before(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0){
1782   struct {struct stack_frame_t me;} fra;
1783   val_t REGB0;
1784   val_t REGB1;
1785   val_t REGB2;
1786   fun_t CREG[1];
1787   val_t tmp;
1788   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1789   fra.me.file = LOCATE_standard___kernel;
1790   fra.me.line = 347;
1791   fra.me.meth = LOCATE_standard___kernel___Int___enumerate_before;
1792   fra.me.has_broke = 0;
1793   fra.me.REG_size = 0;
1794   fra.me.nitni_local_ref_head = NULL;
1795   fra.me.closure_ctx = closctx_param;
1796   fra.me.closure_funs = CREG;
1797   REGB0 = p0;
1798   REGB1 = p1;
1799   CREG[0] = clos_fun0;
1800   /* ../lib/standard/kernel.nit:352 */
1801   while(1) {
1802     REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1803     if (UNTAG_Bool(REGB2)) {
1804     } else {
1805       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1806     }
1807     /* ../lib/standard/kernel.nit:232 */
1808     REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
1809     /* ../lib/standard/kernel.nit:352 */
1810     if (UNTAG_Bool(REGB2)) {
1811       /* ../lib/standard/kernel.nit:353 */
1812       ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
1813       if (closctx_param->has_broke) {
1814         goto label1;
1815       }
1816       /* ../lib/standard/kernel.nit:354 */
1817       REGB2 = TAG_Int(1);
1818       /* ../lib/standard/kernel.nit:235 */
1819       REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
1820       /* ../lib/standard/kernel.nit:354 */
1821       REGB0 = REGB2;
1822     } else {
1823       /* ../lib/standard/kernel.nit:352 */
1824       goto label2;
1825     }
1826   }
1827   label2: while(0);
1828   label1: while(0);
1829   stack_frame_head = fra.me.prev;
1830   return;
1831 }
1832 val_t standard___kernel___Int___abs(val_t p0){
1833   struct {struct stack_frame_t me;} fra;
1834   val_t REGB0;
1835   val_t REGB1;
1836   val_t REGB2;
1837   val_t tmp;
1838   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1839   fra.me.file = LOCATE_standard___kernel;
1840   fra.me.line = 358;
1841   fra.me.meth = LOCATE_standard___kernel___Int___abs;
1842   fra.me.has_broke = 0;
1843   fra.me.REG_size = 0;
1844   fra.me.nitni_local_ref_head = NULL;
1845   REGB0 = p0;
1846   /* ../lib/standard/kernel.nit:361 */
1847   REGB1 = TAG_Int(0);
1848   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1849   if (UNTAG_Bool(REGB2)) {
1850   } else {
1851     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1852   }
1853   /* ../lib/standard/kernel.nit:233 */
1854   REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
1855   /* ../lib/standard/kernel.nit:361 */
1856   if (UNTAG_Bool(REGB1)) {
1857     /* ../lib/standard/kernel.nit:363 */
1858     REGB1 = REGB0;
1859     goto label1;
1860   } else {
1861     /* ../lib/standard/kernel.nit:365 */
1862     REGB2 = TAG_Int(1);
1863     /* ../lib/standard/kernel.nit:236 */
1864     REGB2 = TAG_Int(-UNTAG_Int(REGB2));
1865     /* ../lib/standard/kernel.nit:238 */
1866     REGB0 = TAG_Int(UNTAG_Int(REGB2)*UNTAG_Int(REGB0));
1867     /* ../lib/standard/kernel.nit:365 */
1868     REGB1 = REGB0;
1869     goto label1;
1870   }
1871   label1: while(0);
1872   stack_frame_head = fra.me.prev;
1873   return REGB1;
1874 }
1875 val_t standard___kernel___Char___object_id(val_t p0){
1876   struct {struct stack_frame_t me;} fra;
1877   val_t REGB0;
1878   val_t tmp;
1879   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1880   fra.me.file = LOCATE_standard___kernel;
1881   fra.me.line = 377;
1882   fra.me.meth = LOCATE_standard___kernel___Char___object_id;
1883   fra.me.has_broke = 0;
1884   fra.me.REG_size = 0;
1885   fra.me.nitni_local_ref_head = NULL;
1886   REGB0 = p0;
1887   /* ../lib/standard/kernel.nit:377 */
1888   REGB0 = TAG_Int(UNTAG_Char(REGB0));
1889   stack_frame_head = fra.me.prev;
1890   return REGB0;
1891 }
1892 val_t standard___kernel___Char_____eqeq(val_t p0, val_t p1){
1893   struct {struct stack_frame_t me;} fra;
1894   val_t REGB0;
1895   val_t tmp;
1896   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1897   fra.me.file = LOCATE_standard___kernel;
1898   fra.me.line = 378;
1899   fra.me.meth = LOCATE_standard___kernel___Char_____eqeq;
1900   fra.me.has_broke = 0;
1901   fra.me.REG_size = 1;
1902   fra.me.nitni_local_ref_head = NULL;
1903   fra.me.REG[0] = NIT_NULL;
1904   REGB0 = p0;
1905   fra.me.REG[0] = p1;
1906   /* ../lib/standard/kernel.nit:378 */
1907   REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
1908   stack_frame_head = fra.me.prev;
1909   return REGB0;
1910 }
1911 val_t standard___kernel___Char_____neq(val_t p0, val_t p1){
1912   struct {struct stack_frame_t me;} fra;
1913   val_t REGB0;
1914   val_t tmp;
1915   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1916   fra.me.file = LOCATE_standard___kernel;
1917   fra.me.line = 379;
1918   fra.me.meth = LOCATE_standard___kernel___Char_____neq;
1919   fra.me.has_broke = 0;
1920   fra.me.REG_size = 1;
1921   fra.me.nitni_local_ref_head = NULL;
1922   fra.me.REG[0] = NIT_NULL;
1923   REGB0 = p0;
1924   fra.me.REG[0] = p1;
1925   /* ../lib/standard/kernel.nit:379 */
1926   REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
1927   stack_frame_head = fra.me.prev;
1928   return REGB0;
1929 }
1930 void standard___kernel___Char___output(val_t p0){
1931   struct {struct stack_frame_t me;} fra;
1932   val_t REGB0;
1933   val_t tmp;
1934   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1935   fra.me.file = LOCATE_standard___kernel;
1936   fra.me.line = 380;
1937   fra.me.meth = LOCATE_standard___kernel___Char___output;
1938   fra.me.has_broke = 0;
1939   fra.me.REG_size = 0;
1940   fra.me.nitni_local_ref_head = NULL;
1941   REGB0 = p0;
1942   /* ../lib/standard/kernel.nit:380 */
1943   printf("%c", (unsigned char)UNTAG_Char(REGB0));;
1944   stack_frame_head = fra.me.prev;
1945   return;
1946 }
1947 val_t standard___kernel___Char_____leq(val_t p0, val_t p1){
1948   struct {struct stack_frame_t me;} fra;
1949   val_t REGB0;
1950   val_t REGB1;
1951   val_t REGB2;
1952   val_t tmp;
1953   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1954   fra.me.file = LOCATE_standard___kernel;
1955   fra.me.line = 382;
1956   fra.me.meth = LOCATE_standard___kernel___Char_____leq;
1957   fra.me.has_broke = 0;
1958   fra.me.REG_size = 0;
1959   fra.me.nitni_local_ref_head = NULL;
1960   REGB0 = p0;
1961   REGB1 = p1;
1962   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1963   if (UNTAG_Bool(REGB2)) {
1964   } else {
1965     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1966   }
1967   /* ../lib/standard/kernel.nit:382 */
1968   REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
1969   stack_frame_head = fra.me.prev;
1970   return REGB1;
1971 }
1972 val_t standard___kernel___Char_____l(val_t p0, val_t p1){
1973   struct {struct stack_frame_t me;} fra;
1974   val_t REGB0;
1975   val_t REGB1;
1976   val_t REGB2;
1977   val_t tmp;
1978   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
1979   fra.me.file = LOCATE_standard___kernel;
1980   fra.me.line = 383;
1981   fra.me.meth = LOCATE_standard___kernel___Char_____l;
1982   fra.me.has_broke = 0;
1983   fra.me.REG_size = 0;
1984   fra.me.nitni_local_ref_head = NULL;
1985   REGB0 = p0;
1986   REGB1 = p1;
1987   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
1988   if (UNTAG_Bool(REGB2)) {
1989   } else {
1990     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
1991   }
1992   /* ../lib/standard/kernel.nit:383 */
1993   REGB1 = TAG_Bool(UNTAG_Char(REGB0)<UNTAG_Char(REGB1));
1994   stack_frame_head = fra.me.prev;
1995   return REGB1;
1996 }
1997 val_t standard___kernel___Char_____geq(val_t p0, val_t p1){
1998   struct {struct stack_frame_t me;} fra;
1999   val_t REGB0;
2000   val_t REGB1;
2001   val_t REGB2;
2002   val_t tmp;
2003   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2004   fra.me.file = LOCATE_standard___kernel;
2005   fra.me.line = 384;
2006   fra.me.meth = LOCATE_standard___kernel___Char_____geq;
2007   fra.me.has_broke = 0;
2008   fra.me.REG_size = 0;
2009   fra.me.nitni_local_ref_head = NULL;
2010   REGB0 = p0;
2011   REGB1 = p1;
2012   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2013   if (UNTAG_Bool(REGB2)) {
2014   } else {
2015     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2016   }
2017   /* ../lib/standard/kernel.nit:384 */
2018   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
2019   stack_frame_head = fra.me.prev;
2020   return REGB1;
2021 }
2022 val_t standard___kernel___Char_____g(val_t p0, val_t p1){
2023   struct {struct stack_frame_t me;} fra;
2024   val_t REGB0;
2025   val_t REGB1;
2026   val_t REGB2;
2027   val_t tmp;
2028   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2029   fra.me.file = LOCATE_standard___kernel;
2030   fra.me.line = 385;
2031   fra.me.meth = LOCATE_standard___kernel___Char_____g;
2032   fra.me.has_broke = 0;
2033   fra.me.REG_size = 0;
2034   fra.me.nitni_local_ref_head = NULL;
2035   REGB0 = p0;
2036   REGB1 = p1;
2037   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2038   if (UNTAG_Bool(REGB2)) {
2039   } else {
2040     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2041   }
2042   /* ../lib/standard/kernel.nit:385 */
2043   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>UNTAG_Char(REGB1));
2044   stack_frame_head = fra.me.prev;
2045   return REGB1;
2046 }
2047 val_t standard___kernel___Char___succ(val_t p0){
2048   struct {struct stack_frame_t me;} fra;
2049   val_t REGB0;
2050   val_t tmp;
2051   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2052   fra.me.file = LOCATE_standard___kernel;
2053   fra.me.line = 387;
2054   fra.me.meth = LOCATE_standard___kernel___Char___succ;
2055   fra.me.has_broke = 0;
2056   fra.me.REG_size = 0;
2057   fra.me.nitni_local_ref_head = NULL;
2058   REGB0 = p0;
2059   /* ../lib/standard/kernel.nit:387 */
2060   REGB0 = TAG_Char(UNTAG_Char(REGB0)+1);
2061   stack_frame_head = fra.me.prev;
2062   return REGB0;
2063 }
2064 val_t standard___kernel___Char___prec(val_t p0){
2065   struct {struct stack_frame_t me;} fra;
2066   val_t REGB0;
2067   val_t tmp;
2068   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2069   fra.me.file = LOCATE_standard___kernel;
2070   fra.me.line = 388;
2071   fra.me.meth = LOCATE_standard___kernel___Char___prec;
2072   fra.me.has_broke = 0;
2073   fra.me.REG_size = 0;
2074   fra.me.nitni_local_ref_head = NULL;
2075   REGB0 = p0;
2076   /* ../lib/standard/kernel.nit:388 */
2077   REGB0 = TAG_Char(UNTAG_Char(REGB0)-1);
2078   stack_frame_head = fra.me.prev;
2079   return REGB0;
2080 }
2081 val_t standard___kernel___Char___distance(val_t p0, val_t p1){
2082   struct {struct stack_frame_t me;} fra;
2083   val_t REGB0;
2084   val_t REGB1;
2085   val_t REGB2;
2086   val_t tmp;
2087   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2088   fra.me.file = LOCATE_standard___kernel;
2089   fra.me.line = 390;
2090   fra.me.meth = LOCATE_standard___kernel___Char___distance;
2091   fra.me.has_broke = 0;
2092   fra.me.REG_size = 0;
2093   fra.me.nitni_local_ref_head = NULL;
2094   REGB0 = p0;
2095   REGB1 = p1;
2096   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2097   if (UNTAG_Bool(REGB2)) {
2098   } else {
2099     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2100   }
2101   /* ../lib/standard/kernel.nit:413 */
2102   REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
2103   REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
2104   /* ../lib/standard/kernel.nit:237 */
2105   REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
2106   /* ../lib/standard/kernel.nit:393 */
2107   REGB0 = TAG_Int(0);
2108   REGB2 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
2109   if (UNTAG_Bool(REGB2)) {
2110   } else {
2111     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2112   }
2113   /* ../lib/standard/kernel.nit:233 */
2114   REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
2115   /* ../lib/standard/kernel.nit:393 */
2116   if (UNTAG_Bool(REGB0)) {
2117     /* ../lib/standard/kernel.nit:394 */
2118     REGB0 = REGB1;
2119     goto label1;
2120   } else {
2121     /* ../lib/standard/kernel.nit:236 */
2122     REGB1 = TAG_Int(-UNTAG_Int(REGB1));
2123     /* ../lib/standard/kernel.nit:396 */
2124     REGB0 = REGB1;
2125     goto label1;
2126   }
2127   label1: while(0);
2128   stack_frame_head = fra.me.prev;
2129   return REGB0;
2130 }
2131 val_t standard___kernel___Char___to_i(val_t p0){
2132   struct {struct stack_frame_t me;} fra;
2133   val_t REGB0;
2134   val_t REGB1;
2135   val_t REGB2;
2136   val_t REGB3;
2137   val_t tmp;
2138   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2139   fra.me.file = LOCATE_standard___kernel;
2140   fra.me.line = 400;
2141   fra.me.meth = LOCATE_standard___kernel___Char___to_i;
2142   fra.me.has_broke = 0;
2143   fra.me.REG_size = 0;
2144   fra.me.nitni_local_ref_head = NULL;
2145   REGB0 = p0;
2146   /* ../lib/standard/kernel.nit:404 */
2147   REGB1 = TAG_Char('-');
2148   REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
2149   if (UNTAG_Bool(REGB2)) {
2150   } else {
2151     /* ../lib/standard/kernel.nit:378 */
2152     REGB1 = TAG_Bool((REGB0)==(REGB1));
2153     /* ../lib/standard/kernel.nit:404 */
2154     REGB2 = REGB1;
2155   }
2156   if (UNTAG_Bool(REGB2)) {
2157     /* ../lib/standard/kernel.nit:405 */
2158     REGB2 = TAG_Int(1);
2159     /* ../lib/standard/kernel.nit:236 */
2160     REGB2 = TAG_Int(-UNTAG_Int(REGB2));
2161     /* ../lib/standard/kernel.nit:405 */
2162     goto label1;
2163   } else {
2164     /* ../lib/standard/kernel.nit:406 */
2165     REGB1 = CALL_standard___kernel___Char___is_digit(REGB0)(REGB0);
2166     if (UNTAG_Bool(REGB1)) {
2167       /* ../lib/standard/kernel.nit:413 */
2168       REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
2169       /* ../lib/standard/kernel.nit:407 */
2170       REGB3 = TAG_Char('0');
2171       /* ../lib/standard/kernel.nit:413 */
2172       REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
2173       /* ../lib/standard/kernel.nit:237 */
2174       REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
2175       /* ../lib/standard/kernel.nit:407 */
2176       REGB2 = REGB3;
2177       goto label1;
2178     } else {
2179       /* ../lib/standard/kernel.nit:409 */
2180       REGB0 = CALL_standard___kernel___Char___to_lower(REGB0)(REGB0);
2181       /* ../lib/standard/kernel.nit:413 */
2182       REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
2183       /* ../lib/standard/kernel.nit:409 */
2184       REGB3 = TAG_Char('a');
2185       /* ../lib/standard/kernel.nit:413 */
2186       REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
2187       /* ../lib/standard/kernel.nit:409 */
2188       REGB1 = TAG_Int(10);
2189       /* ../lib/standard/kernel.nit:235 */
2190       REGB1 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB1));
2191       /* ../lib/standard/kernel.nit:237 */
2192       REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
2193       /* ../lib/standard/kernel.nit:409 */
2194       REGB2 = REGB1;
2195       goto label1;
2196     }
2197   }
2198   label1: while(0);
2199   stack_frame_head = fra.me.prev;
2200   return REGB2;
2201 }
2202 val_t standard___kernel___Char___ascii(val_t p0){
2203   struct {struct stack_frame_t me;} fra;
2204   val_t REGB0;
2205   val_t tmp;
2206   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2207   fra.me.file = LOCATE_standard___kernel;
2208   fra.me.line = 413;
2209   fra.me.meth = LOCATE_standard___kernel___Char___ascii;
2210   fra.me.has_broke = 0;
2211   fra.me.REG_size = 0;
2212   fra.me.nitni_local_ref_head = NULL;
2213   REGB0 = p0;
2214   /* ../lib/standard/kernel.nit:413 */
2215   REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
2216   stack_frame_head = fra.me.prev;
2217   return REGB0;
2218 }
2219 val_t standard___kernel___Char_____plus(val_t p0, val_t p1){
2220   struct {struct stack_frame_t me;} fra;
2221   val_t REGB0;
2222   val_t REGB1;
2223   val_t tmp;
2224   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2225   fra.me.file = LOCATE_standard___kernel;
2226   fra.me.line = 416;
2227   fra.me.meth = LOCATE_standard___kernel___Char_____plus;
2228   fra.me.has_broke = 0;
2229   fra.me.REG_size = 0;
2230   fra.me.nitni_local_ref_head = NULL;
2231   REGB0 = p0;
2232   REGB1 = p1;
2233   /* ../lib/standard/kernel.nit:416 */
2234   REGB1 = TAG_Char(UNTAG_Char(REGB0)+UNTAG_Char(REGB1));
2235   stack_frame_head = fra.me.prev;
2236   return REGB1;
2237 }
2238 val_t standard___kernel___Char_____minus(val_t p0, val_t p1){
2239   struct {struct stack_frame_t me;} fra;
2240   val_t REGB0;
2241   val_t REGB1;
2242   val_t tmp;
2243   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2244   fra.me.file = LOCATE_standard___kernel;
2245   fra.me.line = 417;
2246   fra.me.meth = LOCATE_standard___kernel___Char_____minus;
2247   fra.me.has_broke = 0;
2248   fra.me.REG_size = 0;
2249   fra.me.nitni_local_ref_head = NULL;
2250   REGB0 = p0;
2251   REGB1 = p1;
2252   /* ../lib/standard/kernel.nit:417 */
2253   REGB1 = TAG_Char(UNTAG_Char(REGB0)-UNTAG_Char(REGB1));
2254   stack_frame_head = fra.me.prev;
2255   return REGB1;
2256 }
2257 val_t standard___kernel___Char___to_lower(val_t p0){
2258   struct {struct stack_frame_t me;} fra;
2259   val_t REGB0;
2260   val_t REGB1;
2261   val_t REGB2;
2262   val_t REGB3;
2263   val_t tmp;
2264   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2265   fra.me.file = LOCATE_standard___kernel;
2266   fra.me.line = 419;
2267   fra.me.meth = LOCATE_standard___kernel___Char___to_lower;
2268   fra.me.has_broke = 0;
2269   fra.me.REG_size = 0;
2270   fra.me.nitni_local_ref_head = NULL;
2271   REGB0 = p0;
2272   /* ../lib/standard/kernel.nit:423 */
2273   REGB1 = CALL_standard___kernel___Char___is_upper(REGB0)(REGB0);
2274   if (UNTAG_Bool(REGB1)) {
2275     /* ../lib/standard/kernel.nit:413 */
2276     REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
2277     /* ../lib/standard/kernel.nit:424 */
2278     REGB2 = TAG_Char('a');
2279     REGB3 = TAG_Char('A');
2280     REGB3 = CALL_standard___kernel___Discrete___distance(REGB2)(REGB2, REGB3);
2281     /* ../lib/standard/kernel.nit:235 */
2282     REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
2283     /* ../lib/standard/kernel.nit:297 */
2284     REGB3 = TAG_Char(UNTAG_Int(REGB3));
2285     /* ../lib/standard/kernel.nit:424 */
2286     goto label1;
2287   } else {
2288     /* ../lib/standard/kernel.nit:426 */
2289     REGB3 = REGB0;
2290     goto label1;
2291   }
2292   label1: while(0);
2293   stack_frame_head = fra.me.prev;
2294   return REGB3;
2295 }
2296 val_t standard___kernel___Char___to_upper(val_t p0){
2297   struct {struct stack_frame_t me;} fra;
2298   val_t REGB0;
2299   val_t REGB1;
2300   val_t REGB2;
2301   val_t REGB3;
2302   val_t tmp;
2303   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2304   fra.me.file = LOCATE_standard___kernel;
2305   fra.me.line = 430;
2306   fra.me.meth = LOCATE_standard___kernel___Char___to_upper;
2307   fra.me.has_broke = 0;
2308   fra.me.REG_size = 0;
2309   fra.me.nitni_local_ref_head = NULL;
2310   REGB0 = p0;
2311   /* ../lib/standard/kernel.nit:434 */
2312   REGB1 = CALL_standard___kernel___Char___is_lower(REGB0)(REGB0);
2313   if (UNTAG_Bool(REGB1)) {
2314     /* ../lib/standard/kernel.nit:413 */
2315     REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
2316     /* ../lib/standard/kernel.nit:435 */
2317     REGB2 = TAG_Char('a');
2318     REGB3 = TAG_Char('A');
2319     REGB3 = CALL_standard___kernel___Discrete___distance(REGB2)(REGB2, REGB3);
2320     /* ../lib/standard/kernel.nit:237 */
2321     REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
2322     /* ../lib/standard/kernel.nit:297 */
2323     REGB3 = TAG_Char(UNTAG_Int(REGB3));
2324     /* ../lib/standard/kernel.nit:435 */
2325     goto label1;
2326   } else {
2327     /* ../lib/standard/kernel.nit:437 */
2328     REGB3 = REGB0;
2329     goto label1;
2330   }
2331   label1: while(0);
2332   stack_frame_head = fra.me.prev;
2333   return REGB3;
2334 }
2335 val_t standard___kernel___Char___is_digit(val_t p0){
2336   struct {struct stack_frame_t me;} fra;
2337   val_t REGB0;
2338   val_t REGB1;
2339   val_t REGB2;
2340   val_t tmp;
2341   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2342   fra.me.file = LOCATE_standard___kernel;
2343   fra.me.line = 441;
2344   fra.me.meth = LOCATE_standard___kernel___Char___is_digit;
2345   fra.me.has_broke = 0;
2346   fra.me.REG_size = 0;
2347   fra.me.nitni_local_ref_head = NULL;
2348   REGB0 = p0;
2349   /* ../lib/standard/kernel.nit:444 */
2350   REGB1 = TAG_Char('0');
2351   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2352   if (UNTAG_Bool(REGB2)) {
2353   } else {
2354     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2355   }
2356   /* ../lib/standard/kernel.nit:384 */
2357   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
2358   /* ../lib/standard/kernel.nit:444 */
2359   if (UNTAG_Bool(REGB1)) {
2360     REGB1 = TAG_Char('9');
2361     REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2362     if (UNTAG_Bool(REGB2)) {
2363     } else {
2364       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2365     }
2366     /* ../lib/standard/kernel.nit:382 */
2367     REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
2368   } else {
2369     /* ../lib/standard/kernel.nit:444 */
2370     REGB0 = TAG_Bool(false);
2371     REGB1 = REGB0;
2372   }
2373   goto label1;
2374   label1: while(0);
2375   stack_frame_head = fra.me.prev;
2376   return REGB1;
2377 }
2378 val_t standard___kernel___Char___is_lower(val_t p0){
2379   struct {struct stack_frame_t me;} fra;
2380   val_t REGB0;
2381   val_t REGB1;
2382   val_t REGB2;
2383   val_t tmp;
2384   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2385   fra.me.file = LOCATE_standard___kernel;
2386   fra.me.line = 447;
2387   fra.me.meth = LOCATE_standard___kernel___Char___is_lower;
2388   fra.me.has_broke = 0;
2389   fra.me.REG_size = 0;
2390   fra.me.nitni_local_ref_head = NULL;
2391   REGB0 = p0;
2392   /* ../lib/standard/kernel.nit:450 */
2393   REGB1 = TAG_Char('a');
2394   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2395   if (UNTAG_Bool(REGB2)) {
2396   } else {
2397     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2398   }
2399   /* ../lib/standard/kernel.nit:384 */
2400   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
2401   /* ../lib/standard/kernel.nit:450 */
2402   if (UNTAG_Bool(REGB1)) {
2403     REGB1 = TAG_Char('z');
2404     REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2405     if (UNTAG_Bool(REGB2)) {
2406     } else {
2407       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2408     }
2409     /* ../lib/standard/kernel.nit:382 */
2410     REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
2411   } else {
2412     /* ../lib/standard/kernel.nit:450 */
2413     REGB0 = TAG_Bool(false);
2414     REGB1 = REGB0;
2415   }
2416   goto label1;
2417   label1: while(0);
2418   stack_frame_head = fra.me.prev;
2419   return REGB1;
2420 }
2421 val_t standard___kernel___Char___is_upper(val_t p0){
2422   struct {struct stack_frame_t me;} fra;
2423   val_t REGB0;
2424   val_t REGB1;
2425   val_t REGB2;
2426   val_t tmp;
2427   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2428   fra.me.file = LOCATE_standard___kernel;
2429   fra.me.line = 453;
2430   fra.me.meth = LOCATE_standard___kernel___Char___is_upper;
2431   fra.me.has_broke = 0;
2432   fra.me.REG_size = 0;
2433   fra.me.nitni_local_ref_head = NULL;
2434   REGB0 = p0;
2435   /* ../lib/standard/kernel.nit:456 */
2436   REGB1 = TAG_Char('A');
2437   REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2438   if (UNTAG_Bool(REGB2)) {
2439   } else {
2440     nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2441   }
2442   /* ../lib/standard/kernel.nit:384 */
2443   REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
2444   /* ../lib/standard/kernel.nit:456 */
2445   if (UNTAG_Bool(REGB1)) {
2446     REGB1 = TAG_Char('Z');
2447     REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
2448     if (UNTAG_Bool(REGB2)) {
2449     } else {
2450       nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
2451     }
2452     /* ../lib/standard/kernel.nit:382 */
2453     REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
2454   } else {
2455     /* ../lib/standard/kernel.nit:456 */
2456     REGB0 = TAG_Bool(false);
2457     REGB1 = REGB0;
2458   }
2459   goto label1;
2460   label1: while(0);
2461   stack_frame_head = fra.me.prev;
2462   return REGB1;
2463 }
2464 val_t standard___kernel___Char___is_letter(val_t p0){
2465   struct {struct stack_frame_t me;} fra;
2466   val_t REGB0;
2467   val_t REGB1;
2468   val_t tmp;
2469   fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
2470   fra.me.file = LOCATE_standard___kernel;
2471   fra.me.line = 459;
2472   fra.me.meth = LOCATE_standard___kernel___Char___is_letter;
2473   fra.me.has_broke = 0;
2474   fra.me.REG_size = 0;
2475   fra.me.nitni_local_ref_head = NULL;
2476   REGB0 = p0;
2477   /* ../lib/standard/kernel.nit:462 */
2478   REGB1 = CALL_standard___kernel___Char___is_lower(REGB0)(REGB0);
2479   if (UNTAG_Bool(REGB1)) {
2480     REGB1 = TAG_Bool(true);
2481   } else {
2482     REGB0 = CALL_standard___kernel___Char___is_upper(REGB0)(REGB0);
2483     REGB1 = REGB0;
2484   }
2485   goto label1;
2486   label1: while(0);
2487   stack_frame_head = fra.me.prev;
2488   return REGB1;
2489 }