c_src: update for 0.4

[nit.git] / c_src / opts._sep.c

diff --git a/c_src/opts._sep.c b/c_src/opts._sep.c
index 4f2121d..8c21842 100644 (file)
--- a/c_src/opts._sep.c
+++ b/c_src/opts._sep.c
@@ -1,1129 +1,1781 @@
 /* This C file is generated by NIT to compile module opts. */
 #include "opts._sep.h"
-val_t opts___Option___to_s(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 54, LOCATE_opts___Option___to_s};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_opts___Option___pretty(variable[0])(variable[0],  TAG_Int(2)) /*Option::pretty*/;
-  variable[1] = variable[2];
-  goto return_label0;
-  return_label0: while(false);
-  tracehead = trace.prev;
-  return variable[1];
-}
-val_t opts___Option___names(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 16, LOCATE_opts___Option___names};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___Option____names( self) /*Option::_names*/;
+val_t opts___Option___names(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_opts;
+  fra.me.line = 16;
+  fra.me.meth = LOCATE_opts___Option___names;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:16 */
+  REGB0 = TAG_Bool(ATTR_opts___Option____names(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_names", LOCATE_opts, 16);
+  }
+  fra.me.REG[0] = ATTR_opts___Option____names(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t opts___Option___helptext(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 22, LOCATE_opts___Option___helptext};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___Option____helptext( self) /*Option::_helptext*/;
+val_t opts___Option___helptext(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_opts;
+  fra.me.line = 22;
+  fra.me.meth = LOCATE_opts___Option___helptext;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:22 */
+  REGB0 = TAG_Bool(ATTR_opts___Option____helptext(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_helptext", LOCATE_opts, 22);
+  }
+  fra.me.REG[0] = ATTR_opts___Option____helptext(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t opts___Option___mandatory(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 25, LOCATE_opts___Option___mandatory};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___Option____mandatory( self) /*Option::_mandatory*/;
+val_t opts___Option___mandatory(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_opts;
+  fra.me.line = 25;
+  fra.me.meth = LOCATE_opts___Option___mandatory;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:25 */
+  REGB0 = TAG_Bool(ATTR_opts___Option____mandatory(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_mandatory", LOCATE_opts, 25);
+  }
+  REGB0 = ATTR_opts___Option____mandatory(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-void opts___Option___mandatory__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 25, LOCATE_opts___Option___mandatory__eq};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  ATTR_opts___Option____mandatory( self) /*Option::_mandatory*/ =  param0;
-  tracehead = trace.prev;
+void opts___Option___mandatory__eq(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_opts;
+  fra.me.line = 25;
+  fra.me.meth = LOCATE_opts___Option___mandatory__eq;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./../lib/opts.nit:25 */
+  ATTR_opts___Option____mandatory(fra.me.REG[0]) = REGB0;
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t opts___Option___context(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 28, LOCATE_opts___Option___context};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___Option____context( self) /*Option::_context*/;
-}
-void opts___Option___context__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 28, LOCATE_opts___Option___context__eq};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  ATTR_opts___Option____context( self) /*Option::_context*/ =  param0;
-  tracehead = trace.prev;
+void opts___Option___value__eq(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_opts;
+  fra.me.line = 28;
+  fra.me.meth = LOCATE_opts___Option___value__eq;
+  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/opts.nit:28 */
+  ATTR_opts___Option____value(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t opts___Option___value(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 31, LOCATE_opts___Option___value};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___Option____value( self) /*Option::_value*/;
-}
-void opts___Option___value__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 31, LOCATE_opts___Option___value__eq};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  ATTR_opts___Option____value( self) /*Option::_value*/ =  param0;
-  tracehead = trace.prev;
-  return;
+val_t opts___Option___value(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_opts;
+  fra.me.line = 31;
+  fra.me.meth = LOCATE_opts___Option___value;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:32 */
+  fra.me.REG[0] = ATTR_opts___Option____value(fra.me.REG[0]);
+  REGB0 = TAG_Bool((fra.me.REG[0]==NIT_NULL) || VAL_ISA(fra.me.REG[0], COLOR_Object, ID_Object)) /*cast VALUE*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 32);
+  }
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t opts___Option___default_value(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 34, LOCATE_opts___Option___default_value};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___Option____default_value( self) /*Option::_default_value*/;
+val_t opts___Option___default_value(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_opts;
+  fra.me.line = 34;
+  fra.me.meth = LOCATE_opts___Option___default_value;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:34 */
+  fra.me.REG[0] = ATTR_opts___Option____default_value(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void opts___Option___default_value__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 34, LOCATE_opts___Option___default_value__eq};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  ATTR_opts___Option____default_value( self) /*Option::_default_value*/ =  param0;
-  tracehead = trace.prev;
+void opts___Option___default_value__eq(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_opts;
+  fra.me.line = 34;
+  fra.me.meth = LOCATE_opts___Option___default_value__eq;
+  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/opts.nit:34 */
+  ATTR_opts___Option____default_value(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
   return;
 }
-void opts___Option___init_opt(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 37, LOCATE_opts___Option___init_opt};
-  val_t variable[6];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  variable[2] =  param1;
-  /* Register variable[3]: Local variable */
-  variable[3] =  param2;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Option].i]) return;
-  /* Register variable[4]: Method return value and escape marker */
-  /* Register variable[5]: Result */
-  variable[5] = TAG_Bool(( variable[3] /*names*/ ==  NIT_NULL /*null*/) || (( variable[3] /*names*/ != NIT_NULL) && UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[3] /*names*/)( variable[3] /*names*/,  NIT_NULL /*null*/) /*AbstractArrayRead::==*/)));
-  if (UNTAG_Bool(variable[5])) { /*if*/
-    /* Register variable[5]: Result */
-    variable[5] = NEW_Array_array___Array___init() /*new Array[String]*/;
-    ATTR_opts___Option____names(variable[0]) /*Option::_names*/ = variable[5];
-  } else { /*if*/
-    /* Register variable[5]: Result */
-    variable[5] = CALL_array___Collection___to_a( variable[3] /*names*/)( variable[3] /*names*/) /*Collection::to_a*/;
-    ATTR_opts___Option____names(variable[0]) /*Option::_names*/ = variable[5];
+void opts___Option___init_opt(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
+  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Option].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  if (init_table[itpos0]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 37;
+  fra.me.meth = LOCATE_opts___Option___init_opt;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 5;
+  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[4] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  fra.me.REG[3] = p3;
+  /* ./../lib/opts.nit:40 */
+  REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/opts.nit:41 */
+    fra.me.REG[4] = NEW_Array_array___Array___init();
+    ATTR_opts___Option____names(fra.me.REG[0]) = fra.me.REG[4];
+  } else {
+    /* ./../lib/opts.nit:43 */
+    REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+      nit_abort("Reciever is null", NULL, LOCATE_opts, 43);
+    }
+    fra.me.REG[3] = CALL_array___Collection___to_a(fra.me.REG[3])(fra.me.REG[3]);
+    ATTR_opts___Option____names(fra.me.REG[0]) = fra.me.REG[3];
   }
-  ATTR_opts___Option____helptext(variable[0]) /*Option::_helptext*/ =  variable[1] /*help*/;
-  ATTR_opts___Option____mandatory(variable[0]) /*Option::_mandatory*/ =  TAG_Bool(false);
-  ATTR_opts___Option____default_value(variable[0]) /*Option::_default_value*/ =  variable[2] /*default*/;
-  ATTR_opts___Option____value(variable[0]) /*Option::_value*/ =  variable[2] /*default*/;
-  return_label1: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Option].i] = 1;
-  tracehead = trace.prev;
+  /* ./../lib/opts.nit:45 */
+  ATTR_opts___Option____helptext(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/opts.nit:46 */
+  REGB0 = TAG_Bool(false);
+  ATTR_opts___Option____mandatory(fra.me.REG[0]) = REGB0;
+  /* ./../lib/opts.nit:47 */
+  ATTR_opts___Option____default_value(fra.me.REG[0]) = fra.me.REG[2];
+  /* ./../lib/opts.nit:48 */
+  ATTR_opts___Option____value(fra.me.REG[0]) = fra.me.REG[2];
+  stack_frame_head = fra.me.prev;
+  init_table[itpos0] = 1;
   return;
 }
-void opts___Option___add_aliases(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 51, LOCATE_opts___Option___add_aliases};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  /* check if p<Array[String] with p:String */
-  if (( param0!=NIT_NULL) && !VAL_ISA( param0, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___Option___add_aliases, LOCATE_opts, 52); nit_exit(1); } /*cast Array[String]*/;
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_opts___Option____names(variable[0]) /*Option::_names*/;
-  CALL_abstract_collection___SimpleCollection___add_all(variable[3])(variable[3],  variable[1] /*names*/) /*SimpleCollection::add_all*/;
-  return_label2: while(false);
-  tracehead = trace.prev;
+void opts___Option___add_aliases(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_opts;
+  fra.me.line = 51;
+  fra.me.meth = LOCATE_opts___Option___add_aliases;
+  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/opts.nit:51 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_Array, ID_Array)) /*cast Array[String]*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 51);
+  }
+  /* ./../lib/opts.nit:52 */
+  REGB0 = TAG_Bool(ATTR_opts___Option____names(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_names", LOCATE_opts, 52);
+  }
+  fra.me.REG[0] = ATTR_opts___Option____names(fra.me.REG[0]);
+  CALL_abstract_collection___SimpleCollection___add_all(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t opts___Option___pretty(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 57, LOCATE_opts___Option___pretty};
-  static val_t once_value_4 = NIT_NULL; /* Once value for string variable[4]*/
-  static val_t once_value_5 = NIT_NULL; /* Once value for string variable[5]*/
-  static val_t once_value_6 = NIT_NULL; /* Once value for string variable[4]*/
-    static val_t once_value_7 = NIT_NULL; /* Once value for string variable[5]*/
-  val_t variable[6];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Local variable */
-  /* Register variable[4]: Once String constant */
-  if (once_value_4 != NIT_NULL) variable[4] = once_value_4;
-  else {
-    variable[4] = NEW_String_string___String___with_native(BOX_NativeString("  "), TAG_Int(2)) /*new String*/;
-    once_value_4 = variable[4];
-  }
-  /* Register variable[4]: Result */
-  /* Register variable[4]: Result */
-  variable[4] = NEW_Buffer_string___Buffer___from(variable[4]) /*new Buffer*/;
-  variable[3] = variable[4];
-  /* Register variable[4]: Result */
-  variable[4] = ATTR_opts___Option____names(variable[0]) /*Option::_names*/;
-  /* Register variable[5]: Once String constant */
-  if (once_value_5 != NIT_NULL) variable[5] = once_value_5;
-  else {
-    variable[5] = NEW_String_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)) /*new String*/;
-    once_value_5 = variable[5];
+val_t opts___Option___to_s(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_opts;
+  fra.me.line = 54;
+  fra.me.meth = LOCATE_opts___Option___to_s;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:55 */
+  REGB0 = TAG_Int(2);
+  fra.me.REG[0] = CALL_opts___Option___pretty(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+val_t opts___Option___pretty(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 tmp;
+  static val_t once_value_1; /* Once value */
+  static val_t once_value_2; /* Once value */
+  static val_t once_value_3; /* Once value */
+    static val_t once_value_4; /* Once value */
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 57;
+  fra.me.meth = LOCATE_opts___Option___pretty;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 4;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[3] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./../lib/opts.nit:60 */
+  if (!once_value_1) {
+    fra.me.REG[1] = BOX_NativeString("  ");
+    REGB1 = TAG_Int(2);
+    fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB1);
+    once_value_1 = fra.me.REG[1];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[1] = once_value_1;
+  fra.me.REG[1] = fra.me.REG[1];
+  fra.me.REG[1] = NEW_Buffer_string___Buffer___from(fra.me.REG[1]);
+  /* ./../lib/opts.nit:61 */
+  REGB1 = TAG_Bool(ATTR_opts___Option____names(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_names", LOCATE_opts, 61);
   }
-  /* Register variable[5]: Result */
-  /* Register variable[4]: Result */
-  variable[4] = CALL_string___Collection___join(variable[4])(variable[4], variable[5]) /*Collection::join*/;
-  CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[4]) /*Buffer::append*/;
-  /* Register variable[4]: Once String constant */
-  if (once_value_6 != NIT_NULL) variable[4] = once_value_6;
-  else {
-    variable[4] = NEW_String_string___String___with_native(BOX_NativeString("  "), TAG_Int(2)) /*new String*/;
-    once_value_6 = variable[4];
+  fra.me.REG[2] = ATTR_opts___Option____names(fra.me.REG[0]);
+  if (!once_value_2) {
+    fra.me.REG[3] = BOX_NativeString(", ");
+    REGB1 = TAG_Int(2);
+    fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB1);
+    once_value_2 = fra.me.REG[3];
+    register_static_object(&once_value_2);
+  } else fra.me.REG[3] = once_value_2;
+  fra.me.REG[3] = fra.me.REG[3];
+  fra.me.REG[3] = CALL_string___Collection___join(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+  CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
+  /* ./../lib/opts.nit:62 */
+  if (!once_value_3) {
+    fra.me.REG[3] = BOX_NativeString("  ");
+    REGB1 = TAG_Int(2);
+    fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB1);
+    once_value_3 = fra.me.REG[3];
+    register_static_object(&once_value_3);
+  } else fra.me.REG[3] = once_value_3;
+  fra.me.REG[3] = fra.me.REG[3];
+  CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
+  /* ./../lib/standard//collection//array.nit:23 */
+  REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
   }
-  /* Register variable[4]: Result */
-  CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[4]) /*Buffer::append*/;
-  /* Register variable[4]: Local variable */
-  /* Register variable[5]: Result */
-  variable[5] = CALL_abstract_collection___Collection___length( variable[3] /*text*/)( variable[3] /*text*/) /*AbstractArrayRead::length*/;
-  /* Register variable[5]: Result */
-  variable[5] = TAG_Int(UNTAG_Int( variable[1] /*off*/)-UNTAG_Int(variable[5]));
-  variable[4] = variable[5];
-  /* Register variable[5]: Result */
-  variable[5] = TAG_Bool(UNTAG_Int( variable[4] /*rest*/)>UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable[5])) { /*if*/
-    /* Register variable[5]: Once String constant */
-    if (once_value_7 != NIT_NULL) variable[5] = once_value_7;
-    else {
-      variable[5] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)) /*new String*/;
-      once_value_7 = variable[5];
-    }
-    /* Register variable[5]: Result */
-    /* Register variable[5]: Result */
-    variable[5] = CALL_string___String_____star(variable[5])(variable[5],  variable[4] /*rest*/) /*String::**/;
-    CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[5]) /*Buffer::append*/;
+  REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+  /* ./../lib/standard//kernel.nit:217 */
+  REGB1 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB1));
+  /* ./../lib/opts.nit:64 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:214 */
+  REGB0 = TAG_Bool(UNTAG_Int(REGB1)>UNTAG_Int(REGB0));
+  /* ./../lib/opts.nit:64 */
+  if (UNTAG_Bool(REGB0)) {
+    if (!once_value_4) {
+      fra.me.REG[3] = BOX_NativeString(" ");
+      REGB0 = TAG_Int(1);
+      fra.me.REG[3] = NEW_String_string___String___with_native(fra.me.REG[3], REGB0);
+      once_value_4 = fra.me.REG[3];
+      register_static_object(&once_value_4);
+    } else fra.me.REG[3] = once_value_4;
+    fra.me.REG[3] = fra.me.REG[3];
+    fra.me.REG[3] = CALL_string___String_____star(fra.me.REG[3])(fra.me.REG[3], REGB1);
+    CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[3]);
   }
