Merge remote branch 'origin/pu/nitdoc-graph' into wip

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

diff --git a/c_src/file._sep.c b/c_src/file._sep.c
index b640037..91458d0 100644 (file)
--- a/c_src/file._sep.c
+++ b/c_src/file._sep.c
@@ -1,1085 +1,1573 @@
 /* This C file is generated by NIT to compile module file. */
 #include "file._sep.h"
-void file___Object___printn(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 25, LOCATE_file___Object___printn};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Local variable */
-  /* check if p<Array[Object] with p:Object */
-  if (( param0!=NIT_NULL) && !VAL_ISA( param0, COLOR_Array, ID_Array)) { fprintf(stderr, "Cast failled"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___Object___printn, LOCATE_file, 26); nit_exit(1); } /*cast Array[Object]*/;
-  variable[1] =  param0;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Result */
-  variable[3] = CALL_file___Object___stdout(variable[0])(variable[0]) /*Object::stdout*/;
-  /* Register variable[4]: Result */
-  variable[4] = CALL_string___Object___to_s( variable[1] /*objects*/)( variable[1] /*objects*/) /*Array::to_s*/;
-  CALL_stream___OStream___write(variable[3])(variable[3], variable[4]) /*OFStream::write*/;
-  return_label0: while(false);
-  tracehead = trace.prev;
+void file___Object___printn(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_file;
+  fra.me.line = 25;
+  fra.me.meth = LOCATE_file___Object___printn;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//file.nit:25 */
+  REGB0 = TAG_Bool(VAL_ISA(fra.me.REG[1], COLOR_Array, ID_Array)) /*cast Array[Object]*/;
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Cast failed", NULL, LOCATE_file, 25);
+  }
+  /* ./../lib/standard//file.nit:28 */
+  fra.me.REG[0] = CALL_file___Object___stdout(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
+  CALL_stream___OStream___write(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void file___Object___print(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 31, LOCATE_file___Object___print};
-  static val_t once_value_2 = NIT_NULL; /* Once value for string variable[4]*/
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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] = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable[1] /*object*/ ==  NIT_NULL /*null*/) || (( variable[1] /*object*/ != NIT_NULL) && ((CALL_kernel___Object_____eqeq( variable[1] /*object*/)==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable[1] /*object*/, NIT_NULL /*null*/)):(UNTAG_Bool(CALL_kernel___Object_____eqeq( variable[1] /*object*/)( variable[1] /*object*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    /* Register variable[3]: Result */
-    variable[3] = CALL_file___Object___stdout(variable[0])(variable[0]) /*Object::stdout*/;
-    /* Register variable[4]: Result */
-    variable[4] = CALL_string___Object___to_s( variable[1] /*object*/)( variable[1] /*object*/) /*Object::to_s*/;
-    CALL_stream___OStream___write(variable[3])(variable[3], variable[4]) /*OFStream::write*/;
-  }
-  /* Register variable[3]: Result */
-  variable[3] = CALL_file___Object___stdout(variable[0])(variable[0]) /*Object::stdout*/;
-  /* Register variable[4]: Once String constant */
-  if (once_value_2 != NIT_NULL) variable[4] = once_value_2;
-  else {
-    variable[4] = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)) /*new String*/;
-    once_value_2 = variable[4];
-  }
-  /* Register variable[4]: Result */
-  CALL_stream___OStream___write(variable[3])(variable[3], variable[4]) /*OFStream::write*/;
-  return_label1: while(false);
-  tracehead = trace.prev;
+void file___Object___print(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  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_file;
+  fra.me.line = 31;
+  fra.me.meth = LOCATE_file___Object___print;
+  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/standard//file.nit:34 */
+  fra.me.REG[2] = CALL_file___Object___stdout(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[1] = CALL_string___Object___to_s(fra.me.REG[1])(fra.me.REG[1]);
+  CALL_stream___OStream___write(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+  /* ./../lib/standard//file.nit:35 */
+  fra.me.REG[0] = CALL_file___Object___stdout(fra.me.REG[0])(fra.me.REG[0]);
+  if (!once_value_1) {
+    fra.me.REG[1] = BOX_NativeString("\n");
+    REGB0 = TAG_Int(1);
+    fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB0);
+    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];
+  CALL_stream___OStream___write(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t file___Object___getc(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 40, LOCATE_file___Object___getc};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___Object___stdin(variable[0])(variable[0]) /*Object::stdin*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_stream___IStream___read_char(variable[2])(variable[2]) /*BufferedIStream::read_char*/;
-  /* Register variable[2]: Result */
-  variable[2] = TAG_Char(UNTAG_Int(variable[2]));
-  variable[1] = variable[2];
-  goto return_label3;
-  return_label3: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___Object___getc(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_file;
+  fra.me.line = 38;
+  fra.me.meth = LOCATE_file___Object___getc;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:41 */
+  fra.me.REG[0] = CALL_file___Object___stdin(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = CALL_stream___IStream___read_char(fra.me.REG[0])(fra.me.REG[0]);
+  /* ./../lib/standard//kernel.nit:277 */
+  REGB0 = TAG_Char(UNTAG_Int(REGB0));
+  /* ./../lib/standard//file.nit:41 */
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___Object___gets(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 46, LOCATE_file___Object___gets};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___Object___stdin(variable[0])(variable[0]) /*Object::stdin*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_stream___IStream___read_line(variable[2])(variable[2]) /*IStream::read_line*/;
-  variable[1] = variable[2];
-  goto return_label4;
-  return_label4: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___Object___gets(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_file;
+  fra.me.line = 44;
+  fra.me.meth = LOCATE_file___Object___gets;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:47 */
+  fra.me.REG[0] = CALL_file___Object___stdin(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[0] = CALL_stream___IStream___read_line(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___Object___stdin(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 294, LOCATE_file___Object___stdin};
-  static val_t once_value_6; static int once_bool_6; /* Once value for variable[2]*/
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Once expression result */
-  if (once_bool_6) variable[2] = once_value_6;
-  else {
-    /* Register variable[2]: Result */
-    variable[2] = NEW_Stdin_file___Stdin___init() /*new Stdin*/;
-    once_value_6 = variable[2];
-    once_bool_6 = true;
-  }
-  /* Register variable[2]: Result */
-  variable[1] = variable[2];
-  goto return_label5;
-  return_label5: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___Object___stdin(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  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_file;
+  fra.me.line = 291;
+  fra.me.meth = LOCATE_file___Object___stdin;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:292 */
+  if (!once_value_1) {
+    fra.me.REG[0] = NEW_Stdin_file___Stdin___init();
+    once_value_1 = fra.me.REG[0];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[0] = once_value_1;
+  fra.me.REG[0] = fra.me.REG[0];
+  goto label2;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___Object___stdout(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 297, LOCATE_file___Object___stdout};
-  static val_t once_value_8; static int once_bool_8; /* Once value for variable[2]*/
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Once expression result */
-  if (once_bool_8) variable[2] = once_value_8;
-  else {
-    /* Register variable[2]: Result */
-    variable[2] = NEW_Stdout_file___Stdout___init() /*new Stdout*/;
-    once_value_8 = variable[2];
-    once_bool_8 = true;
-  }
-  /* Register variable[2]: Result */
-  variable[1] = variable[2];
-  goto return_label7;
-  return_label7: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___Object___stdout(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  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_file;
+  fra.me.line = 294;
+  fra.me.meth = LOCATE_file___Object___stdout;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:295 */
+  if (!once_value_1) {
+    fra.me.REG[0] = NEW_Stdout_file___Stdout___init();
+    once_value_1 = fra.me.REG[0];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[0] = once_value_1;
+  fra.me.REG[0] = fra.me.REG[0];
+  goto label2;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___Object___stderr(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 300, LOCATE_file___Object___stderr};
-  static val_t once_value_10; static int once_bool_10; /* Once value for variable[2]*/
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Once expression result */
-  if (once_bool_10) variable[2] = once_value_10;
-  else {
-    /* Register variable[2]: Result */
-    variable[2] = NEW_Stderr_file___Stderr___init() /*new Stderr*/;
-    once_value_10 = variable[2];
-    once_bool_10 = true;
-  }
-  /* Register variable[2]: Result */
-  variable[1] = variable[2];
-  goto return_label9;
-  return_label9: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___Object___stderr(val_t p0){
+  struct {struct stack_frame_t me;} fra;
+  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_file;
+  fra.me.line = 297;
+  fra.me.meth = LOCATE_file___Object___stderr;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:298 */
+  if (!once_value_1) {
+    fra.me.REG[0] = NEW_Stderr_file___Stderr___init();
+    once_value_1 = fra.me.REG[0];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[0] = once_value_1;
+  fra.me.REG[0] = fra.me.REG[0];
+  goto label2;
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___FStream___path(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 58, LOCATE_file___FStream___path};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return ATTR_file___FStream____path( self) /*FStream::_path*/;
+val_t file___FStream___path(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_file;
+  fra.me.line = 55;
+  fra.me.meth = LOCATE_file___FStream___path;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:55 */
+  fra.me.REG[0] = ATTR_file___FStream____path(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___FStream___file_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 64, LOCATE_file___FStream___file_stat};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeFile___file_stat(variable[2])(variable[2]) /*NativeFile::file_stat*/;
-  variable[1] = variable[2];
-  goto return_label11;
-  return_label11: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___FStream___file_stat(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_file;
+  fra.me.line = 61;
+  fra.me.meth = LOCATE_file___FStream___file_stat;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:62 */
+  fra.me.REG[0] = ATTR_file___FStream____file(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 62);
+  }
+  fra.me.REG[0] = CALL_file___NativeFile___file_stat(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 file___IFStream___close(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 83, LOCATE_file___IFStream___close};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
-  /* Register variable[3]: Result */
-  variable[3] = CALL_file___NativeFile___io_close(variable[3])(variable[3]) /*NativeFile::io_close*/;
-  variable[2] = variable[3];
-  ATTR_file___IFStream____end_reached(variable[0]) /*IFStream::_end_reached*/ =  TAG_Bool(true);
-  return_label12: while(false);
-  tracehead = trace.prev;
+void file___IFStream___reopen(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 71;
+  fra.me.meth = LOCATE_file___IFStream___reopen;
+  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/standard//file.nit:73 */
+  REGB0 = CALL_stream___IStream___eof(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  if (UNTAG_Bool(REGB0)) {
+    CALL_stream___IOS___close(fra.me.REG[0])(fra.me.REG[0]);
+  }
+  /* ./../lib/standard//file.nit:74 */
+  fra.me.REG[1] = ATTR_file___FStream____path(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 74);
+  }
+  fra.me.REG[1] = CALL_string___String___to_cstring(fra.me.REG[1])(fra.me.REG[1]);
+  fra.me.REG[1] = CALL_file___NativeFileCapable___io_open_read(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  ATTR_file___FStream____file(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//file.nit:75 */
+  REGB0 = TAG_Bool(false);
+  ATTR_file___IFStream____end_reached(fra.me.REG[0]) = REGB0;
+  /* ./../lib/standard//file.nit:76 */
+  REGB0 = TAG_Int(0);
+  ATTR_stream___BufferedIStream____buffer_pos(fra.me.REG[0]) = REGB0;
+  /* ./../lib/standard//file.nit:77 */
+  fra.me.REG[0] = ATTR_stream___BufferedIStream____buffer(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[0]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 77);
+  }
+  CALL_abstract_collection___RemovableCollection___clear(fra.me.REG[0])(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
   return;
 }
-void file___IFStream___fill_buffer(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 89, LOCATE_file___IFStream___fill_buffer};
-  val_t variable[6];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
-  /* Register variable[4]: Result */
-  variable[4] = ATTR_stream___BufferedIStream____buffer(variable[0]) /*BufferedIStream::_buffer*/;
-  /* Register variable[4]: Result */
-  variable[4] = ATTR_string___AbstractString____items(variable[4]) /*AbstractString::_items*/;
-  /* Register variable[5]: Result */
-  variable[5] = ATTR_stream___BufferedIStream____buffer(variable[0]) /*BufferedIStream::_buffer*/;
-  /* Register variable[5]: Result */
-  variable[5] = ATTR_string___Buffer____capacity(variable[5]) /*Buffer::_capacity*/;
-  /* Register variable[3]: Result */
-  variable[3] = CALL_file___NativeFile___io_read(variable[3])(variable[3], variable[4], variable[5]) /*NativeFile::io_read*/;
-  variable[2] = variable[3];
-  /* Register variable[3]: Result */
-  variable[3] = TAG_Bool(UNTAG_Int( variable[2] /*nb*/)<=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    ATTR_file___IFStream____end_reached(variable[0]) /*IFStream::_end_reached*/ =  TAG_Bool(true);
-    variable[2] =  TAG_Int(0) /*nb=*/;
+void file___IFStream___close(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 80;
+  fra.me.meth = LOCATE_file___IFStream___close;
+  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/standard//file.nit:82 */
+  fra.me.REG[1] = ATTR_file___FStream____file(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 82);
   }
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_stream___BufferedIStream____buffer(variable[0]) /*BufferedIStream::_buffer*/;
-  ATTR_array___AbstractArrayRead____length(variable[3]) /*AbstractArrayRead::_length*/ =  variable[2] /*nb*/;
-  ATTR_stream___BufferedIStream____buffer_pos(variable[0]) /*BufferedIStream::_buffer_pos*/ =  TAG_Int(0);
-  return_label13: while(false);
-  tracehead = trace.prev;
+  REGB0 = CALL_file___NativeFile___io_close(fra.me.REG[1])(fra.me.REG[1]);
+  /* ./../lib/standard//file.nit:83 */
+  REGB0 = TAG_Bool(true);
+  ATTR_file___IFStream____end_reached(fra.me.REG[0]) = REGB0;
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t file___IFStream___end_reached(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 101, LOCATE_file___IFStream___end_reached};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return ATTR_file___IFStream____end_reached( self) /*IFStream::_end_reached*/;
-}
-void file___IFStream___reopen(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 74, LOCATE_file___IFStream___reopen};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_stream___IStream___eof(variable[0])(variable[0]) /*BufferedIStream::eof*/;
-  if (UNTAG_Bool( TAG_Bool(!UNTAG_Bool(variable[2])))) { /*if*/
-    CALL_stream___IOS___close(variable[0])(variable[0]) /*IFStream::close*/;
+void file___IFStream___fill_buffer(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[3];} 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_file;
+  fra.me.line = 86;
+  fra.me.meth = LOCATE_file___IFStream___fill_buffer;
+  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;
+  /* ./../lib/standard//file.nit:89 */
+  fra.me.REG[1] = ATTR_file___FStream____file(fra.me.REG[0]);
+  fra.me.REG[2] = ATTR_stream___BufferedIStream____buffer(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 89);
+  }
+  REGB0 = TAG_Bool(ATTR_string___AbstractString____items(fra.me.REG[2])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_items", LOCATE_file, 89);
+  }
+  fra.me.REG[2] = ATTR_string___AbstractString____items(fra.me.REG[2]);
+  fra.me.REG[3] = ATTR_stream___BufferedIStream____buffer(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[3]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 89);
+  }
+  REGB0 = TAG_Bool(ATTR_string___Buffer____capacity(fra.me.REG[3])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_capacity", LOCATE_file, 89);
   }
-  /* Register variable[2]: Result */
-  variable[2] = ATTR_file___FStream____path(variable[0]) /*FStream::_path*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_string___String___to_cstring(variable[2])(variable[2]) /*String::to_cstring*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeFileCapable___io_open_read(variable[0])(variable[0], variable[2]) /*NativeFileCapable::io_open_read*/;
-  ATTR_file___FStream____file(variable[0]) /*FStream::_file*/ = variable[2];
-  ATTR_file___IFStream____end_reached(variable[0]) /*IFStream::_end_reached*/ =  TAG_Bool(false);
-  ATTR_stream___BufferedIStream____buffer_pos(variable[0]) /*BufferedIStream::_buffer_pos*/ =  TAG_Int(0);
-  /* Register variable[2]: Result */
-  variable[2] = ATTR_stream___BufferedIStream____buffer(variable[0]) /*BufferedIStream::_buffer*/;
-  CALL_abstract_collection___RemovableCollection___clear(variable[2])(variable[2]) /*AbstractArray::clear*/;
-  return_label14: while(false);
-  tracehead = trace.prev;
+  REGB0 = ATTR_string___Buffer____capacity(fra.me.REG[3]);
+  REGB1 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 89);
+  }
+  REGB0 = CALL_file___NativeFile___io_read(fra.me.REG[1])(fra.me.REG[1], fra.me.REG[2], REGB0);
+  /* ./../lib/standard//file.nit:90 */
+  REGB1 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:211 */
+  REGB1 = TAG_Bool(UNTAG_Int(REGB0)<=UNTAG_Int(REGB1));
+  /* ./../lib/standard//file.nit:90 */
+  if (UNTAG_Bool(REGB1)) {
+    /* ./../lib/standard//file.nit:91 */
+    REGB1 = TAG_Bool(true);
+    ATTR_file___IFStream____end_reached(fra.me.REG[0]) = REGB1;
+    /* ./../lib/standard//file.nit:92 */
+    REGB1 = TAG_Int(0);
+    REGB0 = REGB1;
+  }
+  /* ./../lib/standard//file.nit:94 */
+  fra.me.REG[2] = ATTR_stream___BufferedIStream____buffer(fra.me.REG[0]);
+  REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 94);
+  }
+  ATTR_array___AbstractArrayRead____length(fra.me.REG[2]) = REGB0;
+  /* ./../lib/standard//file.nit:95 */
+  REGB0 = TAG_Int(0);
+  ATTR_stream___BufferedIStream____buffer_pos(fra.me.REG[0]) = REGB0;
+  stack_frame_head = fra.me.prev;
   return;
 }
-void file___IFStream___open(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 104, LOCATE_file___IFStream___open};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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_IFStream].i]) return;
-  /* Register variable[2]: Method return value and escape marker */
-  ATTR_file___FStream____path(variable[0]) /*FStream::_path*/ =  variable[1] /*path*/;
-  CALL_stream___BufferedIStream___prepare_buffer(variable[0])(variable[0],  TAG_Int(10)) /*BufferedIStream::prepare_buffer*/;
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_file___FStream____path(variable[0]) /*FStream::_path*/;
-  /* Register variable[3]: Result */
-  variable[3] = CALL_string___String___to_cstring(variable[3])(variable[3]) /*String::to_cstring*/;
-  /* Register variable[3]: Result */
-  variable[3] = CALL_file___NativeFileCapable___io_open_read(variable[0])(variable[0], variable[3]) /*NativeFileCapable::io_open_read*/;
-  ATTR_file___FStream____file(variable[0]) /*FStream::_file*/ = variable[3];
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
-  /* 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", " 'cant_open_file' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___IFStream___open, LOCATE_file, 110); nit_exit(1);}
-  return_label15: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_IFStream].i] = 1;
-  tracehead = trace.prev;
-  return;
+val_t file___IFStream___end_reached(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_file;
+  fra.me.line = 98;
+  fra.me.meth = LOCATE_file___IFStream___end_reached;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:98 */
+  REGB0 = TAG_Bool(ATTR_file___IFStream____end_reached(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_end_reached", LOCATE_file, 98);
+  }
+  REGB0 = ATTR_file___IFStream____end_reached(fra.me.REG[0]);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-void file___IFStream___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 113, LOCATE_file___IFStream___init};
-  val_t variable[2];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_IFStream].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  return_label16: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_IFStream].i] = 1;
-  tracehead = trace.prev;
+void file___IFStream___open(val_t p0, val_t p1, int* init_table){
+  int itpos0 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_IFStream].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} 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_file;
+  fra.me.line = 101;
+  fra.me.meth = LOCATE_file___IFStream___open;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//file.nit:104 */
+  ATTR_file___FStream____path(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//file.nit:105 */
+  REGB0 = TAG_Int(10);
+  CALL_stream___BufferedIStream___prepare_buffer(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  /* ./../lib/standard//file.nit:106 */
+  fra.me.REG[1] = ATTR_file___FStream____path(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 106);
+  }
+  fra.me.REG[1] = CALL_string___String___to_cstring(fra.me.REG[1])(fra.me.REG[1]);
+  fra.me.REG[1] = CALL_file___NativeFileCapable___io_open_read(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  ATTR_file___FStream____file(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//file.nit:107 */
+  fra.me.REG[0] = ATTR_file___FStream____file(fra.me.REG[0]);
+  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;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Assert %s  failed", "'cant_open_file'", LOCATE_file, 107);
+  }
+  stack_frame_head = fra.me.prev;
+  init_table[itpos0] = 1;
   return;
 }
-void file___IFStream___without_file(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 114, LOCATE_file___IFStream___without_file};
-  val_t variable[2];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_IFStream].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  return_label17: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_IFStream].i] = 1;
-  tracehead = trace.prev;
+void file___IFStream___init(val_t p0, int* init_table){
+  int itpos1 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_IFStream].i;
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  if (init_table[itpos1]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 110;
+  fra.me.meth = LOCATE_file___IFStream___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos1] = 1;
   return;
 }
-void file___OFStream___close(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 131, LOCATE_file___OFStream___close};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
-  /* Register variable[3]: Result */
-  variable[3] = CALL_file___NativeFile___io_close(variable[3])(variable[3]) /*NativeFile::io_close*/;
-  variable[2] = variable[3];
-  ATTR_file___OFStream____writable(variable[0]) /*OFStream::_writable*/ =  TAG_Bool(false);
-  return_label18: while(false);
-  tracehead = trace.prev;
+void file___IFStream___without_file(val_t p0, int* init_table){
+  int itpos2 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_IFStream].i;
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  if (init_table[itpos2]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 111;
+  fra.me.meth = LOCATE_file___IFStream___without_file;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos2] = 1;
   return;
 }
-void file___OFStream___write(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 122, LOCATE_file___OFStream___write};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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_file___OFStream____writable(variable[0]) /*OFStream::_writable*/;
-  if (!UNTAG_Bool(variable[3])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___OFStream___write, LOCATE_file, 125); nit_exit(1);}
-  /* Register variable[3]: Result */
-  variable[3] = CALL_string___String___to_cstring( variable[1] /*s*/)( variable[1] /*s*/) /*String::to_cstring*/;
-  /* Register variable[4]: Result */
-  variable[4] = CALL_abstract_collection___Collection___length( variable[1] /*s*/)( variable[1] /*s*/) /*AbstractArrayRead::length*/;
-  CALL_file___OFStream___write_native(variable[0])(variable[0], variable[3], variable[4]) /*OFStream::write_native*/;
-  return_label19: while(false);
-  tracehead = trace.prev;
+void file___OFStream___write(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_file;
+  fra.me.line = 119;
+  fra.me.meth = LOCATE_file___OFStream___write;
+  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/standard//file.nit:122 */
+  REGB0 = TAG_Bool(ATTR_file___OFStream____writable(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_writable", LOCATE_file, 122);
+  }
+  REGB0 = ATTR_file___OFStream____writable(fra.me.REG[0]);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Assert failed", NULL, LOCATE_file, 122);
+  }
+  /* ./../lib/standard//file.nit:123 */
+  fra.me.REG[2] = CALL_string___String___to_cstring(fra.me.REG[1])(fra.me.REG[1]);
+  /* ./../lib/standard//collection//array.nit:23 */
+  REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[1])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+  }
+  REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+  /* ./../lib/standard//file.nit:123 */
+  CALL_file___OFStream___write_native(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2], REGB0);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t file___OFStream___is_writable(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 129, LOCATE_file___OFStream___is_writable};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = ATTR_file___OFStream____writable(variable[0]) /*OFStream::_writable*/;
-  variable[1] = variable[2];
-  goto return_label20;
-  return_label20: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___OFStream___is_writable(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_file;
+  fra.me.line = 126;
+  fra.me.meth = LOCATE_file___OFStream___is_writable;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:126 */
+  REGB0 = TAG_Bool(ATTR_file___OFStream____writable(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_writable", LOCATE_file, 126);
+  }
+  REGB0 = ATTR_file___OFStream____writable(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-void file___OFStream___write_native(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 140, LOCATE_file___OFStream___write_native};
-    static val_t once_value_22 = NIT_NULL; /* Once value for string variable[6]*/
-    static val_t once_value_23 = NIT_NULL; /* Once value for string variable[7]*/
-    static val_t once_value_24 = NIT_NULL; /* Once value for string variable[8]*/
-  val_t variable[9];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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]: Method return value and escape marker */
-  /* Register variable[4]: Result */
-  variable[4] = ATTR_file___OFStream____writable(variable[0]) /*OFStream::_writable*/;
-  if (!UNTAG_Bool(variable[4])) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___OFStream___write_native, LOCATE_file, 143); nit_exit(1);}
-  /* Register variable[4]: Local variable */
-  /* Register variable[5]: Result */
-  variable[5] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
-  /* Register variable[5]: Result */
-  variable[5] = CALL_file___NativeFile___io_write(variable[5])(variable[5],  variable[1] /*native*/,  variable[2] /*len*/) /*NativeFile::io_write*/;
-  variable[4] = variable[5];
-  /* Register variable[5]: Result */
-  variable[5] = TAG_Bool(( variable[4] /*err*/)!=( variable[2] /*len*/));
-  if (UNTAG_Bool(variable[5])) { /*if*/
-    variable[5] = NEW_Array_array___Array___with_capacity(TAG_Int(5)) /*new Array[Object]*/ /* Ensure var: Literal array*/;
-    /* Register variable[6]: Once String constant */
-    if (once_value_22 != NIT_NULL) variable[6] = once_value_22;
-    else {
-      variable[6] = NEW_String_string___String___with_native(BOX_NativeString("Problem in writing : "), TAG_Int(21)) /*new String*/;
-      once_value_22 = variable[6];
-    }
-    /* Register variable[6]: Result */
-    CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[6]) /*AbstractArray::add*/;
-    CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5],  variable[4] /*err*/) /*AbstractArray::add*/;
-    /* Register variable[7]: Once String constant */
-    if (once_value_23 != NIT_NULL) variable[7] = once_value_23;
-    else {
-      variable[7] = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)) /*new String*/;
-      once_value_23 = variable[7];
-    }
-    /* Register variable[7]: Result */
-    CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[7]) /*AbstractArray::add*/;
-    CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5],  variable[2] /*len*/) /*AbstractArray::add*/;
-    /* Register variable[8]: Once String constant */
-    if (once_value_24 != NIT_NULL) variable[8] = once_value_24;
-    else {
-      variable[8] = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)) /*new String*/;
-      once_value_24 = variable[8];
-    }
-    /* Register variable[8]: Result */
-    CALL_abstract_collection___SimpleCollection___add(variable[5])(variable[5], variable[8]) /*AbstractArray::add*/;
-    /* Register variable[5]: Result */
-    CALL_file___Object___printn(variable[0])(variable[0], variable[5]) /*Object::printn*/;
+void file___OFStream___close(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 128;
+  fra.me.meth = LOCATE_file___OFStream___close;
+  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/standard//file.nit:130 */
+  fra.me.REG[1] = ATTR_file___FStream____file(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[1]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 130);
   }
