X-Git-Url: http://nitlanguage.org

diff --git a/c_src/range._sep.c b/c_src/range._sep.c
index f8f810a..d1d5fc3 100644
--- a/c_src/range._sep.c
+++ b/c_src/range._sep.c
@@ -1,216 +1,475 @@
 /* This C file is generated by NIT to compile module range. */
 #include "range._sep.h"
-val_t range___Range___first(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 22, LOCATE_range___Range___first};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  tracehead = trace.prev;
-  return ATTR_range___Range____first( self) /*Range::_first*/;
+val_t range___Range___iterator(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_range;
+  fra.me.line = 43;
+  fra.me.meth = LOCATE_range___Range___iterator;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[0] = NEW_IteratorRange_range___IteratorRange___init(fra.me.REG[0]);
+  /* ./../lib/standard//collection//range.nit:43 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t range___Range___last(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 24, LOCATE_range___Range___last};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  tracehead = trace.prev;
-  return ATTR_range___Range____last( self) /*Range::_last*/;
+val_t range___Range___is_empty(val_t p0){
+  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_range;
+  fra.me.line = 55;
+  fra.me.meth = LOCATE_range___Range___is_empty;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:55 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_first");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 55);
+    nit_exit(1);
+  }
+  fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
+  REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_after");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 55);
+    nit_exit(1);
+  }
+  fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
+  REGB0 = CALL_kernel___Comparable_____geq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t range___Range___after(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 27, LOCATE_range___Range___after};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  tracehead = trace.prev;
-  return ATTR_range___Range____after( self) /*Range::_after*/;
+val_t range___Range___length(val_t p0){
+  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_range;
+  fra.me.line = 45;
+  fra.me.meth = LOCATE_range___Range___length;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:47 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_first");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 47);
+    nit_exit(1);
+  }
+  fra.me.REG[1] = ATTR_range___Range____first(fra.me.REG[0]);
+  REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_after");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 47);
+    nit_exit(1);
+  }
+  fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
+  REGB0 = CALL_kernel___Discrete___distance(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+  REGB1 = TAG_Int(0);
+  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>UNTAG_Int(REGB1));
+  /* ./../lib/standard//collection//range.nit:48 */
+  if (UNTAG_Bool(REGB1)) {
+    /* ./../lib/standard//collection//range.nit:49 */
+    goto label1;
+  } else {
+    REGB1 = TAG_Int(0);
+    REGB0 = REGB1;
+    /* ./../lib/standard//collection//range.nit:51 */
+    goto label1;
+  }
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t range___Range___has(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 30, LOCATE_range___Range___has};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 =  param0;
-  variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
-  variable1 = ((kernel___Comparable_____geq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____geq))( variable0 /*item*/, variable1) /*Comparable::>=*/;
-  variable2 = variable1;
-  if (UNTAG_Bool(variable2)) { /* and */
-    variable2 = ATTR_range___Range____last( self) /*Range::_last*/;
-    variable2 = ((kernel___Comparable_____leq_t)CALL( variable0 /*item*/,COLOR_kernel___Comparable_____leq))( variable0 /*item*/, variable2) /*Comparable::<=*/;
-  }
-  variable1 = variable2;
-  goto return_label0;
-  return_label0: while(false);
-  tracehead = trace.prev;
-  return variable1;
+val_t range___Range___has(val_t p0, val_t p1){
+  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_range;
+  fra.me.line = 30;
+  fra.me.meth = LOCATE_range___Range___has;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:30 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_first");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 30);
+    nit_exit(1);
+  }
+  fra.me.REG[2] = ATTR_range___Range____first(fra.me.REG[0]);
+  REGB0 = CALL_kernel___Comparable_____geq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+  if (UNTAG_Bool(REGB0)) {
+    REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      fprintf(stderr, "Uninitialized attribute %s", "_last");
+      fprintf(stderr, " (%s:%d)\n", LOCATE_range, 30);
+      nit_exit(1);
+    }
+    fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
+    REGB0 = CALL_kernel___Comparable_____leq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+  } else {
+    REGB1 = TAG_Bool(false);
+    REGB0 = REGB1;
+  }
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t range___Range___has_only(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 32, LOCATE_range___Range___has_only};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 =  param0;
-  variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
-  variable1 = TAG_Bool((variable1 ==  variable0 /*item*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, variable0 /*item*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1,  variable0 /*item*/) /*Object::==*/)))));
-  variable2 = variable1;
-  if (UNTAG_Bool(variable2)) { /* and */
-    variable2 = ATTR_range___Range____last( self) /*Range::_last*/;
-    variable2 = TAG_Bool(( variable0 /*item*/ == variable2) || (( variable0 /*item*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*item*/,variable2)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*item*/,COLOR_kernel___Object_____eqeq))( variable0 /*item*/, variable2) /*Object::==*/)))));
-  }
-  variable1 = variable2;
-  goto return_label1;
-  return_label1: while(false);
-  tracehead = trace.prev;
-  return variable1;
+val_t range___Range___has_only(val_t p0, val_t p1){
+  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_range;
+  fra.me.line = 32;
+  fra.me.meth = LOCATE_range___Range___has_only;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:32 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_first");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 32);
+    nit_exit(1);
+  }
+  fra.me.REG[2] = ATTR_range___Range____first(fra.me.REG[0]);
+  REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[2],fra.me.REG[1]));
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+    REGB0 = REGB1;
+  }
+  if (UNTAG_Bool(REGB0)) {
+    REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      fprintf(stderr, "Uninitialized attribute %s", "_last");
+      fprintf(stderr, " (%s:%d)\n", LOCATE_range, 32);
+      nit_exit(1);
+    }
+    fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
+    REGB0 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[1],fra.me.REG[0]));
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+      REGB0 = REGB1;
+    }
+  } else {
+    REGB1 = TAG_Bool(false);
+    REGB0 = REGB1;
+  }
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t range___Range___count(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 34, LOCATE_range___Range___count};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 =  param0;
-  variable1 = ((range___Range___has_t)CALL( self,COLOR_abstract_collection___Collection___has))( self,  variable0 /*item*/) /*Range::has*/;
-  if (UNTAG_Bool(variable1)) { /*if*/
-    variable1 =  TAG_Int(1);
-    goto return_label2;
-  } else { /*if*/
-    variable1 =  TAG_Int(0);
-    goto return_label2;
-  }
-  return_label2: while(false);
-  tracehead = trace.prev;
-  return variable1;
+val_t range___Range___count(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_range;
+  fra.me.line = 34;
+  fra.me.meth = LOCATE_range___Range___count;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  REGB0 = CALL_abstract_collection___Collection___has(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  /* ./../lib/standard//collection//range.nit:36 */
+  if (UNTAG_Bool(REGB0)) {
+    REGB0 = TAG_Int(1);
+    /* ./../lib/standard//collection//range.nit:37 */
+    goto label1;
+  } else {
+    REGB1 = TAG_Int(0);
+    REGB0 = REGB1;
+    /* ./../lib/standard//collection//range.nit:39 */
+    goto label1;
+  }
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t range___Range___iterator(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 43, LOCATE_range___Range___iterator};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 = NEW_range___IteratorRange___init( self); /*new IteratorRange[E]*/
-  goto return_label3;
-  return_label3: while(false);
-  tracehead = trace.prev;
-  return variable0;
+val_t range___Range___first(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_range;
+  fra.me.line = 22;
+  fra.me.meth = LOCATE_range___Range___first;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___Range____first(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:22 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_first");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 22);
+    nit_exit(1);
+  }
+  fra.me.REG[0] = ATTR_range___Range____first(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t range___Range___length(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 45, LOCATE_range___Range___length};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable1 = ATTR_range___Range____first( self) /*Range::_first*/;
-  variable2 = ATTR_range___Range____after( self) /*Range::_after*/;
-  variable1 = ((kernel___Discrete___distance_t)CALL(variable1,COLOR_kernel___Discrete___distance))(variable1, variable2) /*Discrete::distance*/;
-  variable0 = variable1;
-  variable1 = TAG_Bool(UNTAG_Int( variable0 /*nb*/)>UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable1)) { /*if*/
-    variable0 =  variable0 /*nb*/;
-    goto return_label4;
-  } else { /*if*/
-    variable0 =  TAG_Int(0);
-    goto return_label4;
-  }
-  return_label4: while(false);
-  tracehead = trace.prev;
-  return variable0;
+val_t range___Range___last(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_range;
+  fra.me.line = 24;
+  fra.me.meth = LOCATE_range___Range___last;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___Range____last(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:24 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_last");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 24);
+    nit_exit(1);
+  }
+  fra.me.REG[0] = ATTR_range___Range____last(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t range___Range___is_empty(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 55, LOCATE_range___Range___is_empty};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 = ATTR_range___Range____first( self) /*Range::_first*/;
-  variable1 = ATTR_range___Range____after( self) /*Range::_after*/;
-  variable0 = ((kernel___Comparable_____geq_t)CALL(variable0,COLOR_kernel___Comparable_____geq))(variable0, variable1) /*Comparable::>=*/;
-  goto return_label5;
-  return_label5: while(false);
-  tracehead = trace.prev;
-  return variable0;
+val_t range___Range___after(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_range;
+  fra.me.line = 27;
+  fra.me.meth = LOCATE_range___Range___after;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___Range____after(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:27 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_after");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 27);
+    nit_exit(1);
+  }
+  fra.me.REG[0] = ATTR_range___Range____after(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void range___Range___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 57, LOCATE_range___Range___init};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 =  param0;
-  variable1 =  param1;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i]) return;
-  ATTR_range___Range____first( self) /*Range::_first*/ =  variable0 /*from*/;
-  ATTR_range___Range____last( self) /*Range::_last*/ =  variable1 /*to*/;
-  variable2 = ((kernel___Discrete___succ_t)CALL( variable1 /*to*/,COLOR_kernel___Discrete___succ))( variable1 /*to*/) /*Discrete::succ*/;
-  ATTR_range___Range____after( self) /*Range::_after*/ = variable2;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i] = 1;
-  tracehead = trace.prev;
+void range___Range___init(val_t p0, val_t p1, val_t p2, int* init_table){
+  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Range].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t tmp;
+  if (init_table[itpos0]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_range;
+  fra.me.line = 57;
+  fra.me.meth = LOCATE_range___Range___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  /* ./../lib/standard//collection//range.nit:61 */
+  ATTR_range___Range____first(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//collection//range.nit:62 */
+  ATTR_range___Range____last(fra.me.REG[0]) = fra.me.REG[2];
+  fra.me.REG[2] = CALL_kernel___Discrete___succ(fra.me.REG[2])(fra.me.REG[2]);
+  /* ./../lib/standard//collection//range.nit:63 */
+  ATTR_range___Range____after(fra.me.REG[0]) = fra.me.REG[2];
+  stack_frame_head = fra.me.prev;
+  init_table[itpos0] = 1;
   return;
 }
-void range___Range___without_last(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 66, LOCATE_range___Range___without_last};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 =  param0;
-  variable1 =  param1;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i]) return;
-  ATTR_range___Range____first( self) /*Range::_first*/ =  variable0 /*from*/;
-  variable2 = ((kernel___Discrete___prec_t)CALL( variable1 /*to*/,COLOR_kernel___Discrete___prec))( variable1 /*to*/) /*Discrete::prec*/;
-  ATTR_range___Range____last( self) /*Range::_last*/ = variable2;
-  ATTR_range___Range____after( self) /*Range::_after*/ =  variable1 /*to*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Range].i] = 1;
-  tracehead = trace.prev;
+void range___Range___without_last(val_t p0, val_t p1, val_t p2, int* init_table){
+  int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Range].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t tmp;
+  if (init_table[itpos1]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_range;
+  fra.me.line = 66;
+  fra.me.meth = LOCATE_range___Range___without_last;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 3;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  /* ./../lib/standard//collection//range.nit:70 */
+  ATTR_range___Range____first(fra.me.REG[0]) = fra.me.REG[1];
+  fra.me.REG[1] = CALL_kernel___Discrete___prec(fra.me.REG[2])(fra.me.REG[2]);
+  /* ./../lib/standard//collection//range.nit:71 */
+  ATTR_range___Range____last(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//collection//range.nit:72 */
+  ATTR_range___Range____after(fra.me.REG[0]) = fra.me.REG[2];
+  stack_frame_head = fra.me.prev;
+  init_table[itpos1] = 1;
   return;
 }
-val_t range___IteratorRange___item(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 80, LOCATE_range___IteratorRange___item};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  tracehead = trace.prev;
-  return ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
-}
-val_t range___IteratorRange___is_ok(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 82, LOCATE_range___IteratorRange___is_ok};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 = ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
-  variable1 = ATTR_range___IteratorRange____range( self) /*IteratorRange::_range*/;
-  variable1 = ((range___Range___after_t)CALL(variable1,COLOR_range___Range___after))(variable1) /*Range::after*/;
-  variable0 = ((kernel___Comparable_____l_t)CALL(variable0,COLOR_kernel___Comparable_____l))(variable0, variable1) /*Comparable::<*/;
-  goto return_label8;
-  return_label8: while(false);
-  tracehead = trace.prev;
-  return variable0;
+val_t range___IteratorRange___item(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_range;
+  fra.me.line = 80;
+  fra.me.meth = LOCATE_range___IteratorRange___item;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:80 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_item");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 80);
+    nit_exit(1);
+  }
+  fra.me.REG[0] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void range___IteratorRange___next(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 84, LOCATE_range___IteratorRange___next};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 = ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/;
-  variable0 = ((kernel___Discrete___succ_t)CALL(variable0,COLOR_kernel___Discrete___succ))(variable0) /*Discrete::succ*/;
-  ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/ = variable0;
-  tracehead = trace.prev;
+void range___IteratorRange___next(val_t p0){
+  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_range;
+  fra.me.line = 84;
+  fra.me.meth = LOCATE_range___IteratorRange___next;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:84 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_item");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 84);
+    nit_exit(1);
+  }
+  fra.me.REG[1] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
+  fra.me.REG[1] = CALL_kernel___Discrete___succ(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_range___IteratorRange____item(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
   return;
 }
-void range___IteratorRange___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 86, LOCATE_range___IteratorRange___init};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_range;
-  variable0 =  param0;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IteratorRange].i]) return;
-  ATTR_range___IteratorRange____range( self) /*IteratorRange::_range*/ =  variable0 /*r*/;
-  variable1 = ((range___Range___first_t)CALL( variable0 /*r*/,COLOR_abstract_collection___Collection___first))( variable0 /*r*/) /*Range::first*/;
-  ATTR_range___IteratorRange____item( self) /*IteratorRange::_item*/ = variable1;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IteratorRange].i] = 1;
-  tracehead = trace.prev;
+val_t range___IteratorRange___is_ok(val_t p0){
+  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_range;
+  fra.me.line = 82;
+  fra.me.meth = LOCATE_range___IteratorRange___is_ok;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = TAG_Bool(ATTR_range___IteratorRange____item(fra.me.REG[0])!=NIT_NULL);
+  /* ./../lib/standard//collection//range.nit:82 */
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_item");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 82);
+    nit_exit(1);
+  }
+  fra.me.REG[1] = ATTR_range___IteratorRange____item(fra.me.REG[0]);
+  REGB0 = TAG_Bool(ATTR_range___IteratorRange____range(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    fprintf(stderr, "Uninitialized attribute %s", "_range");
+    fprintf(stderr, " (%s:%d)\n", LOCATE_range, 82);
+    nit_exit(1);
+  }
+  fra.me.REG[0] = ATTR_range___IteratorRange____range(fra.me.REG[0]);
+  fra.me.REG[0] = CALL_range___Range___after(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = CALL_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;
+}
+void range___IteratorRange___init(val_t p0, val_t p1, int* init_table){
+  int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_IteratorRange].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t tmp;
+  if (init_table[itpos2]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_range;
+  fra.me.line = 86;
+  fra.me.meth = LOCATE_range___IteratorRange___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//collection//range.nit:88 */
+  ATTR_range___IteratorRange____range(fra.me.REG[0]) = fra.me.REG[1];
+  fra.me.REG[1] = CALL_abstract_collection___Collection___first(fra.me.REG[1])(fra.me.REG[1]);
+  /* ./../lib/standard//collection//range.nit:89 */
+  ATTR_range___IteratorRange____item(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
+  init_table[itpos2] = 1;
   return;
 }