-  /* Register variable[5]: Result */
-  variable[5] = CALL_opts___Option___helptext(variable[0])(variable[0]) /*Option::helptext*/;
-  CALL_abstract_collection___IndexedCollection___append( variable[3] /*text*/)( variable[3] /*text*/, variable[5]) /*Buffer::append*/;
-  /* Register variable[5]: Result */
-  variable[5] = CALL_string___Object___to_s( variable[3] /*text*/)( variable[3] /*text*/) /*Buffer::to_s*/;
-  variable[2] = variable[5];
-  goto return_label3;
-  return_label3: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+  /* ./../lib/opts.nit:65 */
+  fra.me.REG[0] = CALL_opts___Option___helptext(fra.me.REG[0])(fra.me.REG[0]);
+  CALL_abstract_collection___Sequence___append(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+  /* ./../lib/opts.nit:67 */
+  fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
+  goto label5;
+  label5: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t opts___Option___pretty_default(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 70, LOCATE_opts___Option___pretty_default};
-    static val_t once_value_9 = NIT_NULL; /* Once value for string variable[3]*/
-    static val_t once_value_10 = NIT_NULL; /* Once value for string variable[3]*/
-  static val_t once_value_11 = NIT_NULL; /* Once value for string variable[2]*/
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
-  /* Register variable[2]: Result */
-  variable[2] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[2] ==  NIT_NULL /*null*/) || ((variable[2] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[2])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[2], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[2])(variable[2],  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (UNTAG_Bool(variable[2])) { /*if*/
-    variable[2] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
-    /* Register variable[3]: Once String constant */
-    if (once_value_9 != NIT_NULL) variable[3] = once_value_9;
-    else {
-      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)) /*new String*/;
-      once_value_9 = variable[3];
-    }
-    /* Register variable[3]: Result */
-    /* Ensure var variable[3]: super-string element*/
-    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
-    /* Register variable[3]: Result */
-    variable[3] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
-    /* Ensure var variable[3]: super-string element*/
-    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], CALL_string___Object___to_s(variable[3])(variable[3]) /*Object::to_s*/) /*AbstractArray::add*/;
-    /* Register variable[3]: Once String constant */
-    if (once_value_10 != NIT_NULL) variable[3] = once_value_10;
-    else {
-      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(")"), TAG_Int(1)) /*new String*/;
-      once_value_10 = variable[3];
+val_t opts___Option___pretty_default(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+    static val_t once_value_1; /* Once value */
+    static val_t once_value_2; /* Once value */
+  static val_t once_value_4; /* Once value */
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 70;
+  fra.me.meth = LOCATE_opts___Option___pretty_default;
+  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;
+  /* ./../lib/opts.nit:72 */
+  fra.me.REG[0] = CALL_opts___Option___default_value(fra.me.REG[0])(fra.me.REG[0]);
+  /* ./../lib/opts.nit:73 */
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[0])(fra.me.REG[0], NIT_NULL);
+      REGB0 = REGB1;
     }
-    /* Register variable[3]: Result */
-    /* Ensure var variable[3]: super-string element*/
-    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
-    /* Register variable[2]: Result */
-    variable[2] = CALL_string___Object___to_s(variable[2])(variable[2]) /*Object::to_s*/;
-    variable[1] = variable[2];
-    goto return_label8;
   }
-  /* Register variable[2]: Once String constant */
-  if (once_value_11 != NIT_NULL) variable[2] = once_value_11;
-  else {
-    variable[2] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
-    once_value_11 = variable[2];
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  if (UNTAG_Bool(REGB0)) {
+    REGB0 = TAG_Int(3);
+    fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
+    if (!once_value_1) {
+      fra.me.REG[2] = BOX_NativeString(" (");
+      REGB0 = TAG_Int(2);
+      fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
+      once_value_1 = fra.me.REG[2];
+      register_static_object(&once_value_1);
+    } else fra.me.REG[2] = once_value_1;
+    fra.me.REG[2] = fra.me.REG[2];
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+    fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+    if (!once_value_2) {
+      fra.me.REG[0] = BOX_NativeString(")");
+      REGB0 = TAG_Int(1);
+      fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+      once_value_2 = fra.me.REG[0];
+      register_static_object(&once_value_2);
+    } else fra.me.REG[0] = once_value_2;
+    fra.me.REG[0] = fra.me.REG[0];
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[0]);
+    fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
+    goto label3;
   }
-  /* Register variable[2]: Result */
-  variable[1] = variable[2];
-  goto return_label8;
-  return_label8: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+  /* ./../lib/opts.nit:74 */
+  if (!once_value_4) {
+    fra.me.REG[0] = BOX_NativeString("");
+    REGB0 = TAG_Int(0);
+    fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+    once_value_4 = fra.me.REG[0];
+    register_static_object(&once_value_4);
+  } else fra.me.REG[0] = once_value_4;
+  fra.me.REG[0] = fra.me.REG[0];
+  fra.me.REG[1] = fra.me.REG[0];
+  goto label3;
+  label3: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-void opts___Option___read_param(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 78, LOCATE_opts___Option___read_param};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  fprintf(stderr, "Deferred method called");
-  fprintf(stderr, " (%s:%d)\n", LOCATE_opts, 78);
-  nit_exit(1);
-  tracehead = trace.prev;
+void opts___Option___read_param(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_opts;
+  fra.me.line = 77;
+  fra.me.meth = LOCATE_opts___Option___read_param;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 0;
+  /* ./../lib/opts.nit:77 */
+  nit_abort("Deferred method called", NULL, LOCATE_opts, 77);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t opts___OptionText___to_s(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 88, LOCATE_opts___OptionText___to_s};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_opts___Option___helptext(variable[0])(variable[0]) /*Option::helptext*/;
-  variable[1] = variable[2];
-  goto return_label12;
-  return_label12: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+void opts___OptionText___init(val_t p0, val_t p1, int* init_table){
+  int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionText].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t tmp;
+  if (init_table[itpos1]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 83;
+  fra.me.meth = LOCATE_opts___OptionText___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/opts.nit:83 */
+  CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], NIT_NULL, NIT_NULL, init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos1] = 1;
+  return;
 }