-  return_label21: while(false);
-  tracehead = trace.prev;
+  REGB0 = CALL_file___NativeFile___io_close(fra.me.REG[1])(fra.me.REG[1]);
+  /* ./../lib/standard//file.nit:131 */
+  REGB0 = TAG_Bool(false);
+  ATTR_file___OFStream____writable(fra.me.REG[0]) = REGB0;
+  stack_frame_head = fra.me.prev;
   return;
 }
-void file___OFStream___open(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 151, LOCATE_file___OFStream___open};
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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_OFStream].i]) return;
-  /* Register variable[2]: Method return value and escape marker */
-  /* Register variable[3]: Result */
-  variable[3] = CALL_string___String___to_cstring( variable[1] /*path*/)( variable[1] /*path*/) /*String::to_cstring*/;
-  /* Register variable[3]: Result */
-  variable[3] = CALL_file___NativeFileCapable___io_open_write(variable[0])(variable[0], variable[3]) /*NativeFileCapable::io_open_write*/;
-  ATTR_file___FStream____file(variable[0]) /*FStream::_file*/ = variable[3];
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_file___FStream____file(variable[0]) /*FStream::_file*/;
-  /* 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", " 'cant_open_file' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___OFStream___open, LOCATE_file, 155); nit_exit(1);}
-  ATTR_file___FStream____path(variable[0]) /*FStream::_path*/ =  variable[1] /*path*/;
-  ATTR_file___OFStream____writable(variable[0]) /*OFStream::_writable*/ =  TAG_Bool(true);
-  return_label25: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OFStream].i] = 1;
-  tracehead = trace.prev;
+void file___OFStream___write_native(val_t p0, val_t p1, val_t p2){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t REGB3;
+  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 */
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 137;
+  fra.me.meth = LOCATE_file___OFStream___write_native;
+  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;
+  /* ./../lib/standard//file.nit:140 */
+  REGB1 = TAG_Bool(ATTR_file___OFStream____writable(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_writable", LOCATE_file, 140);
+  }
+  REGB1 = ATTR_file___OFStream____writable(fra.me.REG[0]);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Assert failed", NULL, LOCATE_file, 140);
+  }
+  /* ./../lib/standard//file.nit:141 */
+  fra.me.REG[2] = ATTR_file___FStream____file(fra.me.REG[0]);
+  REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 141);
+  }
+  REGB1 = CALL_file___NativeFile___io_write(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1], REGB0);
+  /* ./../lib/standard//file.nit:142 */
+  REGB2 = TAG_Bool(IS_EQUAL_OO(REGB1,REGB0));
+  if (UNTAG_Bool(REGB2)) {
+  } else {
+    /* ./../lib/standard//kernel.nit:207 */
+    REGB3 = TAG_Bool((REGB1)==(REGB0));
+    /* ./../lib/standard//file.nit:142 */
+    REGB2 = REGB3;
+  }
+  REGB2 = TAG_Bool(!UNTAG_Bool(REGB2));
+  if (UNTAG_Bool(REGB2)) {
+    /* ./../lib/standard//file.nit:144 */
+    REGB2 = TAG_Int(4);
+    fra.me.REG[1] = NEW_Array_array___Array___with_capacity(REGB2);
+    if (!once_value_1) {
+      fra.me.REG[2] = BOX_NativeString("Problem in writing : ");
+      REGB2 = TAG_Int(21);
+      fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB2);
+      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]);
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], REGB1);
+    if (!once_value_2) {
+      fra.me.REG[2] = BOX_NativeString(" ");
+      REGB1 = TAG_Int(1);
+      fra.me.REG[2] = NEW_String_string___String___with_native(fra.me.REG[2], REGB1);
+      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[1])(fra.me.REG[1], fra.me.REG[2]);
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[1])(fra.me.REG[1], REGB0);
+    if (!once_value_3) {
+      fra.me.REG[2] = BOX_NativeString("\n");
+      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]);
+    CALL_file___Object___printn(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  }
+  stack_frame_head = fra.me.prev;
   return;
 }
