use nitg to bootstrap; drop bootstrap of nitc
[nit.git] / c_src / standard___kernel._sep.c
diff --git a/c_src/standard___kernel._sep.c b/c_src/standard___kernel._sep.c
deleted file mode 100644 (file)
index da01aa7..0000000
+++ /dev/null
@@ -1,2357 +0,0 @@
-/* This C file is generated by NIT to compile module standard___kernel. */
-#include "standard___kernel._sep.h"
-val_t standard___kernel___Object___object_id(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 26;
-  fra.me.meth = LOCATE_standard___kernel___Object___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:26 */
-  REGB0 = TAG_Int((bigint)((obj_t)fra.me.REG[0])[1].object_id);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Object___is_same_type(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 29;
-  fra.me.meth = LOCATE_standard___kernel___Object___is_same_type;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:29 */
-  REGB0 = TAG_Bool((VAL2VFT(fra.me.REG[0])==VAL2VFT(fra.me.REG[1])));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Object_____eqeq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 32;
-  fra.me.meth = LOCATE_standard___kernel___Object_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:35 */
-  REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[0],fra.me.REG[1]));
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Object_____neq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 37;
-  fra.me.meth = LOCATE_standard___kernel___Object_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:40 */
-  REGB0 = TAG_Bool(IS_EQUAL_ON(fra.me.REG[0],fra.me.REG[1]));
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    REGB1 = CALL_standard___kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
-    REGB0 = REGB1;
-  }
-  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-void standard___kernel___Object___output(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 42;
-  fra.me.meth = LOCATE_standard___kernel___Object___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:45 */
-  REGB0 = TAG_Char('<');
-  /* ./../lib/standard//kernel.nit:352 */
-  printf("%c", (unsigned char)UNTAG_Char(REGB0));;
-  /* ./../lib/standard//kernel.nit:46 */
-  REGB0 = CALL_standard___kernel___Object___object_id(fra.me.REG[0])(fra.me.REG[0]);
-  /* ./../lib/standard//kernel.nit:212 */
-  printf("%ld\n", UNTAG_Int(REGB0));;
-  /* ./../lib/standard//kernel.nit:47 */
-  REGB0 = TAG_Char('>');
-  /* ./../lib/standard//kernel.nit:352 */
-  printf("%c", (unsigned char)UNTAG_Char(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-void standard___kernel___Object___output_class_name(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 50;
-  fra.me.meth = LOCATE_standard___kernel___Object___output_class_name;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:50 */
-  printf("%s\n", VAL2VFT(fra.me.REG[0])[2].cname);;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-void standard___kernel___Object___exit(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 53;
-  fra.me.meth = LOCATE_standard___kernel___Object___exit;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  REGB0 = p1;
-  /* ./../lib/standard//kernel.nit:53 */
-  exit(UNTAG_Int(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-val_t standard___kernel___Object___sys(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 54;
-  fra.me.meth = LOCATE_standard___kernel___Object___sys;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:54 */
-  fra.me.REG[0] = (G_sys);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-void standard___kernel___Sys___main(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 59;
-  fra.me.meth = LOCATE_standard___kernel___Sys___main;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-void standard___kernel___Sys___init(val_t p0, int* init_table){
-  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_standard___kernel___Sys].i;
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  if (init_table[itpos0]) return;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 0;
-  fra.me.meth = LOCATE_standard___kernel___Sys___init;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  stack_frame_head = fra.me.prev;
-  init_table[itpos0] = 1;
-  return;
-}
-val_t standard___kernel___Comparable_____l(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 72;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:72 */
-  nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 72);
-  stack_frame_head = fra.me.prev;
-  return NIT_NULL;
-}
-val_t standard___kernel___Comparable_____leq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 75;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:76 */
-  REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
-  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Comparable_____geq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 78;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:79 */
-  REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
-  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Comparable_____g(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 81;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:82 */
-  REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Comparable_____leqg(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 84;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____leqg;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:87 */
-  REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
-  if (UNTAG_Bool(REGB0)) {
-    /* ./../lib/standard//kernel.nit:88 */
-    REGB0 = TAG_Int(1);
-    /* ./../lib/standard//kernel.nit:219 */
-    REGB0 = TAG_Int(-UNTAG_Int(REGB0));
-    /* ./../lib/standard//kernel.nit:88 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:89 */
-    REGB1 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
-    if (UNTAG_Bool(REGB1)) {
-      /* ./../lib/standard//kernel.nit:90 */
-      REGB1 = TAG_Int(1);
-      REGB0 = REGB1;
-      goto label1;
-    } else {
-      /* ./../lib/standard//kernel.nit:92 */
-      REGB1 = TAG_Int(0);
-      REGB0 = REGB1;
-      goto label1;
-    }
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Comparable___is_between(val_t p0, val_t p1, val_t p2){
-  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 96;
-  fra.me.meth = LOCATE_standard___kernel___Comparable___is_between;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 3;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[2] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  fra.me.REG[2] = p2;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:99 */
-  REGB0 = CALL_standard___kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
-  if (UNTAG_Bool(REGB0)) {
-    REGB0 = CALL_standard___kernel___Comparable_____leq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
-  } else {
-    REGB1 = TAG_Bool(false);
-    REGB0 = REGB1;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Comparable___max(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 102;
-  fra.me.meth = LOCATE_standard___kernel___Comparable___max;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:105 */
-  REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
-  if (UNTAG_Bool(REGB0)) {
-    /* ./../lib/standard//kernel.nit:106 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:108 */
-    fra.me.REG[1] = fra.me.REG[0];
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-val_t standard___kernel___Comparable___min(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 112;
-  fra.me.meth = LOCATE_standard___kernel___Comparable___min;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:115 */
-  REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
-  if (UNTAG_Bool(REGB0)) {
-    /* ./../lib/standard//kernel.nit:116 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:118 */
-    fra.me.REG[1] = fra.me.REG[0];
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-val_t standard___kernel___Discrete___succ(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 129;
-  fra.me.meth = LOCATE_standard___kernel___Discrete___succ;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:130 */
-  REGB0 = TAG_Int(1);
-  fra.me.REG[0] = CALL_standard___kernel___Discrete_____plus(fra.me.REG[0])(fra.me.REG[0], REGB0);
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-val_t standard___kernel___Discrete___prec(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 132;
-  fra.me.meth = LOCATE_standard___kernel___Discrete___prec;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:133 */
-  REGB0 = TAG_Int(1);
-  fra.me.REG[0] = CALL_standard___kernel___Discrete_____minus(fra.me.REG[0])(fra.me.REG[0], REGB0);
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-val_t standard___kernel___Discrete_____plus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 135;
-  fra.me.meth = LOCATE_standard___kernel___Discrete_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  /* ./../lib/standard//kernel.nit:135 */
-  nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 135);
-  stack_frame_head = fra.me.prev;
-  return NIT_NULL;
-}
-val_t standard___kernel___Discrete_____minus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 138;
-  fra.me.meth = LOCATE_standard___kernel___Discrete_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  /* ./../lib/standard//kernel.nit:138 */
-  nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 138);
-  stack_frame_head = fra.me.prev;
-  return NIT_NULL;
-}
-val_t standard___kernel___Discrete___distance(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 141;
-  fra.me.meth = LOCATE_standard___kernel___Discrete___distance;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 4;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[2] = NIT_NULL;
-  fra.me.REG[3] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  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*/;
-  if (UNTAG_Bool(REGB0)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:148 */
-  REGB0 = CALL_standard___kernel___Comparable_____l(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
-  if (UNTAG_Bool(REGB0)) {
-    /* ./../lib/standard//kernel.nit:149 */
-    fra.me.REG[2] = fra.me.REG[0];
-    /* ./../lib/standard//kernel.nit:150 */
-    fra.me.REG[3] = fra.me.REG[1];
-  } else {
-    /* ./../lib/standard//kernel.nit:151 */
-    REGB0 = CALL_standard___kernel___Comparable_____g(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
-    if (UNTAG_Bool(REGB0)) {
-      /* ./../lib/standard//kernel.nit:152 */
-      fra.me.REG[2] = fra.me.REG[1];
-      /* ./../lib/standard//kernel.nit:153 */
-      fra.me.REG[3] = fra.me.REG[0];
-    } else {
-      /* ./../lib/standard//kernel.nit:155 */
-      REGB0 = TAG_Int(0);
-      goto label1;
-    }
-  }
-  /* ./../lib/standard//kernel.nit:158 */
-  REGB1 = TAG_Int(0);
-  /* ./../lib/standard//kernel.nit:159 */
-  while(1) {
-    REGB2 = CALL_standard___kernel___Comparable_____l(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
-    if (UNTAG_Bool(REGB2)) {
-      /* ./../lib/standard//kernel.nit:160 */
-      fra.me.REG[0] = CALL_standard___kernel___Discrete___succ(fra.me.REG[2])(fra.me.REG[2]);
-      fra.me.REG[2] = fra.me.REG[0];
-      /* ./../lib/standard//kernel.nit:161 */
-      REGB2 = TAG_Int(1);
-      /* ./../lib/standard//kernel.nit:218 */
-      REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
-      /* ./../lib/standard//kernel.nit:161 */
-      REGB1 = REGB2;
-    } else {
-      /* ./../lib/standard//kernel.nit:159 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  /* ./../lib/standard//kernel.nit:163 */
-  REGB0 = REGB1;
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Bool___object_id(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 177;
-  fra.me.meth = LOCATE_standard___kernel___Bool___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:177 */
-  REGB0 = TAG_Int(UNTAG_Bool(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Bool_____eqeq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 178;
-  fra.me.meth = LOCATE_standard___kernel___Bool_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ./../lib/standard//kernel.nit:178 */
-  REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Bool_____neq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 179;
-  fra.me.meth = LOCATE_standard___kernel___Bool_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ./../lib/standard//kernel.nit:179 */
-  REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-void standard___kernel___Bool___output(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 180;
-  fra.me.meth = LOCATE_standard___kernel___Bool___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:180 */
-  (void)printf(UNTAG_Bool(REGB0)?"true\n":"false\n");;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-val_t standard___kernel___Float___object_id(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 186;
-  fra.me.meth = LOCATE_standard___kernel___Float___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:186 */
-  REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-void standard___kernel___Float___output(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 187;
-  fra.me.meth = LOCATE_standard___kernel___Float___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:187 */
-  printf("%f\n", UNBOX_Float(fra.me.REG[0]));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-val_t standard___kernel___Float_____leq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 189;
-  fra.me.meth = LOCATE_standard___kernel___Float_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:189 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<=UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Float_____l(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 190;
-  fra.me.meth = LOCATE_standard___kernel___Float_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:190 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Float_____geq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 191;
-  fra.me.meth = LOCATE_standard___kernel___Float_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:191 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>=UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Float_____g(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 192;
-  fra.me.meth = LOCATE_standard___kernel___Float_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:192 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Float_____plus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 193;
-  fra.me.meth = LOCATE_standard___kernel___Float_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:193 */
-  fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])+UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-val_t standard___kernel___Float___unary__minus(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 194;
-  fra.me.meth = LOCATE_standard___kernel___Float___unary__minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:194 */
-  fra.me.REG[0] = BOX_Float(-UNBOX_Float(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-val_t standard___kernel___Float_____minus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 195;
-  fra.me.meth = LOCATE_standard___kernel___Float_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:195 */
-  fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])-UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-val_t standard___kernel___Float_____star(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 196;
-  fra.me.meth = LOCATE_standard___kernel___Float_____star;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:196 */
-  fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])*UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-val_t standard___kernel___Float_____slash(val_t p0, val_t p1){
-  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 197;
-  fra.me.meth = LOCATE_standard___kernel___Float_____slash;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[1] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  fra.me.REG[1] = p1;
-  /* ./../lib/standard//kernel.nit:197 */
-  fra.me.REG[1] = BOX_Float(UNBOX_Float(fra.me.REG[0])/UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-val_t standard___kernel___Float___to_i(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 199;
-  fra.me.meth = LOCATE_standard___kernel___Float___to_i;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ./../lib/standard//kernel.nit:199 */
-  REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int___object_id(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 209;
-  fra.me.meth = LOCATE_standard___kernel___Int___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:209 */
-  REGB0 = REGB0;
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int_____eqeq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 210;
-  fra.me.meth = LOCATE_standard___kernel___Int_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ./../lib/standard//kernel.nit:210 */
-  REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int_____neq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 211;
-  fra.me.meth = LOCATE_standard___kernel___Int_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ./../lib/standard//kernel.nit:211 */
-  REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-void standard___kernel___Int___output(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 212;
-  fra.me.meth = LOCATE_standard___kernel___Int___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:212 */
-  printf("%ld\n", UNTAG_Int(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-val_t standard___kernel___Int_____leq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 214;
-  fra.me.meth = LOCATE_standard___kernel___Int_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:214 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int_____l(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 215;
-  fra.me.meth = LOCATE_standard___kernel___Int_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:215 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int_____geq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 216;
-  fra.me.meth = LOCATE_standard___kernel___Int_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:216 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int_____g(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 217;
-  fra.me.meth = LOCATE_standard___kernel___Int_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:217 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int_____plus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 218;
-  fra.me.meth = LOCATE_standard___kernel___Int_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:218 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int___unary__minus(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 219;
-  fra.me.meth = LOCATE_standard___kernel___Int___unary__minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:219 */
-  REGB0 = TAG_Int(-UNTAG_Int(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int_____minus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 220;
-  fra.me.meth = LOCATE_standard___kernel___Int_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:220 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int_____star(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 221;
-  fra.me.meth = LOCATE_standard___kernel___Int_____star;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:221 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)*UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int_____slash(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 222;
-  fra.me.meth = LOCATE_standard___kernel___Int_____slash;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:222 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)/UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int_____percent(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 223;
-  fra.me.meth = LOCATE_standard___kernel___Int_____percent;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:223 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)%UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int___lshift(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 224;
-  fra.me.meth = LOCATE_standard___kernel___Int___lshift;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:224 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)<<UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int___rshift(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 225;
-  fra.me.meth = LOCATE_standard___kernel___Int___rshift;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:225 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)>>UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int___to_f(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 227;
-  fra.me.meth = LOCATE_standard___kernel___Int___to_f;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:227 */
-  fra.me.REG[0] = BOX_Float((float)UNTAG_Int(REGB0));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-val_t standard___kernel___Int___succ(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 230;
-  fra.me.meth = LOCATE_standard___kernel___Int___succ;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:230 */
-  REGB0 = TAG_Int(UNTAG_Int(REGB0)+1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int___prec(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 231;
-  fra.me.meth = LOCATE_standard___kernel___Int___prec;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:231 */
-  REGB0 = TAG_Int(UNTAG_Int(REGB0)-1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int___distance(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 232;
-  fra.me.meth = LOCATE_standard___kernel___Int___distance;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:220 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-  /* ./../lib/standard//kernel.nit:235 */
-  REGB0 = TAG_Int(0);
-  REGB2 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:216 */
-  REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
-  /* ./../lib/standard//kernel.nit:235 */
-  if (UNTAG_Bool(REGB0)) {
-    /* ./../lib/standard//kernel.nit:236 */
-    REGB0 = REGB1;
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:219 */
-    REGB1 = TAG_Int(-UNTAG_Int(REGB1));
-    /* ./../lib/standard//kernel.nit:238 */
-    REGB0 = REGB1;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int_____leqg(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 242;
-  fra.me.meth = LOCATE_standard___kernel___Int_____leqg;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:215 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ./../lib/standard//kernel.nit:244 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ./../lib/standard//kernel.nit:245 */
-    REGB2 = TAG_Int(1);
-    /* ./../lib/standard//kernel.nit:219 */
-    REGB2 = TAG_Int(-UNTAG_Int(REGB2));
-    /* ./../lib/standard//kernel.nit:245 */
-    goto label1;
-  } else {
-    REGB3 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB3)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:215 */
-    REGB0 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
-    /* ./../lib/standard//kernel.nit:246 */
-    if (UNTAG_Bool(REGB0)) {
-      /* ./../lib/standard//kernel.nit:247 */
-      REGB0 = TAG_Int(1);
-      REGB2 = REGB0;
-      goto label1;
-    } else {
-      /* ./../lib/standard//kernel.nit:249 */
-      REGB0 = TAG_Int(0);
-      REGB2 = REGB0;
-      goto label1;
-    }
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB2;
-}
-val_t standard___kernel___Int___is_between(val_t p0, val_t p1, val_t p2){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 253;
-  fra.me.meth = LOCATE_standard___kernel___Int___is_between;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = p2;
-  REGB3 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB3)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB3)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  REGB3 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB3)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:215 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ./../lib/standard//kernel.nit:255 */
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Bool(true);
-  } else {
-    REGB3 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2), VTID_standard___kernel___Comparable___OTHER(REGB2))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB3)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:215 */
-    REGB0 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB0));
-    /* ./../lib/standard//kernel.nit:255 */
-    REGB1 = REGB0;
-  }
-  if (UNTAG_Bool(REGB1)) {
-    /* ./../lib/standard//kernel.nit:256 */
-    REGB1 = TAG_Bool(false);
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:258 */
-    REGB0 = TAG_Bool(true);
-    REGB1 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int___max(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 262;
-  fra.me.meth = LOCATE_standard___kernel___Int___max;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:215 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ./../lib/standard//kernel.nit:264 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ./../lib/standard//kernel.nit:265 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:267 */
-    REGB1 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int___min(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 271;
-  fra.me.meth = LOCATE_standard___kernel___Int___min;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  REGB2 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:215 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
-  /* ./../lib/standard//kernel.nit:273 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ./../lib/standard//kernel.nit:274 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:276 */
-    REGB1 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Int___ascii(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 280;
-  fra.me.meth = LOCATE_standard___kernel___Int___ascii;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:280 */
-  REGB0 = TAG_Char(UNTAG_Int(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Int___digit_count(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t REGB4;
-  val_t REGB5;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 283;
-  fra.me.meth = LOCATE_standard___kernel___Int___digit_count;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:289 */
-  REGB2 = TAG_Int(0);
-  REGB3 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB3)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:215 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
-  /* ./../lib/standard//kernel.nit:289 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ./../lib/standard//kernel.nit:290 */
-    REGB2 = TAG_Int(1);
-    /* ./../lib/standard//kernel.nit:219 */
-    REGB3 = TAG_Int(-UNTAG_Int(REGB0));
-  } else {
-    /* ./../lib/standard//kernel.nit:292 */
-    REGB4 = TAG_Int(0);
-    REGB5 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB4));
-    if (UNTAG_Bool(REGB5)) {
-    } else {
-      /* ./../lib/standard//kernel.nit:210 */
-      REGB4 = TAG_Bool((REGB0)==(REGB4));
-      /* ./../lib/standard//kernel.nit:292 */
-      REGB5 = REGB4;
-    }
-    if (UNTAG_Bool(REGB5)) {
-      /* ./../lib/standard//kernel.nit:293 */
-      REGB5 = TAG_Int(1);
-      goto label1;
-    } else {
-      /* ./../lib/standard//kernel.nit:295 */
-      REGB4 = TAG_Int(0);
-      REGB2 = REGB4;
-      /* ./../lib/standard//kernel.nit:296 */
-      REGB3 = REGB0;
-    }
-  }
-  /* ./../lib/standard//kernel.nit:299 */
-  while(1) {
-    REGB0 = TAG_Int(0);
-    REGB4 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB3), VTID_standard___kernel___Comparable___OTHER(REGB3))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB4)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:217 */
-    REGB0 = TAG_Bool(UNTAG_Int(REGB3)>UNTAG_Int(REGB0));
-    /* ./../lib/standard//kernel.nit:299 */
-    if (UNTAG_Bool(REGB0)) {
-      /* ./../lib/standard//kernel.nit:300 */
-      REGB0 = TAG_Int(1);
-      /* ./../lib/standard//kernel.nit:218 */
-      REGB0 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB0));
-      /* ./../lib/standard//kernel.nit:300 */
-      REGB2 = REGB0;
-      /* ./../lib/standard//kernel.nit:222 */
-      REGB0 = TAG_Int(UNTAG_Int(REGB3)/UNTAG_Int(REGB1));
-      /* ./../lib/standard//kernel.nit:301 */
-      REGB3 = REGB0;
-    } else {
-      /* ./../lib/standard//kernel.nit:299 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  /* ./../lib/standard//kernel.nit:303 */
-  REGB5 = REGB2;
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB5;
-}
-val_t standard___kernel___Int___to_c(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 306;
-  fra.me.meth = LOCATE_standard___kernel___Int___to_c;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:311 */
-  REGB1 = TAG_Int(0);
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:216 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
-  /* ./../lib/standard//kernel.nit:311 */
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Int(36);
-    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB2)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:214 */
-    REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
-  } else {
-    /* ./../lib/standard//kernel.nit:311 */
-    REGB2 = TAG_Bool(false);
-    REGB1 = REGB2;
-  }
-  if (UNTAG_Bool(REGB1)) {
-  } else {
-    nit_abort("Assert failed", NULL, LOCATE_standard___kernel, 311);
-  }
-  /* ./../lib/standard//kernel.nit:312 */
-  REGB1 = TAG_Int(10);
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:215 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ./../lib/standard//kernel.nit:312 */
-  if (UNTAG_Bool(REGB1)) {
-    /* ./../lib/standard//kernel.nit:313 */
-    REGB1 = TAG_Char('0');
-    /* ./../lib/standard//kernel.nit:385 */
-    REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
-    /* ./../lib/standard//kernel.nit:218 */
-    REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
-    /* ./../lib/standard//kernel.nit:280 */
-    REGB1 = TAG_Char(UNTAG_Int(REGB1));
-    /* ./../lib/standard//kernel.nit:313 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:315 */
-    REGB2 = TAG_Char('a');
-    /* ./../lib/standard//kernel.nit:385 */
-    REGB2 = TAG_Int((unsigned char)UNTAG_Char(REGB2));
-    /* ./../lib/standard//kernel.nit:315 */
-    REGB3 = TAG_Int(10);
-    /* ./../lib/standard//kernel.nit:220 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB3));
-    /* ./../lib/standard//kernel.nit:218 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB3));
-    /* ./../lib/standard//kernel.nit:280 */
-    REGB3 = TAG_Char(UNTAG_Int(REGB3));
-    /* ./../lib/standard//kernel.nit:315 */
-    REGB1 = REGB3;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-void standard___kernel___Int___enumerate_to(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  fun_t CREG[1];
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 319;
-  fra.me.meth = LOCATE_standard___kernel___Int___enumerate_to;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.closure_ctx = closctx_param;
-  fra.me.closure_funs = CREG;
-  REGB0 = p0;
-  REGB1 = p1;
-  CREG[0] = clos_fun0;
-  /* ./../lib/standard//kernel.nit:324 */
-  while(1) {
-    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB2)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:214 */
-    REGB2 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
-    /* ./../lib/standard//kernel.nit:324 */
-    if (UNTAG_Bool(REGB2)) {
-      /* ./../lib/standard//kernel.nit:325 */
-      ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
-      if (closctx_param->has_broke) {
-        goto label1;
-      }
-      /* ./../lib/standard//kernel.nit:326 */
-      REGB2 = TAG_Int(1);
-      /* ./../lib/standard//kernel.nit:218 */
-      REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
-      /* ./../lib/standard//kernel.nit:326 */
-      REGB0 = REGB2;
-    } else {
-      /* ./../lib/standard//kernel.nit:324 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return;
-}
-void standard___kernel___Int___enumerate_before(val_t p0, val_t p1, struct stack_frame_t *closctx_param, fun_t clos_fun0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  fun_t CREG[1];
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 330;
-  fra.me.meth = LOCATE_standard___kernel___Int___enumerate_before;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.closure_ctx = closctx_param;
-  fra.me.closure_funs = CREG;
-  REGB0 = p0;
-  REGB1 = p1;
-  CREG[0] = clos_fun0;
-  /* ./../lib/standard//kernel.nit:335 */
-  while(1) {
-    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB2)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:215 */
-    REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-    /* ./../lib/standard//kernel.nit:335 */
-    if (UNTAG_Bool(REGB2)) {
-      /* ./../lib/standard//kernel.nit:336 */
-      ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
-      if (closctx_param->has_broke) {
-        goto label1;
-      }
-      /* ./../lib/standard//kernel.nit:337 */
-      REGB2 = TAG_Int(1);
-      /* ./../lib/standard//kernel.nit:218 */
-      REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
-      /* ./../lib/standard//kernel.nit:337 */
-      REGB0 = REGB2;
-    } else {
-      /* ./../lib/standard//kernel.nit:335 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return;
-}
-val_t standard___kernel___Char___object_id(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 349;
-  fra.me.meth = LOCATE_standard___kernel___Char___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:349 */
-  REGB0 = TAG_Int(UNTAG_Char(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Char_____eqeq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 350;
-  fra.me.meth = LOCATE_standard___kernel___Char_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ./../lib/standard//kernel.nit:350 */
-  REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Char_____neq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 351;
-  fra.me.meth = LOCATE_standard___kernel___Char_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ./../lib/standard//kernel.nit:351 */
-  REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-void standard___kernel___Char___output(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 352;
-  fra.me.meth = LOCATE_standard___kernel___Char___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:352 */
-  printf("%c", (unsigned char)UNTAG_Char(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-val_t standard___kernel___Char_____leq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 354;
-  fra.me.meth = LOCATE_standard___kernel___Char_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:354 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char_____l(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 355;
-  fra.me.meth = LOCATE_standard___kernel___Char_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:355 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)<UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char_____geq(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 356;
-  fra.me.meth = LOCATE_standard___kernel___Char_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:356 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char_____g(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 357;
-  fra.me.meth = LOCATE_standard___kernel___Char_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:357 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char___succ(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 359;
-  fra.me.meth = LOCATE_standard___kernel___Char___succ;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:359 */
-  REGB0 = TAG_Char(UNTAG_Char(REGB0)+1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Char___prec(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 360;
-  fra.me.meth = LOCATE_standard___kernel___Char___prec;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:360 */
-  REGB0 = TAG_Char(UNTAG_Char(REGB0)-1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Char___distance(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 362;
-  fra.me.meth = LOCATE_standard___kernel___Char___distance;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:385 */
-  REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-  REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
-  /* ./../lib/standard//kernel.nit:220 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-  /* ./../lib/standard//kernel.nit:365 */
-  REGB0 = TAG_Int(0);
-  REGB2 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB1), VTID_standard___kernel___Comparable___OTHER(REGB1))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:216 */
-  REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
-  /* ./../lib/standard//kernel.nit:365 */
-  if (UNTAG_Bool(REGB0)) {
-    /* ./../lib/standard//kernel.nit:366 */
-    REGB0 = REGB1;
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:219 */
-    REGB1 = TAG_Int(-UNTAG_Int(REGB1));
-    /* ./../lib/standard//kernel.nit:368 */
-    REGB0 = REGB1;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Char___to_i(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 372;
-  fra.me.meth = LOCATE_standard___kernel___Char___to_i;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:376 */
-  REGB1 = TAG_Char('-');
-  REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    /* ./../lib/standard//kernel.nit:350 */
-    REGB1 = TAG_Bool((REGB0)==(REGB1));
-    /* ./../lib/standard//kernel.nit:376 */
-    REGB2 = REGB1;
-  }
-  if (UNTAG_Bool(REGB2)) {
-    /* ./../lib/standard//kernel.nit:377 */
-    REGB2 = TAG_Int(1);
-    /* ./../lib/standard//kernel.nit:219 */
-    REGB2 = TAG_Int(-UNTAG_Int(REGB2));
-    /* ./../lib/standard//kernel.nit:377 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:378 */
-    REGB1 = CALL_standard___kernel___Char___is_digit(REGB0)(REGB0);
-    if (UNTAG_Bool(REGB1)) {
-      /* ./../lib/standard//kernel.nit:385 */
-      REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-      /* ./../lib/standard//kernel.nit:379 */
-      REGB3 = TAG_Char('0');
-      /* ./../lib/standard//kernel.nit:385 */
-      REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
-      /* ./../lib/standard//kernel.nit:220 */
-      REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
-      /* ./../lib/standard//kernel.nit:379 */
-      REGB2 = REGB3;
-      goto label1;
-    } else {
-      /* ./../lib/standard//kernel.nit:381 */
-      REGB0 = CALL_standard___kernel___Char___to_lower(REGB0)(REGB0);
-      /* ./../lib/standard//kernel.nit:385 */
-      REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-      /* ./../lib/standard//kernel.nit:381 */
-      REGB3 = TAG_Char('a');
-      /* ./../lib/standard//kernel.nit:385 */
-      REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
-      /* ./../lib/standard//kernel.nit:381 */
-      REGB1 = TAG_Int(10);
-      /* ./../lib/standard//kernel.nit:218 */
-      REGB1 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB1));
-      /* ./../lib/standard//kernel.nit:220 */
-      REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-      /* ./../lib/standard//kernel.nit:381 */
-      REGB2 = REGB1;
-      goto label1;
-    }
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB2;
-}
-val_t standard___kernel___Char___ascii(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 385;
-  fra.me.meth = LOCATE_standard___kernel___Char___ascii;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:385 */
-  REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-val_t standard___kernel___Char_____plus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 388;
-  fra.me.meth = LOCATE_standard___kernel___Char_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:388 */
-  REGB1 = TAG_Char(UNTAG_Char(REGB0)+UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char_____minus(val_t p0, val_t p1){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 389;
-  fra.me.meth = LOCATE_standard___kernel___Char_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ./../lib/standard//kernel.nit:389 */
-  REGB1 = TAG_Char(UNTAG_Char(REGB0)-UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char___to_lower(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 391;
-  fra.me.meth = LOCATE_standard___kernel___Char___to_lower;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:394 */
-  REGB1 = CALL_standard___kernel___Char___is_upper(REGB0)(REGB0);
-  if (UNTAG_Bool(REGB1)) {
-    /* ./../lib/standard//kernel.nit:385 */
-    REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-    /* ./../lib/standard//kernel.nit:395 */
-    REGB2 = TAG_Char('a');
-    REGB3 = TAG_Char('A');
-    REGB3 = CALL_standard___kernel___Discrete___distance(REGB2)(REGB2, REGB3);
-    /* ./../lib/standard//kernel.nit:218 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
-    /* ./../lib/standard//kernel.nit:280 */
-    REGB3 = TAG_Char(UNTAG_Int(REGB3));
-    /* ./../lib/standard//kernel.nit:395 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:397 */
-    REGB3 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB3;
-}
-val_t standard___kernel___Char___to_upper(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 401;
-  fra.me.meth = LOCATE_standard___kernel___Char___to_upper;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:404 */
-  REGB1 = CALL_standard___kernel___Char___is_lower(REGB0)(REGB0);
-  if (UNTAG_Bool(REGB1)) {
-    /* ./../lib/standard//kernel.nit:385 */
-    REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-    /* ./../lib/standard//kernel.nit:405 */
-    REGB2 = TAG_Char('a');
-    REGB3 = TAG_Char('A');
-    REGB3 = CALL_standard___kernel___Discrete___distance(REGB2)(REGB2, REGB3);
-    /* ./../lib/standard//kernel.nit:220 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
-    /* ./../lib/standard//kernel.nit:280 */
-    REGB3 = TAG_Char(UNTAG_Int(REGB3));
-    /* ./../lib/standard//kernel.nit:405 */
-    goto label1;
-  } else {
-    /* ./../lib/standard//kernel.nit:407 */
-    REGB3 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB3;
-}
-val_t standard___kernel___Char___is_digit(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 411;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_digit;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:413 */
-  REGB1 = TAG_Char('0');
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:356 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  /* ./../lib/standard//kernel.nit:413 */
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Char('9');
-    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB2)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:354 */
-    REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  } else {
-    /* ./../lib/standard//kernel.nit:413 */
-    REGB0 = TAG_Bool(false);
-    REGB1 = REGB0;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char___is_lower(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 416;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_lower;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:418 */
-  REGB1 = TAG_Char('a');
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:356 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  /* ./../lib/standard//kernel.nit:418 */
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Char('z');
-    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB2)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:354 */
-    REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  } else {
-    /* ./../lib/standard//kernel.nit:418 */
-    REGB0 = TAG_Bool(false);
-    REGB1 = REGB0;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char___is_upper(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 421;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_upper;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:423 */
-  REGB1 = TAG_Char('A');
-  REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ./../lib/standard//kernel.nit:356 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  /* ./../lib/standard//kernel.nit:423 */
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Char('Z');
-    REGB2 = TAG_Bool(VAL_ISA(REGB1, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB2)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ./../lib/standard//kernel.nit:354 */
-    REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  } else {
-    /* ./../lib/standard//kernel.nit:423 */
-    REGB0 = TAG_Bool(false);
-    REGB1 = REGB0;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-val_t standard___kernel___Char___is_letter(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 426;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_letter;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  REGB0 = p0;
-  /* ./../lib/standard//kernel.nit:428 */
-  REGB1 = CALL_standard___kernel___Char___is_lower(REGB0)(REGB0);
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Bool(true);
-  } else {
-    REGB0 = CALL_standard___kernel___Char___is_upper(REGB0)(REGB0);
-    REGB1 = REGB0;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}