-val_t opts___OptionText___pretty(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 86, LOCATE_opts___OptionText___pretty};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Result */
-  variable[3] = CALL_string___Object___to_s(variable[0])(variable[0]) /*OptionText::to_s*/;
-  variable[2] = variable[3];
-  goto return_label13;
-  return_label13: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+val_t opts___OptionText___pretty(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_opts;
+  fra.me.line = 85;
+  fra.me.meth = LOCATE_opts___OptionText___pretty;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  REGB0 = p1;
+  /* ./../lib/opts.nit:85 */
+  fra.me.REG[0] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void opts___OptionText___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 84, LOCATE_opts___OptionText___init};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionText].i]) return;
-  /* Register variable[2]: Method return value and escape marker */
-  CALL_opts___Option___init_opt(variable[0])(variable[0],  variable[1] /*text*/,  NIT_NULL /*null*/,  NIT_NULL /*null*/, init_table /*YYY*/) /*Option::init_opt*/;
-  return_label14: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionText].i] = 1;
-  tracehead = trace.prev;
-  return;
+val_t opts___OptionText___to_s(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_opts;
+  fra.me.line = 87;
+  fra.me.meth = LOCATE_opts___OptionText___to_s;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:87 */
+  fra.me.REG[0] = CALL_opts___Option___helptext(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void opts___OptionBool___read_param(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 97, LOCATE_opts___OptionBool___read_param};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  CALL_opts___Option___value__eq(variable[0])(variable[0],  TAG_Bool(true)) /*Option::value=*/;
-  return_label15: while(false);
-  tracehead = trace.prev;
+void opts___OptionBool___init(val_t p0, val_t p1, val_t p2, int* init_table){
+  int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionBool].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t tmp;
+  if (init_table[itpos2]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 94;
+  fra.me.meth = LOCATE_opts___OptionBool___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/opts.nit:94 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 94);
+  }
+  REGB0 = TAG_Bool(false);
+  CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, fra.me.REG[2], init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos2] = 1;
   return;
 }
-void opts___OptionBool___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 95, LOCATE_opts___OptionBool___init};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  /* check if p<Array[String] with p:String */
-  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionBool___init, LOCATE_opts, 95); nit_exit(1); } /*cast Array[String]*/;
-  variable[2] =  param1;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionBool].i]) return;
-  /* Register variable[3]: Method return value and escape marker */
-  CALL_opts___Option___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  TAG_Bool(false),  variable[2] /*names*/, init_table /*YYY*/) /*Option::init_opt*/;
-  return_label16: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionBool].i] = 1;
-  tracehead = trace.prev;
+void opts___OptionBool___read_param(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_opts;
+  fra.me.line = 96;
+  fra.me.meth = LOCATE_opts___OptionBool___read_param;
+  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/opts.nit:96 */
+  REGB0 = TAG_Bool(true);
+  CALL_opts___Option___value__eq(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void opts___OptionCount___read_param(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 106, LOCATE_opts___OptionCount___read_param};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  CALL_opts___Option___value__eq(variable[0])(variable[0], TAG_Int(UNTAG_Int(CALL_opts___Option___value(variable[0])(variable[0]) /*Option::value*/)+UNTAG_Int( TAG_Int(1)))) /*Option::value=*/;
-  return_label17: while(false);
-  tracehead = trace.prev;
+void opts___OptionCount___init(val_t p0, val_t p1, val_t p2, int* init_table){
+  int itpos3 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionCount].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t tmp;
+  if (init_table[itpos3]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 103;
+  fra.me.meth = LOCATE_opts___OptionCount___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/opts.nit:103 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 103);
+  }
+  REGB0 = TAG_Int(0);
+  CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, fra.me.REG[2], init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos3] = 1;
   return;
 }
-void opts___OptionCount___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 104, LOCATE_opts___OptionCount___init};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  /* check if p<Array[String] with p:String */
-  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionCount___init, LOCATE_opts, 104); nit_exit(1); } /*cast Array[String]*/;
-  variable[2] =  param1;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionCount].i]) return;
-  /* Register variable[3]: Method return value and escape marker */
-  CALL_opts___Option___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  TAG_Int(0),  variable[2] /*names*/, init_table /*YYY*/) /*Option::init_opt*/;
-  return_label18: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionCount].i] = 1;
-  tracehead = trace.prev;
+void opts___OptionCount___read_param(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_opts;
+  fra.me.line = 105;
+  fra.me.meth = LOCATE_opts___OptionCount___read_param;
+  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/opts.nit:105 */
+  fra.me.REG[1] = CALL_opts___Option___value(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = TAG_Int(1);
+  /* ./../lib/standard//kernel.nit:215 */
+  REGB0 = TAG_Int(UNTAG_Int(fra.me.REG[1])+UNTAG_Int(REGB0));
+  /* ./../lib/opts.nit:105 */
+  CALL_opts___Option___value__eq(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void opts___OptionParameter___read_param(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 114, LOCATE_opts___OptionParameter___read_param};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Result */
-  variable[3] = CALL_opts___Option___context(variable[0])(variable[0]) /*Option::context*/;
-  /* Register variable[3]: Result */
-  variable[3] = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable[3] ==  NIT_NULL /*null*/) || ((variable[3] != NIT_NULL) && ((CALL_kernel___Object_____eqeq(variable[3])==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable[3], NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq(variable[3])(variable[3],  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (!UNTAG_Bool(variable[3])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionParameter___read_param, LOCATE_opts, 116); nit_exit(1);}
-  /* Register variable[3]: Result */
-  variable[3] = CALL_abstract_collection___Iterator___is_ok( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::is_ok*/;
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    /* Register variable[3]: Result */
-    variable[3] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/;
-    /* Register variable[3]: Result */
-    variable[3] = CALL_opts___OptionParameter___convert(variable[0])(variable[0], variable[3]) /*OptionParameter::convert*/;
-    CALL_opts___Option___value__eq(variable[0])(variable[0], variable[3]) /*Option::value=*/;
-    CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
-  } else { /*if*/
+val_t opts___OptionParameter___convert(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_opts;
+  fra.me.line = 111;
+  fra.me.meth = LOCATE_opts___OptionParameter___convert;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 0;
+  /* ./../lib/opts.nit:111 */
+  nit_abort("Deferred method called", NULL, LOCATE_opts, 111);
+  stack_frame_head = fra.me.prev;
+  return NIT_NULL;
+}
+void opts___OptionParameter___read_param(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 113;
+  fra.me.meth = LOCATE_opts___OptionParameter___read_param;
+  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;
+  /* ./../lib/opts.nit:115 */
+  REGB0 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[1])(fra.me.REG[1]);
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/opts.nit:116 */
+    fra.me.REG[2] = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]);
+    fra.me.REG[2] = CALL_opts___OptionParameter___convert(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+    CALL_opts___Option___value__eq(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+    /* ./../lib/opts.nit:117 */
+    CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]);
   }
-  return_label19: while(false);
-  tracehead = trace.prev;
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t opts___OptionParameter___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 112, LOCATE_opts___OptionParameter___convert};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  fprintf(stderr, "Deferred method called");
-  fprintf(stderr, " (%s:%d)\n", LOCATE_opts, 112);
-  nit_exit(1);
-  tracehead = trace.prev;
-  return NIT_NULL;
+void opts___OptionParameter___init_opt(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
+  int itpos4 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionParameter].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+  val_t tmp;
+  if (init_table[itpos4]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 123;
+  fra.me.meth = LOCATE_opts___OptionParameter___init_opt;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 4;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[3] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  fra.me.REG[3] = p3;
+  /* ./../lib/opts.nit:123 */
+  CALL_opts___Option___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[2], fra.me.REG[3], init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos4] = 1;
+  return;
 }
-void opts___OptionParameter___init_opt(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 125, LOCATE_opts___OptionParameter___init_opt};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  variable[2] =  param1;
-  /* Register variable[3]: Local variable */
-  variable[3] =  param2;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionParameter].i]) return;
-  /* Register variable[4]: Method return value and escape marker */
-  CALL_opts___Option___init_opt(variable[0])(variable[0], variable[1], variable[2], variable[3], init_table /*YYY*/) /*Option::init_opt*/;
-  return_label20: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionParameter].i] = 1;
-  tracehead = trace.prev;
+void opts___OptionString___init(val_t p0, val_t p1, val_t p2, int* init_table){
+  int itpos5 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionString].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t tmp;
+  if (init_table[itpos5]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 130;
+  fra.me.meth = LOCATE_opts___OptionString___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/opts.nit:130 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 130);
+  }
+  CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], NIT_NULL, fra.me.REG[2], init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos5] = 1;
   return;
 }
-val_t opts___OptionString___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 134, LOCATE_opts___OptionString___convert};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  variable[2] =  variable[1] /*str*/;
-  goto return_label21;
-  return_label21: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+val_t opts___OptionString___convert(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_opts;
+  fra.me.line = 132;
+  fra.me.meth = LOCATE_opts___OptionString___convert;
+  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/opts.nit:132 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-void opts___OptionString___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 132, LOCATE_opts___OptionString___init};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  /* check if p<Array[String] with p:String */
-  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionString___init, LOCATE_opts, 132); nit_exit(1); } /*cast Array[String]*/;
-  variable[2] =  param1;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionString].i]) return;
-  /* Register variable[3]: Method return value and escape marker */
-  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  NIT_NULL /*null*/,  variable[2] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  return_label22: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionString].i] = 1;
-  tracehead = trace.prev;
+void opts___OptionEnum___init(val_t p0, val_t p1, val_t p2, val_t p3, val_t p4, int* init_table){
+  int itpos6 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionEnum].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+  static val_t once_value_1; /* Once value */
+  static val_t once_value_2; /* Once value */
+  static val_t once_value_3; /* Once value */
+  static val_t once_value_4; /* Once value */
+  if (init_table[itpos6]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 140;
+  fra.me.meth = LOCATE_opts___OptionEnum___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 6;
+  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[4] = NIT_NULL;
+  fra.me.REG[5] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  REGB0 = p3;
+  fra.me.REG[3] = p4;
+  /* ./../lib/opts.nit:140 */
+  REGB1 = TAG_Bool(VAL_ISA(fra.me.REG[3], COLOR_Array, ID_Array)) /*cast Array[String]*/;
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 140);
+  }
+  /* ./../lib/standard//collection//array.nit:23 */
+  REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+  }
+  REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+  /* ./../lib/opts.nit:142 */
+  REGB2 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:214 */
+  REGB2 = TAG_Bool(UNTAG_Int(REGB1)>UNTAG_Int(REGB2));
+  /* ./../lib/opts.nit:142 */
+  if (UNTAG_Bool(REGB2)) {
+  } else {
+    nit_abort("Assert failed", NULL, LOCATE_opts, 142);
+  }
+  /* ./../lib/opts.nit:143 */
+  fra.me.REG[4] = CALL_array___Collection___to_a(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_opts___OptionEnum____values(fra.me.REG[0]) = fra.me.REG[4];
+  /* ./../lib/opts.nit:144 */
+  REGB2 = TAG_Int(5);
+  fra.me.REG[4] = NEW_Array_array___Array___with_capacity(REGB2);
+  if (!once_value_1) {
+    fra.me.REG[5] = BOX_NativeString("");
+    REGB2 = TAG_Int(0);
+    fra.me.REG[5] = NEW_String_string___String___with_native(fra.me.REG[5], REGB2);
+    once_value_1 = fra.me.REG[5];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[5] = once_value_1;
+  fra.me.REG[5] = fra.me.REG[5];
+  CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[5]);
+  CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
+  if (!once_value_2) {
+    fra.me.REG[2] = BOX_NativeString(" <");
+    REGB2 = TAG_Int(2);
+    fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB2);
+    once_value_2 = fra.me.REG[2];
+    register_static_object(&once_value_2);
+  } else fra.me.REG[2] = once_value_2;
+  fra.me.REG[2] = fra.me.REG[2];
+  CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
+  if (!once_value_3) {
+    fra.me.REG[2] = BOX_NativeString(", ");
+    REGB2 = TAG_Int(2);
+    fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB2);
+    once_value_3 = fra.me.REG[2];
+    register_static_object(&once_value_3);
+  } else fra.me.REG[2] = once_value_3;
+  fra.me.REG[2] = fra.me.REG[2];
+  fra.me.REG[2] = CALL_string___Collection___join(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+  CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
+  if (!once_value_4) {
+    fra.me.REG[2] = BOX_NativeString(">");
+    REGB2 = TAG_Int(1);
+    fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB2);
+    once_value_4 = fra.me.REG[2];
+    register_static_object(&once_value_4);
+  } else fra.me.REG[2] = once_value_4;
+  fra.me.REG[2] = fra.me.REG[2];
+  CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[2]);
+  fra.me.REG[4] = CALL_string___Object___to_s(fra.me.REG[4])(fra.me.REG[4]);
+  CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[4], REGB0, fra.me.REG[3], init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos6] = 1;
   return;
 }