-void file___OFStream___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 160, LOCATE_file___OFStream___init};
-  val_t variable[2];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OFStream].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  return_label26: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OFStream].i] = 1;
-  tracehead = trace.prev;
+void file___OFStream___open(val_t p0, val_t p1, int* init_table){
+  int itpos3 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OFStream].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[itpos3]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 148;
+  fra.me.meth = LOCATE_file___OFStream___open;
+  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/standard//file.nit:151 */
+  fra.me.REG[2] = CALL_string___String___to_cstring(fra.me.REG[1])(fra.me.REG[1]);
+  fra.me.REG[2] = CALL_file___NativeFileCapable___io_open_write(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[2]);
+  ATTR_file___FStream____file(fra.me.REG[0]) = fra.me.REG[2];
+  /* ./../lib/standard//file.nit:152 */
+  fra.me.REG[2] = ATTR_file___FStream____file(fra.me.REG[0]);
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+      REGB1 = TAG_Bool(false);
+      REGB0 = REGB1;
+    } else {
+      REGB1 = CALL_kernel___Object_____eqeq(fra.me.REG[2])(fra.me.REG[2], NIT_NULL);
+      REGB0 = REGB1;
+    }
+  }
+  REGB0 = TAG_Bool(!UNTAG_Bool(REGB0));
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Assert %s  failed", "'cant_open_file'", LOCATE_file, 152);
+  }
+  /* ./../lib/standard//file.nit:153 */
+  ATTR_file___FStream____path(fra.me.REG[0]) = fra.me.REG[1];
+  /* ./../lib/standard//file.nit:154 */
+  REGB0 = TAG_Bool(true);
+  ATTR_file___OFStream____writable(fra.me.REG[0]) = REGB0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos3] = 1;
   return;
 }
