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 3c70ee0..0000000
+++ /dev/null
@@ -1,2721 +0,0 @@
-/* This C file is generated by NIT to compile module standard___kernel. */
-#include "standard___kernel._sep.h"
-static const char LOCATE_standard___kernel___Object___object_id[] = "kernel::Object::object_id";
-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 = 29;
-  fra.me.meth = LOCATE_standard___kernel___Object___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:29 */
-  REGB0 = TAG_Int((bigint)((obj_t)fra.me.REG[0])[1].object_id);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Object___is_same_type[] = "kernel::Object::is_same_type";
-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 = 34;
-  fra.me.meth = LOCATE_standard___kernel___Object___is_same_type;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:34 */
-  REGB0 = TAG_Bool((VAL2VFT(fra.me.REG[0])==VAL2VFT(fra.me.REG[1])));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Object_____eqeq[] = "kernel::Object::==";
-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 = 38;
-  fra.me.meth = LOCATE_standard___kernel___Object_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:42 */
-  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;
-}
-static const char LOCATE_standard___kernel___Object_____neq[] = "kernel::Object::!=";
-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 = 44;
-  fra.me.meth = LOCATE_standard___kernel___Object_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:47 */
-  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;
-}
-static const char LOCATE_standard___kernel___Object___output[] = "kernel::Object::output";
-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 = 49;
-  fra.me.meth = LOCATE_standard___kernel___Object___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:54 */
-  REGB0 = TAG_Char('<');
-  /* ../lib/standard/kernel.nit:436 */
-  printf("%c", (unsigned char)UNTAG_Char(REGB0));;
-  /* ../lib/standard/kernel.nit:55 */
-  REGB0 = CALL_standard___kernel___Object___object_id(fra.me.REG[0])(fra.me.REG[0]);
-  /* ../lib/standard/kernel.nit:239 */
-  printf("%ld\n", UNTAG_Int(REGB0));;
-  /* ../lib/standard/kernel.nit:56 */
-  REGB0 = TAG_Char('>');
-  /* ../lib/standard/kernel.nit:436 */
-  printf("%c", (unsigned char)UNTAG_Char(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Object___output_class_name[] = "kernel::Object::output_class_name";
-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 = 59;
-  fra.me.meth = LOCATE_standard___kernel___Object___output_class_name;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:59 */
-  printf("%s\n", VAL2VFT(fra.me.REG[0])[2].cname);;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Object___exit[] = "kernel::Object::exit";
-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 = 64;
-  fra.me.meth = LOCATE_standard___kernel___Object___exit;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  REGB0 = p1;
-  /* ../lib/standard/kernel.nit:64 */
-  exit(UNTAG_Int(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Object___sys[] = "kernel::Object::sys";
-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 = 67;
-  fra.me.meth = LOCATE_standard___kernel___Object___sys;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:67 */
-  fra.me.REG[0] = (G_sys);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-static const char LOCATE_standard___kernel___Sys___main[] = "kernel::Sys::main";
-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 = 75;
-  fra.me.meth = LOCATE_standard___kernel___Sys___main;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Sys___init[] = "kernel::Sys::init";
-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;
-  fra.me.nitni_local_ref_head = NULL;
-  stack_frame_head = fra.me.prev;
-  init_table[itpos0] = 1;
-  return;
-}
-static const char LOCATE_standard___kernel___Comparable_____l[] = "kernel::Comparable::<";
-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 = 89;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:89 */
-  nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 89);
-  stack_frame_head = fra.me.prev;
-  return NIT_NULL;
-}
-static const char LOCATE_standard___kernel___Comparable_____leq[] = "kernel::Comparable::<=";
-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 = 92;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:94 */
-  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;
-}
-static const char LOCATE_standard___kernel___Comparable_____geq[] = "kernel::Comparable::>=";
-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 = 96;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:98 */
-  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;
-}
-static const char LOCATE_standard___kernel___Comparable_____g[] = "kernel::Comparable::>";
-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 = 100;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:101 */
-  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;
-}
-static const char LOCATE_standard___kernel___Comparable_____leqg[] = "kernel::Comparable::<=>";
-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 = 103;
-  fra.me.meth = LOCATE_standard___kernel___Comparable_____leqg;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:107 */
-  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:108 */
-    REGB0 = TAG_Int(1);
-    /* ../lib/standard/kernel.nit:246 */
-    REGB0 = TAG_Int(-UNTAG_Int(REGB0));
-    /* ../lib/standard/kernel.nit:108 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:109 */
-    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:110 */
-      REGB1 = TAG_Int(1);
-      REGB0 = REGB1;
-      goto label1;
-    } else {
-      /* ../lib/standard/kernel.nit:112 */
-      REGB1 = TAG_Int(0);
-      REGB0 = REGB1;
-      goto label1;
-    }
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Comparable___is_between[] = "kernel::Comparable::is_between";
-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 = 116;
-  fra.me.meth = LOCATE_standard___kernel___Comparable___is_between;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 3;
-  fra.me.nitni_local_ref_head = NULL;
-  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:119 */
-  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(0);
-    REGB0 = REGB1;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Comparable___max[] = "kernel::Comparable::max";
-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 = 122;
-  fra.me.meth = LOCATE_standard___kernel___Comparable___max;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:125 */
-  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:126 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:128 */
-    fra.me.REG[1] = fra.me.REG[0];
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-static const char LOCATE_standard___kernel___Comparable___min[] = "kernel::Comparable::min";
-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 = 132;
-  fra.me.meth = LOCATE_standard___kernel___Comparable___min;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:135 */
-  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:136 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:138 */
-    fra.me.REG[1] = fra.me.REG[0];
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[1];
-}
-static const char LOCATE_standard___kernel___Discrete___succ[] = "kernel::Discrete::succ";
-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 = 149;
-  fra.me.meth = LOCATE_standard___kernel___Discrete___succ;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:150 */
-  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];
-}
-static const char LOCATE_standard___kernel___Discrete___prec[] = "kernel::Discrete::prec";
-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 = 152;
-  fra.me.meth = LOCATE_standard___kernel___Discrete___prec;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:153 */
-  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];
-}
-static const char LOCATE_standard___kernel___Discrete_____plus[] = "kernel::Discrete::+";
-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 = 155;
-  fra.me.meth = LOCATE_standard___kernel___Discrete_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  /* ../lib/standard/kernel.nit:155 */
-  nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 155);
-  stack_frame_head = fra.me.prev;
-  return NIT_NULL;
-}
-static const char LOCATE_standard___kernel___Discrete_____minus[] = "kernel::Discrete::-";
-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 = 158;
-  fra.me.meth = LOCATE_standard___kernel___Discrete_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  /* ../lib/standard/kernel.nit:158 */
-  nit_abort("Deferred method called", NULL, LOCATE_standard___kernel, 158);
-  stack_frame_head = fra.me.prev;
-  return NIT_NULL;
-}
-static const char LOCATE_standard___kernel___Discrete___distance[] = "kernel::Discrete::distance";
-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 = 161;
-  fra.me.meth = LOCATE_standard___kernel___Discrete___distance;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 4;
-  fra.me.nitni_local_ref_head = NULL;
-  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:169 */
-  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:170 */
-    fra.me.REG[2] = fra.me.REG[0];
-    /* ../lib/standard/kernel.nit:171 */
-    fra.me.REG[3] = fra.me.REG[1];
-  } else {
-    /* ../lib/standard/kernel.nit:172 */
-    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:173 */
-      fra.me.REG[2] = fra.me.REG[1];
-      /* ../lib/standard/kernel.nit:174 */
-      fra.me.REG[3] = fra.me.REG[0];
-    } else {
-      /* ../lib/standard/kernel.nit:176 */
-      REGB0 = TAG_Int(0);
-      goto label1;
-    }
-  }
-  /* ../lib/standard/kernel.nit:179 */
-  REGB1 = TAG_Int(0);
-  /* ../lib/standard/kernel.nit:180 */
-  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:181 */
-      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:182 */
-      REGB2 = TAG_Int(1);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
-      /* ../lib/standard/kernel.nit:182 */
-      REGB1 = REGB2;
-    } else {
-      /* ../lib/standard/kernel.nit:180 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  /* ../lib/standard/kernel.nit:184 */
-  REGB0 = REGB1;
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Bool___object_id[] = "kernel::Bool::(kernel::Object::object_id)";
-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 = 198;
-  fra.me.meth = LOCATE_standard___kernel___Bool___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:198 */
-  REGB0 = TAG_Int(UNTAG_Bool(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Bool_____eqeq[] = "kernel::Bool::(kernel::Object::==)";
-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 = 199;
-  fra.me.meth = LOCATE_standard___kernel___Bool_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ../lib/standard/kernel.nit:199 */
-  REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Bool_____neq[] = "kernel::Bool::(kernel::Object::!=)";
-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 = 200;
-  fra.me.meth = LOCATE_standard___kernel___Bool_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ../lib/standard/kernel.nit:200 */
-  REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Bool___output[] = "kernel::Bool::(kernel::Object::output)";
-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 = 201;
-  fra.me.meth = LOCATE_standard___kernel___Bool___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:201 */
-  (void)printf(UNTAG_Bool(REGB0)?"true\n":"false\n");;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Float___object_id[] = "kernel::Float::(kernel::Object::object_id)";
-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 = 207;
-  fra.me.meth = LOCATE_standard___kernel___Float___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:207 */
-  REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Float___output[] = "kernel::Float::(kernel::Object::output)";
-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 = 208;
-  fra.me.meth = LOCATE_standard___kernel___Float___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:208 */
-  printf("%f\n", UNBOX_Float(fra.me.REG[0]));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Float_____leq[] = "kernel::Float::<=";
-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 = 210;
-  fra.me.meth = LOCATE_standard___kernel___Float_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:210 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<=UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Float_____l[] = "kernel::Float::<";
-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 = 211;
-  fra.me.meth = LOCATE_standard___kernel___Float_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:211 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])<UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Float_____geq[] = "kernel::Float::>=";
-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 = 212;
-  fra.me.meth = LOCATE_standard___kernel___Float_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:212 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>=UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Float_____g[] = "kernel::Float::>";
-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 = 213;
-  fra.me.meth = LOCATE_standard___kernel___Float_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:213 */
-  REGB0 = TAG_Bool(UNBOX_Float(fra.me.REG[0])>UNBOX_Float(fra.me.REG[1]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Float_____plus[] = "kernel::Float::+";
-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 = 214;
-  fra.me.meth = LOCATE_standard___kernel___Float_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:214 */
-  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];
-}
-static const char LOCATE_standard___kernel___Float___unary__minus[] = "kernel::Float::unary -";
-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 = 215;
-  fra.me.meth = LOCATE_standard___kernel___Float___unary__minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:215 */
-  fra.me.REG[0] = BOX_Float(-UNBOX_Float(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-static const char LOCATE_standard___kernel___Float_____minus[] = "kernel::Float::-";
-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 = 216;
-  fra.me.meth = LOCATE_standard___kernel___Float_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:216 */
-  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];
-}
-static const char LOCATE_standard___kernel___Float_____star[] = "kernel::Float::*";
-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 = 217;
-  fra.me.meth = LOCATE_standard___kernel___Float_____star;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:217 */
-  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];
-}
-static const char LOCATE_standard___kernel___Float_____slash[] = "kernel::Float::/";
-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 = 218;
-  fra.me.meth = LOCATE_standard___kernel___Float_____slash;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 2;
-  fra.me.nitni_local_ref_head = NULL;
-  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:218 */
-  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];
-}
-static const char LOCATE_standard___kernel___Float___to_i[] = "kernel::Float::to_i";
-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 = 220;
-  fra.me.meth = LOCATE_standard___kernel___Float___to_i;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  fra.me.REG[0] = p0;
-  /* ../lib/standard/kernel.nit:220 */
-  REGB0 = TAG_Int((bigint)UNBOX_Float(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int___object_id[] = "kernel::Int::(kernel::Object::object_id)";
-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 = 236;
-  fra.me.meth = LOCATE_standard___kernel___Int___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:236 */
-  REGB0 = REGB0;
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int_____eqeq[] = "kernel::Int::(kernel::Object::==)";
-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 = 237;
-  fra.me.meth = LOCATE_standard___kernel___Int_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ../lib/standard/kernel.nit:237 */
-  REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int_____neq[] = "kernel::Int::(kernel::Object::!=)";
-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 = 238;
-  fra.me.meth = LOCATE_standard___kernel___Int_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ../lib/standard/kernel.nit:238 */
-  REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int___output[] = "kernel::Int::(kernel::Object::output)";
-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 = 239;
-  fra.me.meth = LOCATE_standard___kernel___Int___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:239 */
-  printf("%ld\n", UNTAG_Int(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Int_____leq[] = "kernel::Int::(kernel::Comparable::<=)";
-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 = 241;
-  fra.me.meth = LOCATE_standard___kernel___Int_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:241 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int_____l[] = "kernel::Int::(kernel::Comparable::<)";
-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 = 242;
-  fra.me.meth = LOCATE_standard___kernel___Int_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:242 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int_____geq[] = "kernel::Int::(kernel::Comparable::>=)";
-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 = 243;
-  fra.me.meth = LOCATE_standard___kernel___Int_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:243 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int_____g[] = "kernel::Int::(kernel::Comparable::>)";
-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 = 244;
-  fra.me.meth = LOCATE_standard___kernel___Int_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:244 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int_____plus[] = "kernel::Int::(kernel::Discrete::+)";
-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 = 245;
-  fra.me.meth = LOCATE_standard___kernel___Int_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:245 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___unary__minus[] = "kernel::Int::unary -";
-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 = 246;
-  fra.me.meth = LOCATE_standard___kernel___Int___unary__minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:246 */
-  REGB0 = TAG_Int(-UNTAG_Int(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int_____minus[] = "kernel::Int::(kernel::Discrete::-)";
-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 = 247;
-  fra.me.meth = LOCATE_standard___kernel___Int_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:247 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int_____star[] = "kernel::Int::*";
-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 = 248;
-  fra.me.meth = LOCATE_standard___kernel___Int_____star;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:248 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)*UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int_____slash[] = "kernel::Int::/";
-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 = 249;
-  fra.me.meth = LOCATE_standard___kernel___Int_____slash;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:249 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)/UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int_____percent[] = "kernel::Int::%";
-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 = 250;
-  fra.me.meth = LOCATE_standard___kernel___Int_____percent;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:250 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)%UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___lshift[] = "kernel::Int::lshift";
-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 = 252;
-  fra.me.meth = LOCATE_standard___kernel___Int___lshift;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:252 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)<<UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___rshift[] = "kernel::Int::rshift";
-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 = 257;
-  fra.me.meth = LOCATE_standard___kernel___Int___rshift;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:257 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)>>UNTAG_Int(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___to_f[] = "kernel::Int::to_f";
-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 = 262;
-  fra.me.meth = LOCATE_standard___kernel___Int___to_f;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:262 */
-  fra.me.REG[0] = BOX_Float((float)UNTAG_Int(REGB0));
-  stack_frame_head = fra.me.prev;
-  return fra.me.REG[0];
-}
-static const char LOCATE_standard___kernel___Int___succ[] = "kernel::Int::(kernel::Discrete::succ)";
-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 = 268;
-  fra.me.meth = LOCATE_standard___kernel___Int___succ;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:268 */
-  REGB0 = TAG_Int(UNTAG_Int(REGB0)+1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int___prec[] = "kernel::Int::(kernel::Discrete::prec)";
-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 = 269;
-  fra.me.meth = LOCATE_standard___kernel___Int___prec;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:269 */
-  REGB0 = TAG_Int(UNTAG_Int(REGB0)-1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int___distance[] = "kernel::Int::(kernel::Discrete::distance)";
-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 = 270;
-  fra.me.meth = LOCATE_standard___kernel___Int___distance;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:247 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:273 */
-  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:243 */
-  REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
-  /* ../lib/standard/kernel.nit:273 */
-  if (UNTAG_Bool(REGB0)) {
-    /* ../lib/standard/kernel.nit:274 */
-    REGB0 = REGB1;
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:246 */
-    REGB1 = TAG_Int(-UNTAG_Int(REGB1));
-    /* ../lib/standard/kernel.nit:276 */
-    REGB0 = REGB1;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int_____leqg[] = "kernel::Int::(kernel::Comparable::<=>)";
-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 = 280;
-  fra.me.meth = LOCATE_standard___kernel___Int_____leqg;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:242 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:282 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ../lib/standard/kernel.nit:283 */
-    REGB2 = TAG_Int(1);
-    /* ../lib/standard/kernel.nit:246 */
-    REGB2 = TAG_Int(-UNTAG_Int(REGB2));
-    /* ../lib/standard/kernel.nit:283 */
-    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:242 */
-    REGB0 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
-    /* ../lib/standard/kernel.nit:284 */
-    if (UNTAG_Bool(REGB0)) {
-      /* ../lib/standard/kernel.nit:285 */
-      REGB0 = TAG_Int(1);
-      REGB2 = REGB0;
-      goto label1;
-    } else {
-      /* ../lib/standard/kernel.nit:287 */
-      REGB0 = TAG_Int(0);
-      REGB2 = REGB0;
-      goto label1;
-    }
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB2;
-}
-static const char LOCATE_standard___kernel___Int___is_between[] = "kernel::Int::(kernel::Comparable::is_between)";
-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 = 291;
-  fra.me.meth = LOCATE_standard___kernel___Int___is_between;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:242 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:293 */
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Bool(1);
-  } 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:242 */
-    REGB0 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB0));
-    /* ../lib/standard/kernel.nit:293 */
-    REGB1 = REGB0;
-  }
-  if (UNTAG_Bool(REGB1)) {
-    /* ../lib/standard/kernel.nit:294 */
-    REGB1 = TAG_Bool(0);
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:296 */
-    REGB0 = TAG_Bool(1);
-    REGB1 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___max[] = "kernel::Int::(kernel::Comparable::max)";
-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 = 300;
-  fra.me.meth = LOCATE_standard___kernel___Int___max;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:242 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:302 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ../lib/standard/kernel.nit:303 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:305 */
-    REGB1 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___min[] = "kernel::Int::(kernel::Comparable::min)";
-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 = 309;
-  fra.me.meth = LOCATE_standard___kernel___Int___min;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:242 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB0));
-  /* ../lib/standard/kernel.nit:311 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ../lib/standard/kernel.nit:312 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:314 */
-    REGB1 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___ascii[] = "kernel::Int::ascii";
-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 = 318;
-  fra.me.meth = LOCATE_standard___kernel___Int___ascii;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:318 */
-  REGB0 = TAG_Char(UNTAG_Int(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int___digit_count[] = "kernel::Int::digit_count";
-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 REGB6;
-  val_t tmp;
-  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
-  fra.me.file = LOCATE_standard___kernel;
-  fra.me.line = 324;
-  fra.me.meth = LOCATE_standard___kernel___Int___digit_count;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:330 */
-  REGB2 = TAG_Int(10);
-  REGB3 = TAG_Bool(IS_EQUAL_OO(REGB1,REGB2));
-  if (UNTAG_Bool(REGB3)) {
-  } else {
-    /* ../lib/standard/kernel.nit:237 */
-    REGB2 = TAG_Bool((REGB1)==(REGB2));
-    /* ../lib/standard/kernel.nit:330 */
-    REGB3 = REGB2;
-  }
-  if (UNTAG_Bool(REGB3)) {
-    REGB3 = CALL_standard___kernel___Int___digit_count_base_10(REGB0)(REGB0);
-    goto label1;
-  }
-  /* ../lib/standard/kernel.nit:334 */
-  REGB2 = TAG_Int(0);
-  REGB4 = TAG_Bool(VAL_ISA(REGB2, VTCOLOR_standard___kernel___Comparable___OTHER(REGB0), VTID_standard___kernel___Comparable___OTHER(REGB0))) /*cast OTHER*/;
-  if (UNTAG_Bool(REGB4)) {
-  } else {
-    nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-  }
-  /* ../lib/standard/kernel.nit:242 */
-  REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
-  /* ../lib/standard/kernel.nit:334 */
-  if (UNTAG_Bool(REGB2)) {
-    /* ../lib/standard/kernel.nit:335 */
-    REGB2 = TAG_Int(1);
-    /* ../lib/standard/kernel.nit:246 */
-    REGB4 = TAG_Int(-UNTAG_Int(REGB0));
-  } else {
-    /* ../lib/standard/kernel.nit:337 */
-    REGB5 = TAG_Int(0);
-    REGB6 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB5));
-    if (UNTAG_Bool(REGB6)) {
-    } else {
-      /* ../lib/standard/kernel.nit:237 */
-      REGB5 = TAG_Bool((REGB0)==(REGB5));
-      /* ../lib/standard/kernel.nit:337 */
-      REGB6 = REGB5;
-    }
-    if (UNTAG_Bool(REGB6)) {
-      /* ../lib/standard/kernel.nit:338 */
-      REGB6 = TAG_Int(1);
-      REGB3 = REGB6;
-      goto label1;
-    } else {
-      /* ../lib/standard/kernel.nit:340 */
-      REGB6 = TAG_Int(0);
-      REGB2 = REGB6;
-      /* ../lib/standard/kernel.nit:341 */
-      REGB4 = REGB0;
-    }
-  }
-  /* ../lib/standard/kernel.nit:344 */
-  while(1) {
-    REGB0 = TAG_Int(0);
-    REGB6 = TAG_Bool(VAL_ISA(REGB0, VTCOLOR_standard___kernel___Comparable___OTHER(REGB4), VTID_standard___kernel___Comparable___OTHER(REGB4))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB6)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ../lib/standard/kernel.nit:244 */
-    REGB0 = TAG_Bool(UNTAG_Int(REGB4)>UNTAG_Int(REGB0));
-    /* ../lib/standard/kernel.nit:344 */
-    if (UNTAG_Bool(REGB0)) {
-      /* ../lib/standard/kernel.nit:345 */
-      REGB0 = TAG_Int(1);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB0 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB0));
-      /* ../lib/standard/kernel.nit:345 */
-      REGB2 = REGB0;
-      /* ../lib/standard/kernel.nit:249 */
-      REGB0 = TAG_Int(UNTAG_Int(REGB4)/UNTAG_Int(REGB1));
-      /* ../lib/standard/kernel.nit:346 */
-      REGB4 = REGB0;
-    } else {
-      /* ../lib/standard/kernel.nit:344 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  /* ../lib/standard/kernel.nit:348 */
-  REGB3 = REGB2;
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB3;
-}
-static const char LOCATE_standard___kernel___Int___digit_count_base_10[] = "kernel::Int::digit_count_base_10";
-val_t standard___kernel___Int___digit_count_base_10(val_t p0){
-  struct {struct stack_frame_t me;} fra;
-  val_t REGB0;
-  val_t REGB1;
-  val_t REGB2;
-  val_t REGB3;
-  val_t REGB4;
-  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___Int___digit_count_base_10;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:356 */
-  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:242 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:356 */
-  if (UNTAG_Bool(REGB1)) {
-    /* ../lib/standard/kernel.nit:357 */
-    REGB1 = TAG_Int(2);
-    /* ../lib/standard/kernel.nit:246 */
-    REGB2 = TAG_Int(-UNTAG_Int(REGB0));
-  } else {
-    /* ../lib/standard/kernel.nit:360 */
-    REGB3 = TAG_Int(1);
-    REGB1 = REGB3;
-    /* ../lib/standard/kernel.nit:361 */
-    REGB2 = REGB0;
-  }
-  /* ../lib/standard/kernel.nit:363 */
-  while(1) {
-    /* ../lib/standard/kernel.nit:364 */
-    REGB0 = TAG_Int(10);
-    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:242 */
-    REGB0 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB0));
-    /* ../lib/standard/kernel.nit:364 */
-    if (UNTAG_Bool(REGB0)) {
-      REGB0 = REGB1;
-      goto label1;
-    }
-    /* ../lib/standard/kernel.nit:365 */
-    REGB3 = TAG_Int(100);
-    REGB4 = TAG_Bool(VAL_ISA(REGB3, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2), VTID_standard___kernel___Comparable___OTHER(REGB2))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB4)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ../lib/standard/kernel.nit:242 */
-    REGB3 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:365 */
-    if (UNTAG_Bool(REGB3)) {
-      REGB3 = TAG_Int(1);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
-      /* ../lib/standard/kernel.nit:365 */
-      REGB0 = REGB3;
-      goto label1;
-    }
-    /* ../lib/standard/kernel.nit:366 */
-    REGB3 = TAG_Int(1000);
-    REGB4 = TAG_Bool(VAL_ISA(REGB3, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2), VTID_standard___kernel___Comparable___OTHER(REGB2))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB4)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ../lib/standard/kernel.nit:242 */
-    REGB3 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:366 */
-    if (UNTAG_Bool(REGB3)) {
-      REGB3 = TAG_Int(2);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
-      /* ../lib/standard/kernel.nit:366 */
-      REGB0 = REGB3;
-      goto label1;
-    }
-    /* ../lib/standard/kernel.nit:367 */
-    REGB3 = TAG_Int(10000);
-    REGB4 = TAG_Bool(VAL_ISA(REGB3, VTCOLOR_standard___kernel___Comparable___OTHER(REGB2), VTID_standard___kernel___Comparable___OTHER(REGB2))) /*cast OTHER*/;
-    if (UNTAG_Bool(REGB4)) {
-    } else {
-      nit_abort("Cast failed", NULL, LOCATE_standard___kernel, 0);
-    }
-    /* ../lib/standard/kernel.nit:242 */
-    REGB3 = TAG_Bool(UNTAG_Int(REGB2)<UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:367 */
-    if (UNTAG_Bool(REGB3)) {
-      REGB3 = TAG_Int(3);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
-      /* ../lib/standard/kernel.nit:367 */
-      REGB0 = REGB3;
-      goto label1;
-    }
-    /* ../lib/standard/kernel.nit:368 */
-    REGB3 = TAG_Int(10000);
-    /* ../lib/standard/kernel.nit:249 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB2)/UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:368 */
-    REGB2 = REGB3;
-    /* ../lib/standard/kernel.nit:369 */
-    REGB3 = TAG_Int(4);
-    /* ../lib/standard/kernel.nit:245 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:369 */
-    REGB1 = REGB3;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Int___to_c[] = "kernel::Int::to_c";
-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 = 373;
-  fra.me.meth = LOCATE_standard___kernel___Int___to_c;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:380 */
-  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:243 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:380 */
-  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:241 */
-    REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
-  } else {
-    /* ../lib/standard/kernel.nit:380 */
-    REGB2 = TAG_Bool(0);
-    REGB1 = REGB2;
-  }
-  if (UNTAG_Bool(REGB1)) {
-  } else {
-    nit_abort("Assert failed", NULL, LOCATE_standard___kernel, 380);
-  }
-  /* ../lib/standard/kernel.nit:381 */
-  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:242 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:381 */
-  if (UNTAG_Bool(REGB1)) {
-    /* ../lib/standard/kernel.nit:382 */
-    REGB1 = TAG_Char('0');
-    /* ../lib/standard/kernel.nit:471 */
-    REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
-    /* ../lib/standard/kernel.nit:245 */
-    REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
-    /* ../lib/standard/kernel.nit:318 */
-    REGB1 = TAG_Char(UNTAG_Int(REGB1));
-    /* ../lib/standard/kernel.nit:382 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:384 */
-    REGB2 = TAG_Char('a');
-    /* ../lib/standard/kernel.nit:471 */
-    REGB2 = TAG_Int((unsigned char)UNTAG_Char(REGB2));
-    /* ../lib/standard/kernel.nit:384 */
-    REGB3 = TAG_Int(10);
-    /* ../lib/standard/kernel.nit:247 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB2)-UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:245 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:318 */
-    REGB3 = TAG_Char(UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:384 */
-    REGB1 = REGB3;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Int___enumerate_to[] = "kernel::Int::enumerate_to";
-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 = 388;
-  fra.me.meth = LOCATE_standard___kernel___Int___enumerate_to;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.closure_ctx = closctx_param;
-  fra.me.closure_funs = CREG;
-  REGB0 = p0;
-  REGB1 = p1;
-  CREG[0] = clos_fun0;
-  /* ../lib/standard/kernel.nit:393 */
-  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:241 */
-    REGB2 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
-    /* ../lib/standard/kernel.nit:393 */
-    if (UNTAG_Bool(REGB2)) {
-      /* ../lib/standard/kernel.nit:394 */
-      ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
-      if (closctx_param->has_broke) {
-        goto label1;
-      }
-      /* ../lib/standard/kernel.nit:395 */
-      REGB2 = TAG_Int(1);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
-      /* ../lib/standard/kernel.nit:395 */
-      REGB0 = REGB2;
-    } else {
-      /* ../lib/standard/kernel.nit:393 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Int___enumerate_before[] = "kernel::Int::enumerate_before";
-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 = 399;
-  fra.me.meth = LOCATE_standard___kernel___Int___enumerate_before;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.closure_ctx = closctx_param;
-  fra.me.closure_funs = CREG;
-  REGB0 = p0;
-  REGB1 = p1;
-  CREG[0] = clos_fun0;
-  /* ../lib/standard/kernel.nit:404 */
-  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:242 */
-    REGB2 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
-    /* ../lib/standard/kernel.nit:404 */
-    if (UNTAG_Bool(REGB2)) {
-      /* ../lib/standard/kernel.nit:405 */
-      ((void (*)(struct stack_frame_t *, val_t))(CREG[0]))(closctx_param, REGB0);
-      if (closctx_param->has_broke) {
-        goto label1;
-      }
-      /* ../lib/standard/kernel.nit:406 */
-      REGB2 = TAG_Int(1);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB2 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB2));
-      /* ../lib/standard/kernel.nit:406 */
-      REGB0 = REGB2;
-    } else {
-      /* ../lib/standard/kernel.nit:404 */
-      goto label2;
-    }
-  }
-  label2: while(0);
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Int___abs[] = "kernel::Int::abs";
-val_t standard___kernel___Int___abs(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 = 410;
-  fra.me.meth = LOCATE_standard___kernel___Int___abs;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:417 */
-  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:243 */
-  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:417 */
-  if (UNTAG_Bool(REGB1)) {
-    /* ../lib/standard/kernel.nit:419 */
-    REGB1 = REGB0;
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:421 */
-    REGB2 = TAG_Int(1);
-    /* ../lib/standard/kernel.nit:246 */
-    REGB2 = TAG_Int(-UNTAG_Int(REGB2));
-    /* ../lib/standard/kernel.nit:248 */
-    REGB0 = TAG_Int(UNTAG_Int(REGB2)*UNTAG_Int(REGB0));
-    /* ../lib/standard/kernel.nit:421 */
-    REGB1 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char___object_id[] = "kernel::Char::(kernel::Object::object_id)";
-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 = 433;
-  fra.me.meth = LOCATE_standard___kernel___Char___object_id;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:433 */
-  REGB0 = TAG_Int(UNTAG_Char(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Char_____eqeq[] = "kernel::Char::(kernel::Object::==)";
-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 = 434;
-  fra.me.meth = LOCATE_standard___kernel___Char_____eqeq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ../lib/standard/kernel.nit:434 */
-  REGB0 = TAG_Bool((REGB0)==(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Char_____neq[] = "kernel::Char::(kernel::Object::!=)";
-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 = 435;
-  fra.me.meth = LOCATE_standard___kernel___Char_____neq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 1;
-  fra.me.nitni_local_ref_head = NULL;
-  fra.me.REG[0] = NIT_NULL;
-  REGB0 = p0;
-  fra.me.REG[0] = p1;
-  /* ../lib/standard/kernel.nit:435 */
-  REGB0 = TAG_Bool((REGB0)!=(fra.me.REG[0]));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Char___output[] = "kernel::Char::(kernel::Object::output)";
-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 = 436;
-  fra.me.meth = LOCATE_standard___kernel___Char___output;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:436 */
-  printf("%c", (unsigned char)UNTAG_Char(REGB0));;
-  stack_frame_head = fra.me.prev;
-  return;
-}
-static const char LOCATE_standard___kernel___Char_____leq[] = "kernel::Char::(kernel::Comparable::<=)";
-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 = 438;
-  fra.me.meth = LOCATE_standard___kernel___Char_____leq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:438 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char_____l[] = "kernel::Char::(kernel::Comparable::<)";
-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 = 439;
-  fra.me.meth = LOCATE_standard___kernel___Char_____l;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:439 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)<UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char_____geq[] = "kernel::Char::(kernel::Comparable::>=)";
-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 = 440;
-  fra.me.meth = LOCATE_standard___kernel___Char_____geq;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:440 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char_____g[] = "kernel::Char::(kernel::Comparable::>)";
-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 = 441;
-  fra.me.meth = LOCATE_standard___kernel___Char_____g;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:441 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char___succ[] = "kernel::Char::(kernel::Discrete::succ)";
-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 = 443;
-  fra.me.meth = LOCATE_standard___kernel___Char___succ;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:443 */
-  REGB0 = TAG_Char(UNTAG_Char(REGB0)+1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Char___prec[] = "kernel::Char::(kernel::Discrete::prec)";
-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 = 444;
-  fra.me.meth = LOCATE_standard___kernel___Char___prec;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:444 */
-  REGB0 = TAG_Char(UNTAG_Char(REGB0)-1);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Char___distance[] = "kernel::Char::(kernel::Discrete::distance)";
-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 = 446;
-  fra.me.meth = LOCATE_standard___kernel___Char___distance;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  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:471 */
-  REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-  REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB1));
-  /* ../lib/standard/kernel.nit:247 */
-  REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-  /* ../lib/standard/kernel.nit:449 */
-  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:243 */
-  REGB0 = TAG_Bool(UNTAG_Int(REGB1)>=UNTAG_Int(REGB0));
-  /* ../lib/standard/kernel.nit:449 */
-  if (UNTAG_Bool(REGB0)) {
-    /* ../lib/standard/kernel.nit:450 */
-    REGB0 = REGB1;
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:246 */
-    REGB1 = TAG_Int(-UNTAG_Int(REGB1));
-    /* ../lib/standard/kernel.nit:452 */
-    REGB0 = REGB1;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Char___to_i[] = "kernel::Char::to_i";
-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 = 456;
-  fra.me.meth = LOCATE_standard___kernel___Char___to_i;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:462 */
-  REGB1 = TAG_Char('-');
-  REGB2 = TAG_Bool(IS_EQUAL_OO(REGB0,REGB1));
-  if (UNTAG_Bool(REGB2)) {
-  } else {
-    /* ../lib/standard/kernel.nit:434 */
-    REGB1 = TAG_Bool((REGB0)==(REGB1));
-    /* ../lib/standard/kernel.nit:462 */
-    REGB2 = REGB1;
-  }
-  if (UNTAG_Bool(REGB2)) {
-    /* ../lib/standard/kernel.nit:463 */
-    REGB2 = TAG_Int(1);
-    /* ../lib/standard/kernel.nit:246 */
-    REGB2 = TAG_Int(-UNTAG_Int(REGB2));
-    /* ../lib/standard/kernel.nit:463 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:464 */
-    REGB1 = CALL_standard___kernel___Char___is_digit(REGB0)(REGB0);
-    if (UNTAG_Bool(REGB1)) {
-      /* ../lib/standard/kernel.nit:471 */
-      REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-      /* ../lib/standard/kernel.nit:465 */
-      REGB3 = TAG_Char('0');
-      /* ../lib/standard/kernel.nit:471 */
-      REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
-      /* ../lib/standard/kernel.nit:247 */
-      REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
-      /* ../lib/standard/kernel.nit:465 */
-      REGB2 = REGB3;
-      goto label1;
-    } else {
-      /* ../lib/standard/kernel.nit:467 */
-      REGB0 = CALL_standard___kernel___Char___to_lower(REGB0)(REGB0);
-      /* ../lib/standard/kernel.nit:471 */
-      REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-      /* ../lib/standard/kernel.nit:467 */
-      REGB3 = TAG_Char('a');
-      /* ../lib/standard/kernel.nit:471 */
-      REGB3 = TAG_Int((unsigned char)UNTAG_Char(REGB3));
-      /* ../lib/standard/kernel.nit:467 */
-      REGB1 = TAG_Int(10);
-      /* ../lib/standard/kernel.nit:245 */
-      REGB1 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB1));
-      /* ../lib/standard/kernel.nit:247 */
-      REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
-      /* ../lib/standard/kernel.nit:467 */
-      REGB2 = REGB1;
-      goto label1;
-    }
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB2;
-}
-static const char LOCATE_standard___kernel___Char___ascii[] = "kernel::Char::ascii";
-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 = 471;
-  fra.me.meth = LOCATE_standard___kernel___Char___ascii;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:471 */
-  REGB0 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-  stack_frame_head = fra.me.prev;
-  return REGB0;
-}
-static const char LOCATE_standard___kernel___Char_____plus[] = "kernel::Char::(kernel::Discrete::+)";
-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 = 477;
-  fra.me.meth = LOCATE_standard___kernel___Char_____plus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:477 */
-  REGB1 = TAG_Char(UNTAG_Char(REGB0)+UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char_____minus[] = "kernel::Char::(kernel::Discrete::-)";
-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 = 478;
-  fra.me.meth = LOCATE_standard___kernel___Char_____minus;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  REGB1 = p1;
-  /* ../lib/standard/kernel.nit:478 */
-  REGB1 = TAG_Char(UNTAG_Char(REGB0)-UNTAG_Char(REGB1));
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char___to_lower[] = "kernel::Char::to_lower";
-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 = 480;
-  fra.me.meth = LOCATE_standard___kernel___Char___to_lower;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:488 */
-  REGB1 = CALL_standard___kernel___Char___is_upper(REGB0)(REGB0);
-  if (UNTAG_Bool(REGB1)) {
-    /* ../lib/standard/kernel.nit:471 */
-    REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-    /* ../lib/standard/kernel.nit:489 */
-    REGB2 = TAG_Char('a');
-    REGB3 = TAG_Char('A');
-    REGB3 = CALL_standard___kernel___Discrete___distance(REGB2)(REGB2, REGB3);
-    /* ../lib/standard/kernel.nit:245 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:318 */
-    REGB3 = TAG_Char(UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:489 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:491 */
-    REGB3 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB3;
-}
-static const char LOCATE_standard___kernel___Char___to_upper[] = "kernel::Char::to_upper";
-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 = 495;
-  fra.me.meth = LOCATE_standard___kernel___Char___to_upper;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:503 */
-  REGB1 = CALL_standard___kernel___Char___is_lower(REGB0)(REGB0);
-  if (UNTAG_Bool(REGB1)) {
-    /* ../lib/standard/kernel.nit:471 */
-    REGB1 = TAG_Int((unsigned char)UNTAG_Char(REGB0));
-    /* ../lib/standard/kernel.nit:504 */
-    REGB2 = TAG_Char('a');
-    REGB3 = TAG_Char('A');
-    REGB3 = CALL_standard___kernel___Discrete___distance(REGB2)(REGB2, REGB3);
-    /* ../lib/standard/kernel.nit:247 */
-    REGB3 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:318 */
-    REGB3 = TAG_Char(UNTAG_Int(REGB3));
-    /* ../lib/standard/kernel.nit:504 */
-    goto label1;
-  } else {
-    /* ../lib/standard/kernel.nit:506 */
-    REGB3 = REGB0;
-    goto label1;
-  }
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB3;
-}
-static const char LOCATE_standard___kernel___Char___is_digit[] = "kernel::Char::is_digit";
-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 = 510;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_digit;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:517 */
-  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:440 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  /* ../lib/standard/kernel.nit:517 */
-  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:438 */
-    REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  } else {
-    /* ../lib/standard/kernel.nit:517 */
-    REGB0 = TAG_Bool(0);
-    REGB1 = REGB0;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char___is_lower[] = "kernel::Char::is_lower";
-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 = 520;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_lower;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:528 */
-  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:440 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  /* ../lib/standard/kernel.nit:528 */
-  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:438 */
-    REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  } else {
-    /* ../lib/standard/kernel.nit:528 */
-    REGB0 = TAG_Bool(0);
-    REGB1 = REGB0;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char___is_upper[] = "kernel::Char::is_upper";
-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 = 531;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_upper;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:539 */
-  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:440 */
-  REGB1 = TAG_Bool(UNTAG_Char(REGB0)>=UNTAG_Char(REGB1));
-  /* ../lib/standard/kernel.nit:539 */
-  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:438 */
-    REGB1 = TAG_Bool(UNTAG_Char(REGB0)<=UNTAG_Char(REGB1));
-  } else {
-    /* ../lib/standard/kernel.nit:539 */
-    REGB0 = TAG_Bool(0);
-    REGB1 = REGB0;
-  }
-  goto label1;
-  label1: while(0);
-  stack_frame_head = fra.me.prev;
-  return REGB1;
-}
-static const char LOCATE_standard___kernel___Char___is_letter[] = "kernel::Char::is_letter";
-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 = 542;
-  fra.me.meth = LOCATE_standard___kernel___Char___is_letter;
-  fra.me.has_broke = 0;
-  fra.me.REG_size = 0;
-  fra.me.nitni_local_ref_head = NULL;
-  REGB0 = p0;
-  /* ../lib/standard/kernel.nit:550 */
-  REGB1 = CALL_standard___kernel___Char___is_lower(REGB0)(REGB0);
-  if (UNTAG_Bool(REGB1)) {
-    REGB1 = TAG_Bool(1);
-  } 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;
-}