-val_t opts___OptionEnum___pretty_default(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 155, LOCATE_opts___OptionEnum___pretty_default};
-    static val_t once_value_24 = NIT_NULL; /* Once value for string variable[3]*/
-    static val_t once_value_26 = NIT_NULL; /* Once value for string variable[3]*/
-    static val_t once_value_27 = NIT_NULL; /* Once value for string variable[2]*/
-  val_t variable[9];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
-  /* Register variable[2]: Result */
-  variable[2] = TAG_Bool((variable[2])!=( NIT_NULL /*null*/));
-  if (UNTAG_Bool(variable[2])) { /*if*/
-    variable[2] = NEW_Array_array___Array___with_capacity(TAG_Int(3)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
-    /* Register variable[3]: Once String constant */
-    if (once_value_24 != NIT_NULL) variable[3] = once_value_24;
-    else {
-      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(" ("), TAG_Int(2)) /*new String*/;
-      once_value_24 = variable[3];
-    }
-    /* Register variable[3]: Result */
-    /* Ensure var variable[3]: super-string element*/
-    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
-    /* Register variable[3]: Result */
-    variable[3] = ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/;
-    /* Register variable[4]: Result */
-    variable[4] = CALL_opts___Option___default_value(variable[0])(variable[0]) /*Option::default_value*/;
-    /* Register variable[5]: Local variable */
-    variable[5] = variable[3];
-    /* Register variable[6]: Local variable */
-    variable[6] = variable[4];
-    /* Register variable[7]: Method return value and escape marker */
-    /* Register variable[8]: Result */
-    variable[8] = TAG_Bool(UNTAG_Int( variable[6] /*index*/)>=UNTAG_Int( TAG_Int(0)));
-    /* Ensure var variable[8]: Left 'and' operand*/
-    if (UNTAG_Bool(variable[8])) { /* and */
-      /* Register variable[8]: Result */
-      variable[8] = ATTR_array___AbstractArrayRead____length(variable[5]) /*AbstractArrayRead::_length*/;
-      /* Register variable[8]: Result */
-      variable[8] = TAG_Bool(UNTAG_Int( variable[6] /*index*/)<UNTAG_Int(variable[8]));
-    }
-    /* Register variable[8]: Result */
-    if (!UNTAG_Bool(variable[8])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_opts, 234); nit_exit(1);}
-    /* Register variable[8]: Result */
-    variable[8] = ATTR_array___Array____items(variable[5]) /*Array::_items*/;
-    /* Register variable[8]: Result */
-    variable[8] = UNBOX_NativeArray(variable[8])[UNTAG_Int( variable[6] /*index*/)];
-    variable[7] = variable[8];
-    goto return_label25;
-    return_label25: while(false);
-    /* Register variable[3]: Result */
-    variable[3] = variable[7];
-    /* Ensure var variable[3]: super-string element*/
-    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
-    /* Register variable[3]: Once String constant */
-    if (once_value_26 != NIT_NULL) variable[3] = once_value_26;
-    else {
-      variable[3] = NEW_String_string___String___with_native(BOX_NativeString(")"), TAG_Int(1)) /*new String*/;
-      once_value_26 = variable[3];
-    }
-    /* Register variable[3]: Result */
-    /* Ensure var variable[3]: super-string element*/
-    CALL_abstract_collection___SimpleCollection___add(variable[2])(variable[2], variable[3]) /*AbstractArray::add*/;
-    /* Register variable[2]: Result */
-    variable[2] = CALL_string___Object___to_s(variable[2])(variable[2]) /*Object::to_s*/;
-    variable[1] = variable[2];
-    goto return_label23;
-  } else { /*if*/
-    /* Register variable[2]: Once String constant */
-    if (once_value_27 != NIT_NULL) variable[2] = once_value_27;
-    else {
-      variable[2] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
-      once_value_27 = variable[2];
-    }
-    /* Register variable[2]: Result */
-    variable[1] = variable[2];
-    goto return_label23;
+val_t opts___OptionEnum___convert(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_opts;
+  fra.me.line = 147;
+  fra.me.meth = LOCATE_opts___OptionEnum___convert;
+  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/opts.nit:149 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionEnum____values(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 149);
   }
-  return_label23: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+  fra.me.REG[0] = ATTR_opts___OptionEnum____values(fra.me.REG[0]);
+  REGB0 = CALL_abstract_collection___SequenceRead___index_of(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  /* ./../lib/opts.nit:150 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t opts___OptionEnum___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 149, LOCATE_opts___OptionEnum___convert};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Local variable */
-  /* Register variable[4]: Result */
-  variable[4] = ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/;
-  /* Register variable[4]: Result */
-  variable[4] = CALL_abstract_collection___IndexedCollectionRead___index_of(variable[4])(variable[4],  variable[1] /*str*/) /*AbstractArrayRead::index_of*/;
-  variable[3] = variable[4];
-  variable[2] =  variable[3] /*id*/;
-  goto return_label28;
-  return_label28: while(false);
-  tracehead = trace.prev;
-  return variable[2];
-}
-void opts___OptionEnum___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, val_t  param3, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 142, LOCATE_opts___OptionEnum___init};
-  static val_t once_value_30 = NIT_NULL; /* Once value for string variable[7]*/
-  static val_t once_value_31 = NIT_NULL; /* Once value for string variable[7]*/
-  static val_t once_value_32 = NIT_NULL; /* Once value for string variable[7]*/
-  static val_t once_value_33 = NIT_NULL; /* Once value for string variable[7]*/
-  val_t variable[8];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  variable[2] =  param1;
-  /* Register variable[3]: Local variable */
-  variable[3] =  param2;
-  /* Register variable[4]: Local variable */
-  /* check if p<Array[String] with p:String */
-  if (( param3!=NIT_NULL) && !VAL_ISA( param3, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionEnum___init, LOCATE_opts, 142); nit_exit(1); } /*cast Array[String]*/;
-  variable[4] =  param3;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionEnum].i]) return;
-  /* Register variable[5]: Method return value and escape marker */
-  /* Register variable[6]: Result */
-  variable[6] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*enum*/ ==  NIT_NULL /*null*/) || (( variable[1] /*enum*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[1] /*enum*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*enum*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[1] /*enum*/)( variable[1] /*enum*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  /* Ensure var variable[6]: Left 'and' operand*/
-  if (UNTAG_Bool(variable[6])) { /* and */
-    /* Register variable[6]: Result */
-    variable[6] = CALL_abstract_collection___Collection___length( variable[1] /*enum*/)( variable[1] /*enum*/) /*AbstractArrayRead::length*/;
-    /* Register variable[6]: Result */
-    variable[6] = TAG_Bool(UNTAG_Int(variable[6])>UNTAG_Int( TAG_Int(0)));
-  }
-  /* Register variable[6]: Result */
-  if (!UNTAG_Bool(variable[6])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionEnum___init, LOCATE_opts, 144); nit_exit(1);}
-  /* Register variable[6]: Result */
-  variable[6] = CALL_array___Collection___to_a( variable[1] /*enum*/)( variable[1] /*enum*/) /*Collection::to_a*/;
-  ATTR_opts___OptionEnum____enum(variable[0]) /*OptionEnum::_enum*/ = variable[6];
-  variable[6] = NEW_Array_array___Array___with_capacity(TAG_Int(5)) /*new Array[String]*/ /* Ensure var: Array (for super-string)*/;
-  /* Register variable[7]: Once String constant */
-  if (once_value_30 != NIT_NULL) variable[7] = once_value_30;
-  else {
-    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(""), TAG_Int(0)) /*new String*/;
-    once_value_30 = variable[7];
+val_t opts___OptionEnum___value_name(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} 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_opts;
+  fra.me.line = 153;
+  fra.me.meth = LOCATE_opts___OptionEnum___value_name;
+  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;
+  /* ./../lib/opts.nit:153 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionEnum____values(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 153);
   }
-  /* Register variable[7]: Result */
-  /* Ensure var variable[7]: super-string element*/
-  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
-  variable[7] =  variable[2] /*help*/ /* Ensure var: super-string element*/;
-  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
-  /* Register variable[7]: Once String constant */
-  if (once_value_31 != NIT_NULL) variable[7] = once_value_31;
-  else {
-    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(" <"), TAG_Int(2)) /*new String*/;
-    once_value_31 = variable[7];
+  fra.me.REG[1] = ATTR_opts___OptionEnum____values(fra.me.REG[0]);
+  fra.me.REG[0] = CALL_opts___Option___value(fra.me.REG[0])(fra.me.REG[0]);
+  /* ./../lib/standard//collection//array.nit:243 */
+  REGB0 = fra.me.REG[0];
+  /* ./../lib/standard//collection//array.nit:245 */
+  REGB1 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:213 */
+  REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
+  /* ./../lib/standard//collection//array.nit:245 */
+  if (UNTAG_Bool(REGB1)) {
+    REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+    }
+    REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+    /* ./../lib/standard//kernel.nit:212 */
+    REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+  } else {
+    /* ./../lib/standard//collection//array.nit:245 */
+    REGB2 = TAG_Bool(false);
+    REGB1 = REGB2;
   }