-void file___OFStream___without_file(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 161, LOCATE_file___OFStream___without_file};
-  val_t variable[2];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OFStream].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  return_label27: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_OFStream].i] = 1;
-  tracehead = trace.prev;
+void file___OFStream___init(val_t p0, int* init_table){
+  int itpos4 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OFStream].i;
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  if (init_table[itpos4]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 157;
+  fra.me.meth = LOCATE_file___OFStream___init;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos4] = 1;
   return;
 }
-void file___Stdin___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 168, LOCATE_file___Stdin___init};
-  static val_t once_value_29 = NIT_NULL; /* Once value for string variable[2]*/
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Stdin].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  CALL_file___IFStream___init(variable[0])(variable[0], init_table /*YYY*/) /*IFStream::init*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeFileCapable___native_stdin(variable[0])(variable[0]) /*NativeFileCapable::native_stdin*/;
-  ATTR_file___FStream____file(variable[0]) /*FStream::_file*/ = variable[2];
-  /* Register variable[2]: Once String constant */
-  if (once_value_29 != NIT_NULL) variable[2] = once_value_29;
-  else {
-    variable[2] = NEW_String_string___String___with_native(BOX_NativeString("/dev/stdin"), TAG_Int(10)) /*new String*/;
-    once_value_29 = variable[2];
-  }
-  /* Register variable[2]: Result */
-  ATTR_file___FStream____path(variable[0]) /*FStream::_path*/ = variable[2];
-  CALL_stream___BufferedIStream___prepare_buffer(variable[0])(variable[0],  TAG_Int(1)) /*BufferedIStream::prepare_buffer*/;
-  return_label28: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Stdin].i] = 1;
-  tracehead = trace.prev;
+void file___OFStream___without_file(val_t p0, int* init_table){
+  int itpos5 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_OFStream].i;
+  struct {struct stack_frame_t me;} fra;
+  val_t tmp;
+  if (init_table[itpos5]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 158;
+  fra.me.meth = LOCATE_file___OFStream___without_file;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos5] = 1;
   return;
 }