-  /* Register variable[7]: Result */
-  /* Ensure var variable[7]: super-string element*/
-  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
-  /* Register variable[7]: Once String constant */
-  if (once_value_32 != NIT_NULL) variable[7] = once_value_32;
-  else {
-    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(", "), TAG_Int(2)) /*new String*/;
-    once_value_32 = variable[7];
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Assert %s  failed", "'index'", LOCATE_array, 245);
   }
-  /* Register variable[7]: Result */
-  /* Register variable[7]: Result */
-  variable[7] = CALL_string___Collection___join( variable[1] /*enum*/)( variable[1] /*enum*/, variable[7]) /*Collection::join*/;
-  /* Ensure var variable[7]: super-string element*/
-  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
-  /* Register variable[7]: Once String constant */
-  if (once_value_33 != NIT_NULL) variable[7] = once_value_33;
-  else {
-    variable[7] = NEW_String_string___String___with_native(BOX_NativeString(">"), TAG_Int(1)) /*new String*/;
-    once_value_33 = variable[7];
+  /* ./../lib/standard//collection//array.nit:246 */
+  fra.me.REG[1] = ATTR_array___Array____items(fra.me.REG[1]);
+  REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+    nit_abort("Reciever is null", NULL, LOCATE_array, 246);
   }
-  /* Register variable[7]: Result */
-  /* Ensure var variable[7]: super-string element*/
-  CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6], variable[7]) /*AbstractArray::add*/;
-  /* Register variable[6]: Result */
-  variable[6] = CALL_string___Object___to_s(variable[6])(variable[6]) /*Object::to_s*/;
-  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0], variable[6],  variable[3] /*default*/,  variable[4] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  return_label29: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionEnum].i] = 1;
-  tracehead = trace.prev;
-  return;
+  /* ./../lib/standard//collection//array.nit:654 */
+  fra.me.REG[1] = ((Nit_NativeArray)fra.me.REG[1])->val[UNTAG_Int(REGB0)];
+  /* ./../lib/standard//collection//array.nit:246 */
+  goto label1;
+  label1: while(0);
+  /* ./../lib/opts.nit:153 */
+  goto label2;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t opts___OptionInt___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 171, LOCATE_opts___OptionInt___convert};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Result */
-  variable[3] = CALL_string___AbstractString___to_i( variable[1] /*str*/)( variable[1] /*str*/) /*AbstractString::to_i*/;
-  variable[2] = variable[3];
-  goto return_label34;
-  return_label34: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+val_t opts___OptionEnum___pretty_default(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+    static val_t once_value_1; /* Once value */
+    static val_t once_value_3; /* Once value */
+    static val_t once_value_5; /* Once value */
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 155;
+  fra.me.meth = LOCATE_opts___OptionEnum___pretty_default;
+  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;
+  /* ./../lib/opts.nit:157 */
+  fra.me.REG[1] = CALL_opts___Option___default_value(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      /* ./../lib/standard//kernel.nit:207 */
+      REGB1 = TAG_Bool((fra.me.REG[1])==(NIT_NULL));
+      /* ./../lib/opts.nit:157 */
+      REGB0 = REGB1;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/opts.nit:158 */
+    REGB0 = TAG_Int(3);
+    fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB0);
+    if (!once_value_1) {
+      fra.me.REG[2] = BOX_NativeString(" (");
+      REGB0 = TAG_Int(2);
+      fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
+      once_value_1 = fra.me.REG[2];
+      register_static_object(&once_value_1);
+    } else fra.me.REG[2] = once_value_1;
+    fra.me.REG[2] = fra.me.REG[2];
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+    REGB0 = TAG_Bool(ATTR_opts___OptionEnum____values(fra.me.REG[0])!=NIT_NULL);
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 158);
+    }
+    fra.me.REG[2] = ATTR_opts___OptionEnum____values(fra.me.REG[0]);
+    fra.me.REG[0] = CALL_opts___Option___default_value(fra.me.REG[0])(fra.me.REG[0]);
+    REGB0 = TAG_Bool((fra.me.REG[0]!=NIT_NULL) && VAL_ISA(fra.me.REG[0], COLOR_Int, ID_Int)) /*cast VALUE*/;
+    if (UNTAG_Bool(REGB0)) {
+    } else {
+      nit_abort("Cast failed", NULL, LOCATE_opts, 158);
+    }
+    /* ./../lib/standard//collection//array.nit:243 */
+    REGB0 = fra.me.REG[0];
+    /* ./../lib/standard//collection//array.nit:245 */
+    REGB1 = TAG_Int(0);
+    /* ./../lib/standard//kernel.nit:213 */
+    REGB1 = TAG_Bool(UNTAG_Int(REGB0)>=UNTAG_Int(REGB1));
+    /* ./../lib/standard//collection//array.nit:245 */
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+      } else {
+        nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 245);
+      }
+      REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+      /* ./../lib/standard//kernel.nit:212 */
+      REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+    } else {
+      /* ./../lib/standard//collection//array.nit:245 */
+      REGB2 = TAG_Bool(false);
+      REGB1 = REGB2;
+    }
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      nit_abort("Assert %s  failed", "'index'", LOCATE_array, 245);
+    }
+    /* ./../lib/standard//collection//array.nit:246 */
+    fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+    }
+    /* ./../lib/standard//collection//array.nit:654 */
+    fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
+    /* ./../lib/standard//collection//array.nit:246 */
+    goto label2;
+    label2: while(0);
+    /* ./../lib/opts.nit:158 */
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+    if (!once_value_3) {
+      fra.me.REG[2] = BOX_NativeString(")");
+      REGB0 = TAG_Int(1);
+      fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
+      once_value_3 = fra.me.REG[2];
+      register_static_object(&once_value_3);
+    } else fra.me.REG[2] = once_value_3;
+    fra.me.REG[2] = fra.me.REG[2];
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2]);
+    fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
+    goto label4;
+  } else {
+    /* ./../lib/opts.nit:160 */
+    if (!once_value_5) {
+      fra.me.REG[2] = BOX_NativeString("");
+      REGB0 = TAG_Int(0);
+      fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB0);
+      once_value_5 = fra.me.REG[2];
+      register_static_object(&once_value_5);
+    } else fra.me.REG[2] = once_value_5;
+    fra.me.REG[2] = fra.me.REG[2];
+    fra.me.REG[1] = fra.me.REG[2];
+    goto label4;
+  }
+  label4: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-void opts___OptionInt___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 169, LOCATE_opts___OptionInt___init};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  variable[2] =  param1;
-  /* Register variable[3]: Local variable */
-  /* check if p<Array[String] with p:String */
-  if (( param2!=NIT_NULL) && !VAL_ISA( param2, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionInt___init, LOCATE_opts, 169); nit_exit(1); } /*cast Array[String]*/;
-  variable[3] =  param2;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionInt].i]) return;
-  /* Register variable[4]: Method return value and escape marker */
-  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0],  variable[1] /*help*/,  variable[2] /*default*/,  variable[3] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  return_label35: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionInt].i] = 1;
-  tracehead = trace.prev;
+void opts___OptionInt___init(val_t p0, val_t p1, val_t p2, val_t p3, int* init_table){
+  int itpos7 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionInt].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t tmp;
+  if (init_table[itpos7]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 169;
+  fra.me.meth = LOCATE_opts___OptionInt___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;
+  REGB0 = p2;
+  fra.me.REG[2] = p3;
+  /* ./../lib/opts.nit:169 */
+  REGB1 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/;
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 169);
+  }
+  CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], REGB0, fra.me.REG[2], init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos7] = 1;
   return;
 }
-val_t opts___OptionArray___convert(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 185, LOCATE_opts___OptionArray___convert};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/;
-  CALL_abstract_collection___SimpleCollection___add(variable[3])(variable[3],  variable[1] /*str*/) /*AbstractArray::add*/;
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/;
-  variable[2] = variable[3];
-  goto return_label36;
-  return_label36: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+val_t opts___OptionInt___convert(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_opts;
+  fra.me.line = 171;
+  fra.me.meth = LOCATE_opts___OptionInt___convert;
+  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/opts.nit:171 */
+  REGB0 = CALL_string___AbstractString___to_i(fra.me.REG[1])(fra.me.REG[1]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-void opts___OptionArray___init(val_t  self, val_t  param0, val_t  param1, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 178, LOCATE_opts___OptionArray___init};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Local variable */
-  /* check if p<Array[String] with p:String */
-  if (( param1!=NIT_NULL) && !VAL_ISA( param1, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionArray___init, LOCATE_opts, 178); nit_exit(1); } /*cast Array[String]*/;
-  variable[2] =  param1;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionArray].i]) return;
-  /* Register variable[3]: Method return value and escape marker */
-  /* Register variable[4]: Result */
-  variable[4] = NEW_Array_array___Array___init() /*new Array[String]*/;
-  ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/ = variable[4];
-  /* Register variable[4]: Result */
-  variable[4] = ATTR_opts___OptionArray____values(variable[0]) /*OptionArray::_values*/;
-  CALL_opts___OptionParameter___init_opt(variable[0])(variable[0],  variable[1] /*help*/, variable[4],  variable[2] /*names*/, init_table /*YYY*/) /*OptionParameter::init_opt*/;
-  return_label37: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionArray].i] = 1;
-  tracehead = trace.prev;
+void opts___OptionArray___init(val_t p0, val_t p1, val_t p2, int* init_table){
+  int itpos8 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionArray].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[3];} fra;
+  val_t REGB0;
+  val_t tmp;
+  if (init_table[itpos8]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 178;
+  fra.me.meth = LOCATE_opts___OptionArray___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 4;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[2] = NIT_NULL;
+  fra.me.REG[3] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  fra.me.REG[2] = p2;
+  /* ./../lib/opts.nit:178 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[2], COLOR_Array, ID_Array)) /*cast Array[String]*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 178);
+  }
+  /* ./../lib/opts.nit:180 */
+  fra.me.REG[3] = NEW_Array_array___Array___init();
+  ATTR_opts___OptionArray____values(fra.me.REG[0]) = fra.me.REG[3];
+  /* ./../lib/opts.nit:181 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionArray____values(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 181);
+  }
+  fra.me.REG[3] = ATTR_opts___OptionArray____values(fra.me.REG[0]);
+  CALL_opts___OptionParameter___init_opt(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1], fra.me.REG[3], fra.me.REG[2], init_table);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos8] = 1;
   return;
 }
-val_t opts___OptionContext___options(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 193, LOCATE_opts___OptionContext___options};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___OptionContext____options( self) /*OptionContext::_options*/;
+val_t opts___OptionArray___convert(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 185;
+  fra.me.meth = LOCATE_opts___OptionArray___convert;
+  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;
+  /* ./../lib/opts.nit:187 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionArray____values(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 187);
+  }
+  fra.me.REG[2] = ATTR_opts___OptionArray____values(fra.me.REG[0]);
+  CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+  /* ./../lib/opts.nit:188 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionArray____values(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_values", LOCATE_opts, 188);
+  }
+  fra.me.REG[0] = ATTR_opts___OptionArray____values(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
+}
+val_t opts___OptionContext___options(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_opts;
+  fra.me.line = 193;
+  fra.me.meth = LOCATE_opts___OptionContext___options;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:193 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 193);
+  }
+  fra.me.REG[0] = ATTR_opts___OptionContext____options(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t opts___OptionContext___rest(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 194, LOCATE_opts___OptionContext___rest};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  tracehead = trace.prev;
-  return ATTR_opts___OptionContext____rest( self) /*OptionContext::_rest*/;
+val_t opts___OptionContext___rest(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_opts;
+  fra.me.line = 194;
+  fra.me.meth = LOCATE_opts___OptionContext___rest;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:194 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionContext____rest(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_rest", LOCATE_opts, 194);
+  }
+  fra.me.REG[0] = ATTR_opts___OptionContext____rest(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void opts___OptionContext___usage(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 198, LOCATE_opts___OptionContext___usage};
-  val_t variable[11];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  variable[2] =  TAG_Int(1);
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
-  /* Register variable[3]: For iterator */
-  variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*AbstractArrayRead::iterator*/;
-  while (true) { /*for*/
-    /* Register variable[4]: For 'is_ok' result */
-    variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable[4])) break; /*for*/
-    variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
-    /* Register variable[5]: Local variable */
-    variable[5] = variable[4];
-    /* Register variable[6]: Local variable */
-    variable[6] =  TAG_Int(3);
-    /* Register variable[7]: Result */
-    variable[7] = CALL_opts___Option___names( variable[5] /*i*/)( variable[5] /*i*/) /*Option::names*/;
-    /* Register variable[7]: For iterator */
-    variable[7] = CALL_abstract_collection___Collection___iterator(variable[7])(variable[7]) /*AbstractArrayRead::iterator*/;
-    while (true) { /*for*/
-      /* Register variable[8]: For 'is_ok' result */
-      variable[8] = CALL_abstract_collection___Iterator___is_ok(variable[7])(variable[7]) /*ArrayIterator::is_ok*/;
-      if (!UNTAG_Bool(variable[8])) break; /*for*/
-      variable[8] = CALL_abstract_collection___Iterator___item(variable[7])(variable[7]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
-      /* Register variable[9]: Local variable */
-      variable[9] = variable[8];
-      /* Register variable[10]: Result */
-      variable[10] = CALL_abstract_collection___Collection___length( variable[9] /*n*/)( variable[9] /*n*/) /*AbstractArrayRead::length*/;
-      /* Register variable[10]: Result */
-      variable[10] = TAG_Int(UNTAG_Int(variable[10])+UNTAG_Int( TAG_Int(2)));
-      variable[6] = TAG_Int(UNTAG_Int(variable[6])+UNTAG_Int(variable[10])) /*l*/;
-      continue_40: while(0);
-      CALL_abstract_collection___Iterator___next(variable[7])(variable[7]) /*ArrayIterator::next*/;
+void opts___OptionContext___usage(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[5];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t REGB3;
+  val_t REGB4;
+  val_t REGB5;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 198;
+  fra.me.meth = LOCATE_opts___OptionContext___usage;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 6;
+  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[4] = NIT_NULL;
+  fra.me.REG[5] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:200 */
+  REGB0 = TAG_Int(1);
+  /* ./../lib/opts.nit:201 */
+  REGB1 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 201);
+  }
+  fra.me.REG[1] = ATTR_opts___OptionContext____options(fra.me.REG[0]);
+  /* ./../lib/standard//collection//array.nit:234 */
+  REGB1 = TAG_Int(0);
+  /* ./../lib/standard//collection//array.nit:235 */
+  REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+  if (UNTAG_Bool(REGB2)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+  }
+  REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+  /* ./../lib/standard//collection//array.nit:236 */
+  fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[1]);
+  /* ./../lib/standard//collection//array.nit:237 */
+  while(1) {
+    /* ./../lib/standard//collection//array.nit:23 */
+    REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+    if (UNTAG_Bool(REGB2)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
     }
-    break_40: while(0);
-    /* Register variable[7]: Result */
-    variable[7] = TAG_Bool(UNTAG_Int( variable[2] /*lmax*/)<UNTAG_Int( variable[6] /*l*/));
-    if (UNTAG_Bool(variable[7])) { /*if*/
-      variable[2] =  variable[6] /*l*/ /*lmax=*/;
+    REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+    /* ./../lib/standard//kernel.nit:212 */
+    REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
+    /* ./../lib/standard//collection//array.nit:237 */
+    if (UNTAG_Bool(REGB2)) {
+      /* ./../lib/standard//collection//array.nit:238 */
+      REGB2 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB2)) {
+        nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+      }
+      /* ./../lib/standard//collection//array.nit:654 */
+      fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB1)];
+      /* ./../lib/opts.nit:202 */
+      REGB2 = TAG_Int(3);
+      /* ./../lib/opts.nit:203 */
+      fra.me.REG[3] = CALL_opts___Option___names(fra.me.REG[3])(fra.me.REG[3]);
+      /* ./../lib/standard//collection//array.nit:234 */
+      REGB3 = TAG_Int(0);
+      /* ./../lib/standard//collection//array.nit:235 */
+      REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+      if (UNTAG_Bool(REGB4)) {
+      } else {
+        nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+      }
+      REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+      /* ./../lib/standard//collection//array.nit:236 */
+      fra.me.REG[4] = ATTR_array___Array____items(fra.me.REG[3]);
+      /* ./../lib/standard//collection//array.nit:237 */
+      while(1) {
+        /* ./../lib/standard//collection//array.nit:23 */
+        REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[3])!=NIT_NULL);
+        if (UNTAG_Bool(REGB4)) {
+        } else {
+          nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+        }
+        REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[3]);
+        /* ./../lib/standard//kernel.nit:212 */
+        REGB4 = TAG_Bool(UNTAG_Int(REGB3)<UNTAG_Int(REGB4));
+        /* ./../lib/standard//collection//array.nit:237 */
+        if (UNTAG_Bool(REGB4)) {
+          /* ./../lib/standard//collection//array.nit:238 */
+          REGB4 = TAG_Bool(fra.me.REG[4]==NIT_NULL);
+          if (UNTAG_Bool(REGB4)) {
+            nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+          }
+          /* ./../lib/standard//collection//array.nit:654 */
+          fra.me.REG[5] = ((Nit_NativeArray)fra.me.REG[4])->val[UNTAG_Int(REGB3)];
+          /* ./../lib/standard//collection//array.nit:23 */
+          REGB4 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[5])!=NIT_NULL);
+          if (UNTAG_Bool(REGB4)) {
+          } else {
+            nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+          }
+          REGB4 = ATTR_array___AbstractArrayRead____length(fra.me.REG[5]);
+          /* ./../lib/opts.nit:204 */
+          REGB5 = TAG_Int(2);
+          /* ./../lib/standard//kernel.nit:215 */
+          REGB5 = TAG_Int(UNTAG_Int(REGB4)+UNTAG_Int(REGB5));
+          REGB5 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB5));
+          /* ./../lib/opts.nit:204 */
+          REGB2 = REGB5;
+          /* ./../lib/standard//collection//array.nit:239 */
+          REGB5 = TAG_Int(1);
+          /* ./../lib/standard//kernel.nit:215 */
+          REGB5 = TAG_Int(UNTAG_Int(REGB3)+UNTAG_Int(REGB5));
+          /* ./../lib/standard//collection//array.nit:239 */
+          REGB3 = REGB5;
+        } else {
+          /* ./../lib/standard//collection//array.nit:237 */
+          goto label1;
+        }
+      }
+      label1: while(0);
+      /* ./../lib/standard//kernel.nit:212 */
+      REGB3 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB2));
+      /* ./../lib/opts.nit:206 */
+      if (UNTAG_Bool(REGB3)) {
+        REGB0 = REGB2;
+      }
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB2 = TAG_Int(1);
+      /* ./../lib/standard//kernel.nit:215 */
+      REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB1 = REGB2;
+    } else {
+      /* ./../lib/standard//collection//array.nit:237 */
+      goto label2;
     }
-    continue_39: while(0);
-    CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*ArrayIterator::next*/;
   }
-  break_39: while(0);
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
-  /* Register variable[3]: For iterator */
-  variable[3] = CALL_abstract_collection___Collection___iterator(variable[3])(variable[3]) /*AbstractArrayRead::iterator*/;
-  while (true) { /*for*/
-    /* Register variable[4]: For 'is_ok' result */
-    variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable[4])) break; /*for*/
-    variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
-    /* Register variable[5]: Local variable */
-    variable[5] = variable[4];
-    /* Register variable[6]: Result */
-    variable[6] = CALL_opts___Option___pretty( variable[5] /*i*/)( variable[5] /*i*/,  variable[2] /*lmax*/) /*Option::pretty*/;
-    CALL_file___Object___print(variable[0])(variable[0], variable[6]) /*Object::print*/;
-    continue_41: while(0);
-    CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*ArrayIterator::next*/;
+  label2: while(0);
+  /* ./../lib/opts.nit:209 */
+  REGB1 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 209);
   }