-void file___Stdout___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 177, LOCATE_file___Stdout___init};
-  static val_t once_value_31 = NIT_NULL; /* Once value for string variable[2]*/
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Stdout].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  CALL_file___OFStream___init(variable[0])(variable[0], init_table /*YYY*/) /*OFStream::init*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeFileCapable___native_stdout(variable[0])(variable[0]) /*NativeFileCapable::native_stdout*/;
-  ATTR_file___FStream____file(variable[0]) /*FStream::_file*/ = variable[2];
-  /* Register variable[2]: Once String constant */
-  if (once_value_31 != NIT_NULL) variable[2] = once_value_31;
-  else {
-    variable[2] = NEW_String_string___String___with_native(BOX_NativeString("/dev/stdout"), TAG_Int(11)) /*new String*/;
-    once_value_31 = variable[2];
-  }
-  /* Register variable[2]: Result */
-  ATTR_file___FStream____path(variable[0]) /*FStream::_path*/ = variable[2];
-  ATTR_file___OFStream____writable(variable[0]) /*OFStream::_writable*/ =  TAG_Bool(true);
-  return_label30: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Stdout].i] = 1;
-  tracehead = trace.prev;
+void file___Stdin___init(val_t p0, int* init_table){
+  int itpos6 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Stdin].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  static val_t once_value_1; /* Once value */
+  if (init_table[itpos6]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 165;
+  fra.me.meth = LOCATE_file___Stdin___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/standard//file.nit:165 */
+  fra.me.REG[1] = fra.me.REG[0];
+  CALL_file___IFStream___init(fra.me.REG[0])(fra.me.REG[0], init_table);
+  /* ./../lib/standard//file.nit:166 */
+  fra.me.REG[0] = CALL_file___NativeFileCapable___native_stdin(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_file___FStream____file(fra.me.REG[1]) = fra.me.REG[0];
+  /* ./../lib/standard//file.nit:167 */
+  if (!once_value_1) {
+    fra.me.REG[0] = BOX_NativeString("/dev/stdin");
+    REGB0 = TAG_Int(10);
+    fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+    once_value_1 = fra.me.REG[0];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[0] = once_value_1;
+  fra.me.REG[0] = fra.me.REG[0];
+  ATTR_file___FStream____path(fra.me.REG[1]) = fra.me.REG[0];
+  /* ./../lib/standard//file.nit:168 */
+  REGB0 = TAG_Int(1);
+  CALL_stream___BufferedIStream___prepare_buffer(fra.me.REG[1])(fra.me.REG[1], REGB0);
+  stack_frame_head = fra.me.prev;
+  init_table[itpos6] = 1;
   return;
 }
-void file___Stderr___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 186, LOCATE_file___Stderr___init};
-  static val_t once_value_33 = NIT_NULL; /* Once value for string variable[2]*/
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  if (init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Stderr].i]) return;
-  /* Register variable[1]: Method return value and escape marker */
-  CALL_file___OFStream___init(variable[0])(variable[0], init_table /*YYY*/) /*OFStream::init*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeFileCapable___native_stderr(variable[0])(variable[0]) /*NativeFileCapable::native_stderr*/;
-  ATTR_file___FStream____file(variable[0]) /*FStream::_file*/ = variable[2];
-  /* Register variable[2]: Once String constant */
-  if (once_value_33 != NIT_NULL) variable[2] = once_value_33;
-  else {
-    variable[2] = NEW_String_string___String___with_native(BOX_NativeString("/dev/stderr"), TAG_Int(11)) /*new String*/;
-    once_value_33 = variable[2];
-  }
-  /* Register variable[2]: Result */
-  ATTR_file___FStream____path(variable[0]) /*FStream::_path*/ = variable[2];
-  ATTR_file___OFStream____writable(variable[0]) /*OFStream::_writable*/ =  TAG_Bool(true);
-  return_label32: while(false);
-  init_table[VAL2OBJ(variable[0])->vft[INIT_TABLE_POS_Stderr].i] = 1;
-  tracehead = trace.prev;
+void file___Stdout___init(val_t p0, int* init_table){
+  int itpos7 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Stdout].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  static val_t once_value_1; /* Once value */
+  if (init_table[itpos7]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 174;
+  fra.me.meth = LOCATE_file___Stdout___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/standard//file.nit:174 */
+  fra.me.REG[1] = fra.me.REG[0];
+  CALL_file___OFStream___init(fra.me.REG[0])(fra.me.REG[0], init_table);
+  /* ./../lib/standard//file.nit:175 */
+  fra.me.REG[0] = CALL_file___NativeFileCapable___native_stdout(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_file___FStream____file(fra.me.REG[1]) = fra.me.REG[0];
+  /* ./../lib/standard//file.nit:176 */
+  if (!once_value_1) {
+    fra.me.REG[0] = BOX_NativeString("/dev/stdout");
+    REGB0 = TAG_Int(11);
+    fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+    once_value_1 = fra.me.REG[0];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[0] = once_value_1;
+  fra.me.REG[0] = fra.me.REG[0];
+  ATTR_file___FStream____path(fra.me.REG[1]) = fra.me.REG[0];
+  /* ./../lib/standard//file.nit:177 */
+  REGB0 = TAG_Bool(true);
+  ATTR_file___OFStream____writable(fra.me.REG[1]) = REGB0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos7] = 1;
+  return;
+}
+void file___Stderr___init(val_t p0, int* init_table){
+  int itpos8 = VAL2OBJ(p0)->vft[INIT_TABLE_POS_Stderr].i;
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t tmp;
+  static val_t once_value_1; /* Once value */
+  if (init_table[itpos8]) return;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 183;
+  fra.me.meth = LOCATE_file___Stderr___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/standard//file.nit:183 */
+  fra.me.REG[1] = fra.me.REG[0];
+  CALL_file___OFStream___init(fra.me.REG[0])(fra.me.REG[0], init_table);
+  /* ./../lib/standard//file.nit:184 */
+  fra.me.REG[0] = CALL_file___NativeFileCapable___native_stderr(fra.me.REG[1])(fra.me.REG[1]);
+  ATTR_file___FStream____file(fra.me.REG[1]) = fra.me.REG[0];
+  /* ./../lib/standard//file.nit:185 */
+  if (!once_value_1) {
+    fra.me.REG[0] = BOX_NativeString("/dev/stderr");
+    REGB0 = TAG_Int(11);
+    fra.me.REG[0] = NEW_String_string___String___with_native(fra.me.REG[0], REGB0);
+    once_value_1 = fra.me.REG[0];
+    register_static_object(&once_value_1);
+  } else fra.me.REG[0] = once_value_1;
+  fra.me.REG[0] = fra.me.REG[0];
+  ATTR_file___FStream____path(fra.me.REG[1]) = fra.me.REG[0];
+  /* ./../lib/standard//file.nit:186 */
+  REGB0 = TAG_Bool(true);
+  ATTR_file___OFStream____writable(fra.me.REG[1]) = REGB0;
+  stack_frame_head = fra.me.prev;
+  init_table[itpos8] = 1;
   return;
 }
-val_t file___String___file_exists(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 196, LOCATE_file___String___file_exists};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_string___String___to_cstring(variable[0])(variable[0]) /*String::to_cstring*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeString___file_exists(variable[2])(variable[2]) /*NativeString::file_exists*/;
-  variable[1] = variable[2];
-  goto return_label34;
-  return_label34: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___String___file_exists(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_file;
+  fra.me.line = 193;
+  fra.me.meth = LOCATE_file___String___file_exists;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:194 */
+  fra.me.REG[0] = CALL_string___String___to_cstring(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = CALL_file___NativeString___file_exists(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___String___file_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 199, LOCATE_file___String___file_stat};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_string___String___to_cstring(variable[0])(variable[0]) /*String::to_cstring*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeString___file_stat(variable[2])(variable[2]) /*NativeString::file_stat*/;
-  variable[1] = variable[2];
-  goto return_label35;
-  return_label35: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___String___file_stat(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_file;
+  fra.me.line = 196;
+  fra.me.meth = LOCATE_file___String___file_stat;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:196 */
+  fra.me.REG[0] = CALL_string___String___to_cstring(fra.me.REG[0])(fra.me.REG[0]);
+  fra.me.REG[0] = CALL_file___NativeString___file_stat(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___String___file_delete(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 201, LOCATE_file___String___file_delete};
-  val_t variable[3];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Result */
-  variable[2] = CALL_string___String___to_cstring(variable[0])(variable[0]) /*String::to_cstring*/;
-  /* Register variable[2]: Result */
-  variable[2] = CALL_file___NativeString___file_delete(variable[2])(variable[2]) /*NativeString::file_delete*/;
-  variable[1] = variable[2];
-  goto return_label36;
-  return_label36: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+val_t file___String___file_delete(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_file;
+  fra.me.line = 198;
+  fra.me.meth = LOCATE_file___String___file_delete;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:198 */
+  fra.me.REG[0] = CALL_string___String___to_cstring(fra.me.REG[0])(fra.me.REG[0]);
+  REGB0 = CALL_file___NativeString___file_delete(fra.me.REG[0])(fra.me.REG[0]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___String___strip_extension(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 203, LOCATE_file___String___strip_extension};
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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___has_suffix(variable[0])(variable[0],  variable[1] /*ext*/) /*AbstractString::has_suffix*/;
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    /* Register variable[3]: Result */
-    variable[3] = CALL_abstract_collection___Collection___length(variable[0])(variable[0]) /*AbstractArrayRead::length*/;
-    /* Register variable[4]: Result */
-    variable[4] = CALL_abstract_collection___Collection___length( variable[1] /*ext*/)( variable[1] /*ext*/) /*AbstractArrayRead::length*/;
-    /* Register variable[3]: Result */
-    variable[3] = TAG_Int(UNTAG_Int(variable[3])-UNTAG_Int(variable[4]));
-    /* Register variable[3]: Result */
-    variable[3] = CALL_string___AbstractString___substring(variable[0])(variable[0],  TAG_Int(0), variable[3]) /*AbstractString::substring*/;
-    variable[2] = variable[3];
-    goto return_label37;
+val_t file___String___strip_extension(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[1];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 200;
+  fra.me.meth = LOCATE_file___String___strip_extension;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//file.nit:202 */
+  REGB0 = CALL_string___AbstractString___has_suffix(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//file.nit:203 */
+    REGB0 = TAG_Int(0);
+    /* ./../lib/standard//collection//array.nit:23 */
+    REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+    if (UNTAG_Bool(REGB1)) {
+    } else {
+      nit_abort("Uninitialized attribute %s", "_length", LOCATE_array, 23);
+    }
+    REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+    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);
+    }
+    REGB2 = ATTR_array___AbstractArrayRead____length(fra.me.REG[1]);
+    /* ./../lib/standard//kernel.nit:217 */
+    REGB2 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
+    /* ./../lib/standard//file.nit:203 */
+    fra.me.REG[1] = CALL_string___AbstractString___substring(fra.me.REG[0])(fra.me.REG[0], REGB0, REGB2);
+    goto label1;
   }
-  variable[2] = variable[0];
-  goto return_label37;
-  return_label37: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+  /* ./../lib/standard//file.nit:205 */
+  fra.me.REG[1] = fra.me.REG[0];
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t file___String___basename(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 211, LOCATE_file___String___basename};
-  val_t variable[6];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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_array___AbstractArrayRead____length(variable[0]) /*AbstractArrayRead::_length*/;
-  /* Register variable[4]: Result */
-  variable[4] = TAG_Int(UNTAG_Int(variable[4])-UNTAG_Int( TAG_Int(1)));
-  /* Register variable[4]: Result */
-  variable[4] = CALL_array___AbstractArrayRead___last_index_of_from(variable[0])(variable[0],  TAG_Char('/'), variable[4]) /*AbstractArrayRead::last_index_of_from*/;
-  variable[3] = variable[4];
-  /* Register variable[4]: Local variable */
-  variable[4] = variable[0];
-  /* Register variable[5]: Result */
-  variable[5] = TAG_Bool(UNTAG_Int( variable[3] /*pos*/)>=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable[5])) { /*if*/
-    /* Register variable[5]: Result */
-    variable[5] = TAG_Int(UNTAG_Int( variable[3] /*pos*/)+UNTAG_Int( TAG_Int(1)));
-    /* Register variable[5]: Result */
-    variable[5] = CALL_string___AbstractString___substring_from(variable[0])(variable[0], variable[5]) /*AbstractString::substring_from*/;
-    variable[4] = variable[5] /*n=*/;
+val_t file___String___basename(val_t p0, val_t p1){
+  struct {struct stack_frame_t me; val_t MORE_REG[2];} fra;
+  val_t REGB0;
+  val_t REGB1;
+  val_t REGB2;
+  val_t tmp;
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 208;
+  fra.me.meth = LOCATE_file___String___basename;
+  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/standard//file.nit:210 */
+  REGB0 = TAG_Char('/');
+  REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_file, 210);
+  }
+  REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+  REGB2 = TAG_Int(1);
+  /* ./../lib/standard//kernel.nit:217 */
+  REGB2 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
+  /* ./../lib/standard//file.nit:210 */
+  REGB2 = CALL_array___AbstractArrayRead___last_index_of_from(fra.me.REG[0])(fra.me.REG[0], REGB0, REGB2);
+  /* ./../lib/standard//file.nit:211 */
+  fra.me.REG[2] = fra.me.REG[0];
+  /* ./../lib/standard//file.nit:212 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:213 */
+  REGB0 = TAG_Bool(UNTAG_Int(REGB2)>=UNTAG_Int(REGB0));
+  /* ./../lib/standard//file.nit:212 */
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//file.nit:213 */
+    REGB0 = TAG_Int(1);
+    /* ./../lib/standard//kernel.nit:215 */
+    REGB0 = TAG_Int(UNTAG_Int(REGB2)+UNTAG_Int(REGB0));
+    /* ./../lib/standard//file.nit:213 */
+    fra.me.REG[0] = CALL_string___AbstractString___substring_from(fra.me.REG[0])(fra.me.REG[0], REGB0);
+    fra.me.REG[2] = fra.me.REG[0];
   }
-  /* Register variable[5]: Result */
-  variable[5] = CALL_file___String___strip_extension( variable[4] /*n*/)( variable[4] /*n*/,  variable[1] /*ext*/) /*String::strip_extension*/;
-  variable[2] = variable[5];
-  goto return_label38;
-  return_label38: while(false);
-  tracehead = trace.prev;
-  return variable[2];
+  /* ./../lib/standard//file.nit:215 */
+  fra.me.REG[1] = CALL_file___String___strip_extension(fra.me.REG[2])(fra.me.REG[2], fra.me.REG[1]);
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t file___String___dirname(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 221, LOCATE_file___String___dirname};
-    static val_t once_value_40 = NIT_NULL; /* Once value for string variable[3]*/
-  val_t variable[4];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_array___AbstractArrayRead____length(variable[0]) /*AbstractArrayRead::_length*/;
-  /* Register variable[3]: Result */
-  variable[3] = TAG_Int(UNTAG_Int(variable[3])-UNTAG_Int( TAG_Int(1)));
-  /* Register variable[3]: Result */
-  variable[3] = CALL_array___AbstractArrayRead___last_index_of_from(variable[0])(variable[0],  TAG_Char('/'), variable[3]) /*AbstractArrayRead::last_index_of_from*/;
-  variable[2] = variable[3];
-  /* Register variable[3]: Result */
-  variable[3] = TAG_Bool(UNTAG_Int( variable[2] /*pos*/)>=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable[3])) { /*if*/
-    /* Register variable[3]: Result */
-    variable[3] = CALL_string___AbstractString___substring(variable[0])(variable[0],  TAG_Int(0),  variable[2] /*pos*/) /*AbstractString::substring*/;
-    variable[1] = variable[3];
-    goto return_label39;
-  } else { /*if*/
-    /* Register variable[3]: Once String constant */
-    if (once_value_40 != NIT_NULL) variable[3] = once_value_40;
-    else {
-      variable[3] = NEW_String_string___String___with_native(BOX_NativeString("."), TAG_Int(1)) /*new String*/;
-      once_value_40 = variable[3];
-    }
-    /* Register variable[3]: Result */
-    variable[1] = variable[3];
-    goto return_label39;
+val_t file___String___dirname(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;
+    static val_t once_value_2; /* Once value */
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 218;
+  fra.me.meth = LOCATE_file___String___dirname;
+  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/standard//file.nit:220 */
+  REGB0 = TAG_Char('/');
+  REGB1 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_file, 220);
   }
-  return_label39: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+  REGB1 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+  REGB2 = TAG_Int(1);
+  /* ./../lib/standard//kernel.nit:217 */
+  REGB2 = TAG_Int(UNTAG_Int(REGB1)-UNTAG_Int(REGB2));
+  /* ./../lib/standard//file.nit:220 */
+  REGB2 = CALL_array___AbstractArrayRead___last_index_of_from(fra.me.REG[0])(fra.me.REG[0], REGB0, REGB2);
+  /* ./../lib/standard//file.nit:221 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:213 */
+  REGB0 = TAG_Bool(UNTAG_Int(REGB2)>=UNTAG_Int(REGB0));
+  /* ./../lib/standard//file.nit:221 */
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//file.nit:222 */
+    REGB0 = TAG_Int(0);
+    fra.me.REG[0] = CALL_string___AbstractString___substring(fra.me.REG[0])(fra.me.REG[0], REGB0, REGB2);
+    goto label1;
+  } else {
+    /* ./../lib/standard//file.nit:224 */
+    if (!once_value_2) {
+      fra.me.REG[1] = BOX_NativeString(".");
+      REGB2 = TAG_Int(1);
+      fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB2);
+      once_value_2 = fra.me.REG[1];
+      register_static_object(&once_value_2);
+    } else fra.me.REG[1] = once_value_2;
+    fra.me.REG[1] = fra.me.REG[1];
+    fra.me.REG[0] = fra.me.REG[1];
+    goto label1;
+  }
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___String___file_path(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 231, LOCATE_file___String___file_path};
-  static val_t once_value_42 = NIT_NULL; /* Once value for string variable[4]*/
-  val_t variable[5];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  /* Register variable[3]: Result */
-  variable[3] = ATTR_array___AbstractArrayRead____length(variable[0]) /*AbstractArrayRead::_length*/;
-  variable[2] = variable[3];
-  /* Register variable[3]: Local variable */
-  /* Register variable[4]: Result */
-  variable[4] = TAG_Int(UNTAG_Int( variable[2] /*l*/)-UNTAG_Int( TAG_Int(1)));
-  /* Register variable[4]: Result */
-  variable[4] = CALL_array___AbstractArrayRead___last_index_of_from(variable[0])(variable[0],  TAG_Char('/'), variable[4]) /*AbstractArrayRead::last_index_of_from*/;
-  variable[3] = variable[4];
-  /* Register variable[4]: Result */
-  variable[4] = TAG_Bool(UNTAG_Int( variable[3] /*pos*/)>=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    /* Register variable[4]: Result */
-    variable[4] = CALL_string___AbstractString___substring(variable[0])(variable[0],  TAG_Int(0),  variable[3] /*pos*/) /*AbstractString::substring*/;
-    variable[1] = variable[4];
-    goto return_label41;
+val_t file___String___file_path(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;
+  static val_t once_value_2; /* Once value */
+  fra.me.prev = stack_frame_head; stack_frame_head = &fra.me;
+  fra.me.file = LOCATE_file;
+  fra.me.line = 228;
+  fra.me.meth = LOCATE_file___String___file_path;
+  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/standard//file.nit:230 */
+  REGB0 = TAG_Bool(ATTR_array___AbstractArrayRead____length(fra.me.REG[0])!=NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+  } else {
+    nit_abort("Uninitialized attribute %s", "_length", LOCATE_file, 230);
   }
-  /* Register variable[4]: Once String constant */
-  if (once_value_42 != NIT_NULL) variable[4] = once_value_42;
-  else {
-    variable[4] = NEW_String_string___String___with_native(BOX_NativeString("."), TAG_Int(1)) /*new String*/;
-    once_value_42 = variable[4];
+  REGB0 = ATTR_array___AbstractArrayRead____length(fra.me.REG[0]);
+  /* ./../lib/standard//file.nit:231 */
+  REGB1 = TAG_Char('/');
+  REGB2 = TAG_Int(1);
+  /* ./../lib/standard//kernel.nit:217 */
+  REGB2 = TAG_Int(UNTAG_Int(REGB0)-UNTAG_Int(REGB2));
+  /* ./../lib/standard//file.nit:231 */
+  REGB2 = CALL_array___AbstractArrayRead___last_index_of_from(fra.me.REG[0])(fra.me.REG[0], REGB1, REGB2);
+  /* ./../lib/standard//file.nit:232 */
+  REGB1 = TAG_Int(0);
+  /* ./../lib/standard//kernel.nit:213 */
+  REGB1 = TAG_Bool(UNTAG_Int(REGB2)>=UNTAG_Int(REGB1));
+  /* ./../lib/standard//file.nit:232 */
+  if (UNTAG_Bool(REGB1)) {
+    /* ./../lib/standard//file.nit:233 */
+    REGB1 = TAG_Int(0);
+    fra.me.REG[0] = CALL_string___AbstractString___substring(fra.me.REG[0])(fra.me.REG[0], REGB1, REGB2);
+    goto label1;
   }
-  /* Register variable[4]: Result */
-  variable[1] = variable[4];
-  goto return_label41;
-  return_label41: while(false);
-  tracehead = trace.prev;
-  return variable[1];
+  /* ./../lib/standard//file.nit:235 */
+  if (!once_value_2) {
+    fra.me.REG[1] = BOX_NativeString(".");
+    REGB2 = TAG_Int(1);
+    fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB2);
+    once_value_2 = fra.me.REG[1];
+    register_static_object(&once_value_2);
+  } else fra.me.REG[1] = once_value_2;
+  fra.me.REG[1] = fra.me.REG[1];
+  fra.me.REG[0] = fra.me.REG[1];
+  goto label1;
+  label1: while(0);
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-void file___String___mkdir(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 241, LOCATE_file___String___mkdir};
-  static val_t once_value_44 = NIT_NULL; /* Once value for string variable[3]*/
-  val_t variable[8];
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* Register variable[0]: Local variable */
-  variable[0] =  self;
-  /* Register variable[1]: Method return value and escape marker */
-  /* Register variable[2]: Local variable */
-  /* Register variable[3]: Once String constant */
-  if (once_value_44 != NIT_NULL) variable[3] = once_value_44;
-  else {
-    variable[3] = NEW_String_string___String___with_native(BOX_NativeString("/"), TAG_Int(1)) /*new String*/;
-    once_value_44 = variable[3];
+void file___String___mkdir(val_t p0){
+  struct {struct stack_frame_t me; val_t MORE_REG[3];} 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_file;
+  fra.me.line = 238;
+  fra.me.meth = LOCATE_file___String___mkdir;
+  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;
+  /* ./../lib/standard//file.nit:241 */
+  if (!once_value_1) {
+    fra.me.REG[1] = BOX_NativeString("/");
+    REGB0 = TAG_Int(1);
+    fra.me.REG[1] = NEW_String_string___String___with_native(fra.me.REG[1], REGB0);
+    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] = CALL_string_search___String___split_with(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[1]);
+  /* ./../lib/standard//file.nit:242 */
+  fra.me.REG[0] = NEW_Buffer_string___Buffer___init();
+  /* ./../lib/standard//file.nit:243 */
+  REGB0 = CALL_abstract_collection___Collection___is_empty(fra.me.REG[1])(fra.me.REG[1]);
+  if (UNTAG_Bool(REGB0)) {
+    goto label2;
+  }
+  /* ./../lib/standard//file.nit:244 */
+  REGB0 = TAG_Int(0);
+  /* ./../lib/standard//collection//array.nit:243 */
+  fra.me.REG[2] = fra.me.REG[1];
+  /* ./../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;
   }
-  /* Register variable[3]: Result */
-  /* Register variable[3]: Result */
-  variable[3] = CALL_string_search___String___split_with(variable[0])(variable[0], variable[3]) /*String::split_with*/;
-  variable[2] = variable[3];
-  /* Register variable[3]: Local variable */
-  /* Register variable[4]: Result */
-  variable[4] = NEW_Buffer_string___Buffer___init() /*new Buffer*/;
-  variable[3] = variable[4];
-  /* Register variable[4]: Result */
-  variable[4] = CALL_abstract_collection___Collection___is_empty( variable[2] /*dirs*/)( variable[2] /*dirs*/) /*AbstractArrayRead::is_empty*/;
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    goto return_label43;
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Assert %s  failed", "'index'", LOCATE_array, 245);
   }
-  /* Register variable[4]: Local variable */
-  variable[4] =  variable[2] /*dirs*/;
-  /* Register variable[5]: Local variable */
-  variable[5] =  TAG_Int(0);
-  /* Register variable[6]: Method return value and escape marker */
-  /* Register variable[7]: Result */
-  variable[7] = TAG_Bool(UNTAG_Int( variable[5] /*index*/)>=UNTAG_Int( TAG_Int(0)));
-  /* Ensure var variable[7]: Left 'and' operand*/
-  if (UNTAG_Bool(variable[7])) { /* and */
-    /* Register variable[7]: Result */
-    variable[7] = ATTR_array___AbstractArrayRead____length(variable[4]) /*AbstractArrayRead::_length*/;
-    /* Register variable[7]: Result */
-    variable[7] = TAG_Bool(UNTAG_Int( variable[5] /*index*/)<UNTAG_Int(variable[7]));
+  /* ./../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);
   }
-  /* Register variable[7]: Result */
-  if (!UNTAG_Bool(variable[7])) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_file, 234); nit_exit(1);}
-  /* Register variable[7]: Result */
-  variable[7] = ATTR_array___Array____items(variable[4]) /*Array::_items*/;
-  /* Register variable[7]: Result */
-  variable[7] = UNBOX_NativeArray(variable[7])[UNTAG_Int( variable[5] /*index*/)];
-  variable[6] = variable[7];
-  goto return_label45;
-  return_label45: while(false);
-  /* Register variable[4]: Result */
-  variable[4] = variable[6];
-  /* Register variable[4]: Result */
-  variable[4] = CALL_abstract_collection___Collection___is_empty(variable[4])(variable[4]) /*AbstractArrayRead::is_empty*/;
-  if (UNTAG_Bool(variable[4])) { /*if*/
-    CALL_abstract_collection___SimpleCollection___add( variable[3] /*path*/)( variable[3] /*path*/,  TAG_Char('/')) /*Buffer::add*/;
+  /* ./../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 label3;
+  label3: while(0);
+  /* ./../lib/standard//file.nit:244 */
+  REGB0 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB0)) {
+    nit_abort("Reciever is null", NULL, LOCATE_file, 244);
   }
-  /* Register variable[4]: For iterator */
-  variable[4] = CALL_abstract_collection___Collection___iterator( variable[2] /*dirs*/)( variable[2] /*dirs*/) /*AbstractArrayRead::iterator*/;
-  while (true) { /*for*/
-    /* Register variable[5]: For 'is_ok' result */
-    variable[5] = CALL_abstract_collection___Iterator___is_ok(variable[4])(variable[4]) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable[5])) break; /*for*/
-    variable[5] = CALL_abstract_collection___Iterator___item(variable[4])(variable[4]) /*ArrayIterator::item*/ /* Ensure var: For item*/;
-    /* Register variable[6]: Local variable */
-    variable[6] = variable[5];
-    /* Register variable[7]: Result */
-    variable[7] = CALL_abstract_collection___Collection___is_empty( variable[6] /*d*/)( variable[6] /*d*/) /*AbstractArrayRead::is_empty*/;
-    if (UNTAG_Bool(variable[7])) { /*if*/
-      goto continue_46;
+  REGB0 = CALL_abstract_collection___Collection___is_empty(fra.me.REG[2])(fra.me.REG[2]);
+  if (UNTAG_Bool(REGB0)) {
+    /* ./../lib/standard//file.nit:246 */
+    REGB0 = TAG_Char('/');
+    CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB0);
+  }
+  /* ./../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/standard//file.nit:249 */
+      REGB1 = CALL_abstract_collection___Collection___is_empty(fra.me.REG[3])(fra.me.REG[3]);
+      if (UNTAG_Bool(REGB1)) {
+        goto label4;
+      }
+      /* ./../lib/standard//file.nit:250 */
+      CALL_abstract_collection___Sequence___append(fra.me.REG[0])(fra.me.REG[0], fra.me.REG[3]);
+      /* ./../lib/standard//file.nit:251 */
+      REGB1 = TAG_Char('/');
+      CALL_abstract_collection___SimpleCollection___add(fra.me.REG[0])(fra.me.REG[0], REGB1);
+      /* ./../lib/standard//file.nit:252 */
+      fra.me.REG[3] = CALL_string___Object___to_s(fra.me.REG[0])(fra.me.REG[0]);
+      fra.me.REG[3] = CALL_string___String___to_cstring(fra.me.REG[3])(fra.me.REG[3]);
+      CALL_file___NativeString___file_mkdir(fra.me.REG[3])(fra.me.REG[3]);
+      label4: 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 label5;
     }