-  break_41: while(0);
-  return_label38: while(false);
-  tracehead = trace.prev;
+  fra.me.REG[2] = ATTR_opts___OptionContext____options(fra.me.REG[0]);
+  /* ./../lib/standard//collection//array.nit:234 */
+  REGB1 = TAG_Int(0);
+  /* ./../lib/standard//collection//array.nit:235 */
+  REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+  if (UNTAG_Bool(REGB2)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+  }
+  REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+  /* ./../lib/standard//collection//array.nit:236 */
+  fra.me.REG[1] = ATTR_array___Array____items(fra.me.REG[2]);
+  /* ./../lib/standard//collection//array.nit:237 */
+  while(1) {
+    /* ./../lib/standard//collection//array.nit:23 */
+    REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[2])!=NIT_NULL);
+    if (UNTAG_Bool(REGB2)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+    }
+    REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[2]);
+    /* ./../lib/standard//kernel.nit:212 */
+    REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
+    /* ./../lib/standard//collection//array.nit:237 */
+    if (UNTAG_Bool(REGB2)) {
+      /* ./../lib/standard//collection//array.nit:238 */
+      REGB2 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+      if (UNTAG_Bool(REGB2)) {
+        nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+      }
+      /* ./../lib/standard//collection//array.nit:654 */
+      fra.me.REG[4] = ((Nit_NativeArray)fra.me.REG[1])->val[UNTAG_Int(REGB1)];
+      /* ./../lib/opts.nit:210 */
+      fra.me.REG[4] = CALL_opts___Option___pretty(fra.me.REG[4])(fra.me.REG[4], REGB0);
+      CALL_file___Object___print(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[4]);
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB2 = TAG_Int(1);
+      /* ./../lib/standard//kernel.nit:215 */
+      REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB1 = REGB2;
+    } else {
+      /* ./../lib/standard//collection//array.nit:237 */
+      goto label3;
+    }
+  }
+  label3: while(0);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void opts___OptionContext___parse(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 214, LOCATE_opts___OptionContext___parse};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Local variable */
-  /* Register variable[4]: Result */
-  variable[4] = CALL_abstract_collection___Collection___iterator( variable[1] /*argv*/)( variable[1] /*argv*/) /*Collection::iterator*/;
-  variable[3] = variable[4];
-  CALL_opts___OptionContext___parse_intern(variable[0])(variable[0],  variable[3] /*it*/) /*OptionContext::parse_intern*/;
-  return_label42: while(false);
-  tracehead = trace.prev;
+void opts___OptionContext___parse(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_opts;
+  fra.me.line = 214;
+  fra.me.meth = LOCATE_opts___OptionContext___parse;
+  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/opts.nit:217 */
+  fra.me.REG[1] = CALL_abstract_collection___Collection___iterator(fra.me.REG[1])(fra.me.REG[1]);
+  /* ./../lib/opts.nit:218 */
+  CALL_opts___OptionContext___parse_intern(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void opts___OptionContext___parse_intern(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 221, LOCATE_opts___OptionContext___parse_intern};
-    static val_t once_value_45 = NIT_NULL; /* Once value for string variable[6]*/
-  val_t variable[8];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Local variable */
-  variable[3] =  TAG_Bool(true);
-  CALL_opts___OptionContext___build(variable[0])(variable[0]) /*OptionContext::build*/;
-  /* Register variable[4]: Local variable */
-  /* Register variable[5]: Result */
-  variable[5] = ATTR_opts___OptionContext____rest(variable[0]) /*OptionContext::_rest*/;
-  variable[4] = variable[5];
-  while (true) { /*while*/
-    variable[5] =  variable[3] /*parseargs*/ /* Ensure var: Left 'and' operand*/;
-    if (UNTAG_Bool(variable[5])) { /* and */
-      /* Register variable[5]: Result */
-      variable[5] = CALL_abstract_collection___Iterator___is_ok( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::is_ok*/;
-    }
-    /* Register variable[5]: Result */
-    if (!UNTAG_Bool(variable[5])) break; /* while*/
-    /* Register variable[5]: Local variable */
-    /* Register variable[6]: Result */
-    variable[6] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/;
-    variable[5] = variable[6];
-    /* Register variable[6]: Once String constant */
-    if (once_value_45 != NIT_NULL) variable[6] = once_value_45;
-    else {
-      variable[6] = NEW_String_string___String___with_native(BOX_NativeString("--"), TAG_Int(2)) /*new String*/;
-      once_value_45 = variable[6];
+void opts___OptionContext___parse_intern(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[4];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+      static val_t once_value_1; /* Once value */
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 221;
+  fra.me.meth = LOCATE_opts___OptionContext___parse_intern;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 5;
+  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[4] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/opts.nit:223 */
+  REGB0 = TAG_Bool(true);
+  /* ./../lib/opts.nit:224 */
+  CALL_opts___OptionContext___build(fra.me.REG[0])(fra.me.REG[0]);
+  /* ./../lib/opts.nit:225 */
+  REGB1 = TAG_Bool(ATTR_opts___OptionContext____rest(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_rest", LOCATE_opts, 225);
+  }
+  fra.me.REG[2] = ATTR_opts___OptionContext____rest(fra.me.REG[0]);
+  /* ./../lib/opts.nit:227 */
+  while(1) {
+    if (UNTAG_Bool(REGB0)) {
+      REGB1 = CALL_abstract_collection___Iterator___is_ok(fra.me.REG[1])(fra.me.REG[1]);
+    } else {
+      REGB2 = TAG_Bool(false);
+      REGB1 = REGB2;
     }
-    /* Register variable[6]: Result */
-    /* Register variable[6]: Result */
-    variable[6] = TAG_Bool(( variable[5] /*str*/ == variable[6]) || (( variable[5] /*str*/ != NIT_NULL) && UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[5] /*str*/)( variable[5] /*str*/, variable[6]) /*String::==*/)));
-    if (UNTAG_Bool(variable[6])) { /*if*/
-      CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
-      /* Register variable[6]: Result */
-      variable[6] = CALL_array___Iterator___to_a( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::to_a*/;
-      CALL_abstract_collection___SimpleCollection___add_all( variable[4] /*rest*/)( variable[4] /*rest*/, variable[6]) /*SimpleCollection::add_all*/;
-      variable[3] =  TAG_Bool(false) /*parseargs=*/;
-    } else { /*if*/
-      /* Register variable[6]: Result */
-      variable[6] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/;
-      /* Register variable[6]: Result */
-      variable[6] = CALL_abstract_collection___MapRead___has_key(variable[6])(variable[6],  variable[5] /*str*/) /*MapRead::has_key*/;
-      if (UNTAG_Bool(variable[6])) { /*if*/
-        /* Register variable[6]: Local variable */
-        /* Register variable[7]: Result */
-        variable[7] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/;
-        /* Register variable[7]: Result */
-        variable[7] = CALL_abstract_collection___MapRead_____bra(variable[7])(variable[7],  variable[5] /*str*/) /*MapRead::[]*/;
-        variable[6] = variable[7];
-        CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
-        CALL_opts___Option___read_param( variable[6] /*opt*/)( variable[6] /*opt*/,  variable[1] /*it*/) /*Option::read_param*/;
-      } else { /*if*/
-        /* Register variable[6]: Result */
-        variable[6] = CALL_abstract_collection___Iterator___item( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::item*/;
-        CALL_abstract_collection___SimpleCollection___add( variable[4] /*rest*/)( variable[4] /*rest*/, variable[6]) /*AbstractArray::add*/;
-        CALL_abstract_collection___Iterator___next( variable[1] /*it*/)( variable[1] /*it*/) /*Iterator::next*/;
+    if (UNTAG_Bool(REGB1)) {
+      /* ./../lib/opts.nit:228 */
+      fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]);
+      /* ./../lib/opts.nit:229 */
+      if (!once_value_1) {
+        fra.me.REG[4] = BOX_NativeString("--");
+        REGB1 = TAG_Int(2);
+        fra.me.REG[4] = NEW_String_string___String___with_native(fra.me.REG[4], REGB1);
+        once_value_1 = fra.me.REG[4];
+        register_static_object(&once_value_1);
+      } else fra.me.REG[4] = once_value_1;
+      fra.me.REG[4] = fra.me.REG[4];
+      REGB1 = TAG_Bool(IS_EQUAL_OO(fra.me.REG[3],fra.me.REG[4]));
+      if (UNTAG_Bool(REGB1)) {
+      } else {
+        REGB2 = CALL_kernel___Object_____eqeq(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[4]);
+        REGB1 = REGB2;
+      }
+      if (UNTAG_Bool(REGB1)) {
+        /* ./../lib/opts.nit:230 */
+        CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]);
+        /* ./../lib/opts.nit:231 */
+        fra.me.REG[4] = CALL_array___Iterator___to_a(fra.me.REG[1])(fra.me.REG[1]);
+        CALL_abstract_collection___SimpleCollection___add_all(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[4]);
+        /* ./../lib/opts.nit:232 */
+        REGB1 = TAG_Bool(false);
+        REGB0 = REGB1;
+      } else {
+        /* ./../lib/opts.nit:234 */
+        REGB1 = TAG_Bool(ATTR_opts___OptionContext____optmap(fra.me.REG[0])!=NIT_NULL);
+        if (UNTAG_Bool(REGB1)) {
+        } else {
+          nit_abort("Uninitialized attribute %s", "_optmap", LOCATE_opts, 234);
+        }
+        fra.me.REG[4] = ATTR_opts___OptionContext____optmap(fra.me.REG[0]);
+        REGB1 = CALL_abstract_collection___MapRead___has_key(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]);
+        if (UNTAG_Bool(REGB1)) {
+          /* ./../lib/opts.nit:235 */
+          REGB1 = TAG_Bool(ATTR_opts___OptionContext____optmap(fra.me.REG[0])!=NIT_NULL);
+          if (UNTAG_Bool(REGB1)) {
+          } else {
+            nit_abort("Uninitialized attribute %s", "_optmap", LOCATE_opts, 235);
+          }
+          fra.me.REG[4] = ATTR_opts___OptionContext____optmap(fra.me.REG[0]);
+          fra.me.REG[3] = CALL_abstract_collection___MapRead_____bra(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]);
+          /* ./../lib/opts.nit:236 */
+          CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]);
+          /* ./../lib/opts.nit:237 */
+          CALL_opts___Option___read_param(fra.me.REG[3])(fra.me.REG[3], fra.me.REG[1]);
+        } else {
+          /* ./../lib/opts.nit:239 */
+          fra.me.REG[3] = CALL_abstract_collection___Iterator___item(fra.me.REG[1])(fra.me.REG[1]);
+          CALL_abstract_collection___SimpleCollection___add(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[3]);
+          /* ./../lib/opts.nit:240 */
+          CALL_abstract_collection___Iterator___next(fra.me.REG[1])(fra.me.REG[1]);
+        }
       }
+    } else {
+      /* ./../lib/opts.nit:227 */
+      goto label2;
     }
-    continue_44: while(0);
   }
-  break_44: while(0);
-  return_label43: while(false);
-  tracehead = trace.prev;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void opts___OptionContext___add_option(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 246, LOCATE_opts___OptionContext___add_option};
-  val_t variable[7];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  /* check if p<Array[Option] with p:Option */
-  if (( param0!=NIT_NULL) && !VAL_ISA( param0, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_opts___OptionContext___add_option, LOCATE_opts, 246); nit_exit(1); } /*cast Array[Option]*/;
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: For iterator */
-  variable[3] = CALL_abstract_collection___Collection___iterator( variable[1] /*opts*/)( variable[1] /*opts*/) /*AbstractArrayRead::iterator*/;
-  while (true) { /*for*/
-    /* Register variable[4]: For 'is_ok' result */
-    variable[4] = CALL_abstract_collection___Iterator___is_ok(variable[3])(variable[3]) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable[4])) break; /*for*/
-    variable[4] = CALL_abstract_collection___Iterator___item(variable[3])(variable[3]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
-    /* Register variable[5]: Local variable */
-    variable[5] = variable[4];
-    CALL_opts___Option___context__eq( variable[5] /*opt*/)( variable[5] /*opt*/, variable[0]) /*Option::context=*/;
-    /* Register variable[6]: Result */
-    variable[6] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
-    CALL_abstract_collection___SimpleCollection___add(variable[6])(variable[6],  variable[5] /*opt*/) /*AbstractArray::add*/;
-    continue_47: while(0);
-    CALL_abstract_collection___Iterator___next(variable[3])(variable[3]) /*ArrayIterator::next*/;
+void opts___OptionContext___add_option(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[4];} 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_opts;
+  fra.me.line = 246;
+  fra.me.meth = LOCATE_opts___OptionContext___add_option;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 5;
+  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[4] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/opts.nit:246 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_Array, ID_Array)) /*cast Array[Option]*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_opts, 246);
+  }
+  /* ./../lib/standard//collection//array.nit:234 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//collection//array.nit:235 */
+  REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+  }
+  REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+  /* ./../lib/standard//collection//array.nit:236 */
+  fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[1]);
+  /* ./../lib/standard//collection//array.nit:237 */
+  while(1) {
+    /* ./../lib/standard//collection//array.nit:23 */
+    REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+    }
+    REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+    /* ./../lib/standard//kernel.nit:212 */
+    REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+    /* ./../lib/standard//collection//array.nit:237 */
+    if (UNTAG_Bool(REGB1)) {
+      /* ./../lib/standard//collection//array.nit:238 */
+      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+      }
+      /* ./../lib/standard//collection//array.nit:654 */
+      fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
+      /* ./../lib/opts.nit:249 */
+      REGB1 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+      } else {
+        nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 249);
+      }
+      fra.me.REG[4] = ATTR_opts___OptionContext____options(fra.me.REG[0]);
+      CALL_abstract_collection___SimpleCollection___add(fra.me.REG[4])(fra.me.REG[4], fra.me.REG[3]);
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB1 = TAG_Int(1);
+      /* ./../lib/standard//kernel.nit:215 */
+      REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB0 = REGB1;
+    } else {
+      /* ./../lib/standard//collection//array.nit:237 */
+      goto label1;
+    }
   }
-  break_47: while(0);
-  return_label46: while(false);
-  tracehead = trace.prev;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void opts___OptionContext___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 254, LOCATE_opts___OptionContext___init};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionContext].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = NEW_Array_array___Array___init() /*new Array[Option]*/;
-  ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/ = variable[2];
-  /* Register variable[2]: Result */
-  variable[2] = NEW_HashMap_hash___HashMap___init() /*new HashMap[String, Option]*/;
-  ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/ = variable[2];
-  /* Register variable[2]: Result */
-  variable[2] = NEW_Array_array___Array___init() /*new Array[String]*/;
-  ATTR_opts___OptionContext____rest(variable[0]) /*OptionContext::_rest*/ = variable[2];
-  return_label48: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OptionContext].i] = 1;
-  tracehead = trace.prev;
+void opts___OptionContext___init(val_t p0, int* init_table){
+  int itpos9 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OptionContext].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t tmp;
+  if (init_table[itpos9]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_opts;
+  fra.me.line = 253;
+  fra.me.meth = LOCATE_opts___OptionContext___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;
+  /* ./../lib/opts.nit:255 */
+  fra.me.REG[1] = NEW_Array_array___Array___init();
+  ATTR_opts___OptionContext____options(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/opts.nit:256 */
+  fra.me.REG[1] = NEW_HashMap_hash_collection___HashMap___init();
+  ATTR_opts___OptionContext____optmap(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/opts.nit:257 */
+  fra.me.REG[1] = NEW_Array_array___Array___init();
+  ATTR_opts___OptionContext____rest(fra.me.REG[0]) = fra.me.REG[1];
+  stack_frame_head = fra.me.prev;
+  init_table[itpos9] = 1;
   return;
 }
-void opts___OptionContext___build(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 261, LOCATE_opts___OptionContext___build};
-  val_t variable[9];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_opts;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = ATTR_opts___OptionContext____options(variable[0]) /*OptionContext::_options*/;
-  /* Register variable[2]: For iterator */
-  variable[2] = CALL_abstract_collection___Collection___iterator(variable[2])(variable[2]) /*AbstractArrayRead::iterator*/;
-  while (true) { /*for*/
-    /* Register variable[3]: For 'is_ok' result */
-    variable[3] = CALL_abstract_collection___Iterator___is_ok(variable[2])(variable[2]) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable[3])) break; /*for*/
-    variable[3] = CALL_abstract_collection___Iterator___item(variable[2])(variable[2]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
-    /* Register variable[4]: Local variable */
-    variable[4] = variable[3];
-    /* Register variable[5]: Result */
-    variable[5] = CALL_opts___Option___names( variable[4] /*o*/)( variable[4] /*o*/) /*Option::names*/;
-    /* Register variable[5]: For iterator */
-    variable[5] = CALL_abstract_collection___Collection___iterator(variable[5])(variable[5]) /*AbstractArrayRead::iterator*/;
-    while (true) { /*for*/
-      /* Register variable[6]: For 'is_ok' result */
-      variable[6] = CALL_abstract_collection___Iterator___is_ok(variable[5])(variable[5]) /*ArrayIterator::is_ok*/;
-      if (!UNTAG_Bool(variable[6])) break; /*for*/
-      variable[6] = CALL_abstract_collection___Iterator___item(variable[5])(variable[5]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
-      /* Register variable[7]: Local variable */
-      variable[7] = variable[6];
-      /* Register variable[8]: Result */
-      variable[8] = ATTR_opts___OptionContext____optmap(variable[0]) /*OptionContext::_optmap*/;
-      CALL_abstract_collection___Map_____braeq(variable[8])(variable[8],  variable[7] /*n*/,  variable[4] /*o*/) /*Map::[]=*/;
-      continue_51: while(0);
-      CALL_abstract_collection___Iterator___next(variable[5])(variable[5]) /*ArrayIterator::next*/;
+void opts___OptionContext___build(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[7];} 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_opts;
+  fra.me.line = 260;
+  fra.me.meth = LOCATE_opts___OptionContext___build;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 8;
+  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[4] = NIT_NULL;
+  fra.me.REG[5] = NIT_NULL;
+  fra.me.REG[6] = NIT_NULL;
+  fra.me.REG[7] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/opts.nit:262 */
+  REGB0 = TAG_Bool(ATTR_opts___OptionContext____options(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_options", LOCATE_opts, 262);
+  }
+  fra.me.REG[1] = ATTR_opts___OptionContext____options(fra.me.REG[0]);
+  /* ./../lib/standard//collection//array.nit:234 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//collection//array.nit:235 */
+  REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+  }
+  REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+  /* ./../lib/standard//collection//array.nit:236 */
+  fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[1]);
+  /* ./../lib/standard//collection//array.nit:237 */
+  while(1) {
+    /* ./../lib/standard//collection//array.nit:23 */
+    REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+    }
+    REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+    /* ./../lib/standard//kernel.nit:212 */
+    REGB1 = TAG_Bool(UNTAG_Int(REGB0)<UNTAG_Int(REGB1));
+    /* ./../lib/standard//collection//array.nit:237 */
+    if (UNTAG_Bool(REGB1)) {
+      /* ./../lib/standard//collection//array.nit:238 */
+      REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+      if (UNTAG_Bool(REGB1)) {
+        nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+      }
+      /* ./../lib/standard//collection//array.nit:654 */
+      fra.me.REG[3] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
+      /* ./../lib/opts.nit:263 */
+      fra.me.REG[4] = CALL_opts___Option___names(fra.me.REG[3])(fra.me.REG[3]);
+      /* ./../lib/standard//collection//array.nit:234 */
+      REGB1 = TAG_Int(0);
+      /* ./../lib/standard//collection//array.nit:235 */
+      REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
+      if (UNTAG_Bool(REGB2)) {
+      } else {
+        nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 235);
+      }
+      REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]);
+      /* ./../lib/standard//collection//array.nit:236 */
+      fra.me.REG[5] = ATTR_array___Array____items(fra.me.REG[4]);
+      /* ./../lib/standard//collection//array.nit:237 */
+      while(1) {
+        /* ./../lib/standard//collection//array.nit:23 */
+        REGB2 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[4])!=NIT_NULL);
+        if (UNTAG_Bool(REGB2)) {
+        } else {
+          nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+        }
+        REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[4]);
+        /* ./../lib/standard//kernel.nit:212 */
+        REGB2 = TAG_Bool(UNTAG_Int(REGB1)<UNTAG_Int(REGB2));
+        /* ./../lib/standard//collection//array.nit:237 */
+        if (UNTAG_Bool(REGB2)) {
+          /* ./../lib/standard//collection//array.nit:238 */
+          REGB2 = TAG_Bool(fra.me.REG[5]==NIT_NULL);
+          if (UNTAG_Bool(REGB2)) {
+            nit_abort("Reciever is null", NULL, LOCATE_array, 238);
+          }
+          /* ./../lib/standard//collection//array.nit:654 */
+          fra.me.REG[6] = ((Nit_NativeArray)fra.me.REG[5])->val[UNTAG_Int(REGB1)];
+          /* ./../lib/opts.nit:264 */
+          REGB2 = TAG_Bool(ATTR_opts___OptionContext____optmap(fra.me.REG[0])!=NIT_NULL);
+          if (UNTAG_Bool(REGB2)) {
+          } else {
+            nit_abort("Uninitialized attribute %s", "_optmap", LOCATE_opts, 264);
+          }
+          fra.me.REG[7] = ATTR_opts___OptionContext____optmap(fra.me.REG[0]);
+          CALL_abstract_collection___Map_____braeq(fra.me.REG[7])(fra.me.REG[7], fra.me.REG[6], fra.me.REG[3]);
+          /* ./../lib/standard//collection//array.nit:239 */
+          REGB2 = TAG_Int(1);
+          /* ./../lib/standard//kernel.nit:215 */
+          REGB2 = TAG_Int(UNTAG_Int(REGB1)+UNTAG_Int(REGB2));
+          /* ./../lib/standard//collection//array.nit:239 */
+          REGB1 = REGB2;
+        } else {
+          /* ./../lib/standard//collection//array.nit:237 */
+          goto label1;
+        }
+      }
+      label1: while(0);
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB1 = TAG_Int(1);
+      /* ./../lib/standard//kernel.nit:215 */
+      REGB1 = TAG_Int(UNTAG_Int(REGB0)+UNTAG_Int(REGB1));
+      /* ./../lib/standard//collection//array.nit:239 */
+      REGB0 = REGB1;
+    } else {
+      /* ./../lib/standard//collection//array.nit:237 */
+      goto label2;
     }
-    break_51: while(0);
-    continue_50: while(0);
-    CALL_abstract_collection___Iterator___next(variable[2])(variable[2]) /*ArrayIterator::next*/;
   }
-  break_50: while(0);
-  return_label49: while(false);
-  tracehead = trace.prev;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
   return;
 }