-    CALL_abstract_collection___IndexedCollection___append( variable[3] /*path*/)( variable[3] /*path*/,  variable[6] /*d*/) /*Buffer::append*/;
-    CALL_abstract_collection___SimpleCollection___add( variable[3] /*path*/)( variable[3] /*path*/,  TAG_Char('/')) /*Buffer::add*/;
-    /* Register variable[7]: Result */
-    variable[7] = CALL_string___Object___to_s( variable[3] /*path*/)( variable[3] /*path*/) /*Buffer::to_s*/;
-    /* Register variable[7]: Result */
-    variable[7] = CALL_string___String___to_cstring(variable[7])(variable[7]) /*String::to_cstring*/;
-    CALL_file___NativeString___file_mkdir(variable[7])(variable[7]) /*NativeString::file_mkdir*/;
-    continue_46: while(0);
-    CALL_abstract_collection___Iterator___next(variable[4])(variable[4]) /*ArrayIterator::next*/;
   }
-  break_46: while(0);
-  return_label43: while(false);
-  tracehead = trace.prev;
+  label5: while(0);
+  label2: while(0);
+  stack_frame_head = fra.me.prev;
   return;
 }
-val_t file___NativeString___file_exists(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 261, LOCATE_file___NativeString___file_exists};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Bool(string_NativeString_NativeString_file_exists_0(UNBOX_NativeString( self)));
+val_t file___NativeString___file_exists(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_file;
+  fra.me.line = 258;
+  fra.me.meth = LOCATE_file___NativeString___file_exists;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:258 */
+  REGB0 = TAG_Bool(string_NativeString_NativeString_file_exists_0(UNBOX_NativeString(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___NativeString___file_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 262, LOCATE_file___NativeString___file_stat};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return BOX_FileStat(string_NativeString_NativeString_file_stat_0(UNBOX_NativeString( self)));
+val_t file___NativeString___file_stat(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_file;
+  fra.me.line = 259;
+  fra.me.meth = LOCATE_file___NativeString___file_stat;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:259 */
+  fra.me.REG[0] = BOX_FileStat(string_NativeString_NativeString_file_stat_0(UNBOX_NativeString(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___NativeString___file_mkdir(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 263, LOCATE_file___NativeString___file_mkdir};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Bool(string_NativeString_NativeString_file_mkdir_0(UNBOX_NativeString( self)));
+val_t file___NativeString___file_mkdir(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_file;
+  fra.me.line = 260;
+  fra.me.meth = LOCATE_file___NativeString___file_mkdir;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:260 */
+  REGB0 = TAG_Bool(string_NativeString_NativeString_file_mkdir_0(UNBOX_NativeString(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___NativeString___file_delete(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 264, LOCATE_file___NativeString___file_delete};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Bool(string_NativeString_NativeString_file_delete_0(UNBOX_NativeString( self)));
+val_t file___NativeString___file_delete(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_file;
+  fra.me.line = 261;
+  fra.me.meth = LOCATE_file___NativeString___file_delete;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:261 */
+  REGB0 = TAG_Bool(string_NativeString_NativeString_file_delete_0(UNBOX_NativeString(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___FileStat___mode(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 269, LOCATE_file___FileStat___mode};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_FileStat_FileStat_mode_0(UNBOX_FileStat( self)));
+val_t file___FileStat___mode(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_file;
+  fra.me.line = 266;
+  fra.me.meth = LOCATE_file___FileStat___mode;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:266 */
+  REGB0 = TAG_Int(file_FileStat_FileStat_mode_0(UNBOX_FileStat(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___FileStat___atime(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 271, LOCATE_file___FileStat___atime};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_FileStat_FileStat_atime_0(UNBOX_FileStat( self)));
+val_t file___FileStat___atime(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_file;
+  fra.me.line = 268;
+  fra.me.meth = LOCATE_file___FileStat___atime;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:268 */
+  REGB0 = TAG_Int(file_FileStat_FileStat_atime_0(UNBOX_FileStat(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___FileStat___ctime(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 272, LOCATE_file___FileStat___ctime};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_FileStat_FileStat_ctime_0(UNBOX_FileStat( self)));
+val_t file___FileStat___ctime(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_file;
+  fra.me.line = 269;
+  fra.me.meth = LOCATE_file___FileStat___ctime;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:269 */
+  REGB0 = TAG_Int(file_FileStat_FileStat_ctime_0(UNBOX_FileStat(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___FileStat___mtime(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 273, LOCATE_file___FileStat___mtime};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_FileStat_FileStat_mtime_0(UNBOX_FileStat( self)));
+val_t file___FileStat___mtime(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_file;
+  fra.me.line = 270;
+  fra.me.meth = LOCATE_file___FileStat___mtime;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:270 */
+  REGB0 = TAG_Int(file_FileStat_FileStat_mtime_0(UNBOX_FileStat(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___FileStat___size(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 274, LOCATE_file___FileStat___size};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_FileStat_FileStat_size_0(UNBOX_FileStat( self)));
+val_t file___FileStat___size(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_file;
+  fra.me.line = 271;
+  fra.me.meth = LOCATE_file___FileStat___size;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:271 */
+  REGB0 = TAG_Int(file_FileStat_FileStat_size_0(UNBOX_FileStat(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___NativeFile___io_read(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 280, LOCATE_file___NativeFile___io_read};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_NativeFile_NativeFile_io_read_2(UNBOX_NativeFile( self), UNBOX_NativeString( param0), UNTAG_Int( param1)));
+val_t file___NativeFile___io_read(val_t p0, val_t p1, val_t p2){
+  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_file;
+  fra.me.line = 277;
+  fra.me.meth = LOCATE_file___NativeFile___io_read;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  REGB0 = p2;
+  /* ./../lib/standard//file.nit:277 */
+  REGB0 = TAG_Int(file_NativeFile_NativeFile_io_read_2(UNBOX_NativeFile(fra.me.REG[0]), UNBOX_NativeString(fra.me.REG[1]), UNTAG_Int(REGB0)));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___NativeFile___io_write(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 281, LOCATE_file___NativeFile___io_write};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_NativeFile_NativeFile_io_write_2(UNBOX_NativeFile( self), UNBOX_NativeString( param0), UNTAG_Int( param1)));
+val_t file___NativeFile___io_write(val_t p0, val_t p1, val_t p2){
+  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_file;
+  fra.me.line = 278;
+  fra.me.meth = LOCATE_file___NativeFile___io_write;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  REGB0 = p2;
+  /* ./../lib/standard//file.nit:278 */
+  REGB0 = TAG_Int(file_NativeFile_NativeFile_io_write_2(UNBOX_NativeFile(fra.me.REG[0]), UNBOX_NativeString(fra.me.REG[1]), UNTAG_Int(REGB0)));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___NativeFile___io_close(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 282, LOCATE_file___NativeFile___io_close};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return TAG_Int(file_NativeFile_NativeFile_io_close_0(UNBOX_NativeFile( self)));
+val_t file___NativeFile___io_close(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_file;
+  fra.me.line = 279;
+  fra.me.meth = LOCATE_file___NativeFile___io_close;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:279 */
+  REGB0 = TAG_Int(file_NativeFile_NativeFile_io_close_0(UNBOX_NativeFile(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return REGB0;
 }
-val_t file___NativeFile___file_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 283, LOCATE_file___NativeFile___file_stat};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return BOX_FileStat(file_NativeFile_NativeFile_file_stat_0(UNBOX_NativeFile( self)));
+val_t file___NativeFile___file_stat(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_file;
+  fra.me.line = 280;
+  fra.me.meth = LOCATE_file___NativeFile___file_stat;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:280 */
+  fra.me.REG[0] = BOX_FileStat(file_NativeFile_NativeFile_file_stat_0(UNBOX_NativeFile(fra.me.REG[0])));
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___NativeFileCapable___io_open_read(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 287, LOCATE_file___NativeFileCapable___io_open_read};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_io_open_read_1( self, UNBOX_NativeString( param0)));
+val_t file___NativeFileCapable___io_open_read(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_file;
+  fra.me.line = 284;
+  fra.me.meth = LOCATE_file___NativeFileCapable___io_open_read;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//file.nit:284 */
+  fra.me.REG[1] = BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_io_open_read_1(fra.me.REG[0], UNBOX_NativeString(fra.me.REG[1])));
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t file___NativeFileCapable___io_open_write(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 288, LOCATE_file___NativeFileCapable___io_open_write};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_io_open_write_1( self, UNBOX_NativeString( param0)));
+val_t file___NativeFileCapable___io_open_write(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_file;
+  fra.me.line = 285;
+  fra.me.meth = LOCATE_file___NativeFileCapable___io_open_write;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 2;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[1] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  fra.me.REG[1] = p1;
+  /* ./../lib/standard//file.nit:285 */
+  fra.me.REG[1] = BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_io_open_write_1(fra.me.REG[0], UNBOX_NativeString(fra.me.REG[1])));
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[1];
 }
-val_t file___NativeFileCapable___native_stdin(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 289, LOCATE_file___NativeFileCapable___native_stdin};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_native_stdin_0( self));
+val_t file___NativeFileCapable___native_stdin(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_file;
+  fra.me.line = 286;
+  fra.me.meth = LOCATE_file___NativeFileCapable___native_stdin;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:286 */
+  fra.me.REG[0] = BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_native_stdin_0(fra.me.REG[0]));
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___NativeFileCapable___native_stdout(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 290, LOCATE_file___NativeFileCapable___native_stdout};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_native_stdout_0( self));
+val_t file___NativeFileCapable___native_stdout(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_file;
+  fra.me.line = 287;
+  fra.me.meth = LOCATE_file___NativeFileCapable___native_stdout;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:287 */
+  fra.me.REG[0] = BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_native_stdout_0(fra.me.REG[0]));
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }
-val_t file___NativeFileCapable___native_stderr(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 291, LOCATE_file___NativeFileCapable___native_stderr};
-  val_t *variable = NULL;
-  struct WBT_ **closurevariable = NULL;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_native_stderr_0( self));
+val_t file___NativeFileCapable___native_stderr(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_file;
+  fra.me.line = 288;
+  fra.me.meth = LOCATE_file___NativeFileCapable___native_stderr;
+  fra.me.has_broke = 0;
+  fra.me.REG_size = 1;
+  fra.me.REG[0] = NIT_NULL;
+  fra.me.REG[0] = p0;
+  /* ./../lib/standard//file.nit:288 */
+  fra.me.REG[0] = BOX_NativeFile(file_NativeFileCapable_NativeFileCapable_native_stderr_0(fra.me.REG[0]));
+  stack_frame_head = fra.me.prev;
+  return fra.me.REG[0];
 }