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

diff --git a/c_src/file._sep.c b/c_src/file._sep.c
index f4772a9..91458d0 100644
--- a/c_src/file._sep.c
+++ b/c_src/file._sep.c
@@ -1,696 +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, 24, LOCATE_file___Object___printn};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  /* 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, " (%s:%d)\n", LOCATE_file, 25); nit_exit(1); } /*cast Array[Object]*/;
-  variable0 =  param0;
-  variable1 = ((file___Object___stdout_t)CALL( self,COLOR_file___Object___stdout))( self) /*Object::stdout*/;
-  variable2 = ((string___Collection___to_s_t)CALL( variable0 /*objects*/,COLOR_string___Object___to_s))( variable0 /*objects*/) /*Collection::to_s*/;
-  ((file___OFStream___write_t)CALL(variable1,COLOR_stream___OStream___write))(variable1, variable2) /*OFStream::write*/;
-  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, 30, LOCATE_file___Object___print};
-  val_t variable0;
-  val_t variable1;
-    val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 =  param0;
-  variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*object*/ ==  NIT_NULL /*null*/) || (( variable0 /*object*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*object*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*object*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*object*/,COLOR_kernel___Object_____eqeq))( variable0 /*object*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (UNTAG_Bool(variable1)) { /*if*/
-    variable1 = ((file___Object___stdout_t)CALL( self,COLOR_file___Object___stdout))( self) /*Object::stdout*/;
-    variable2 = ((string___Object___to_s_t)CALL( variable0 /*object*/,COLOR_string___Object___to_s))( variable0 /*object*/) /*Object::to_s*/;
-    ((file___OFStream___write_t)CALL(variable1,COLOR_stream___OStream___write))(variable1, variable2) /*OFStream::write*/;
-  }
-  variable1 = ((file___Object___stdout_t)CALL( self,COLOR_file___Object___stdout))( self) /*Object::stdout*/;
-  variable2 = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
-  ((file___OFStream___write_t)CALL(variable1,COLOR_stream___OStream___write))(variable1, variable2) /*OFStream::write*/;
-  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, 39, LOCATE_file___Object___getc};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 = ((file___Object___stdin_t)CALL( self,COLOR_file___Object___stdin))( self) /*Object::stdin*/;
-  variable0 = ((stream___BufferedIStream___read_char_t)CALL(variable0,COLOR_stream___IStream___read_char))(variable0) /*BufferedIStream::read_char*/;
-  variable0 = TAG_Char(UNTAG_Int(variable0));
-  goto return_label2;
-  return_label2: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___Object___gets(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 45, LOCATE_file___Object___gets};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 = ((file___Object___stdin_t)CALL( self,COLOR_file___Object___stdin))( self) /*Object::stdin*/;
-  variable0 = ((stream___IStream___read_line_t)CALL(variable0,COLOR_stream___IStream___read_line))(variable0) /*IStream::read_line*/;
-  goto return_label3;
-  return_label3: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___Object___stdin(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 290, LOCATE_file___Object___stdin};
-  val_t variable0;
-  static val_t once_value_variable0_5; static int once_bool_variable0_5;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (once_bool_variable0_5) variable0 = once_value_variable0_5;
-  else {
-    variable0 = NEW_Stdin_file___Stdin___init(); /*new Stdin*/
-    once_value_variable0_5 = variable0;
-    once_bool_variable0_5 = true;
-  }
-  goto return_label4;
-  return_label4: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___Object___stdout(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 293, LOCATE_file___Object___stdout};
-  val_t variable0;
-  static val_t once_value_variable0_7; static int once_bool_variable0_7;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (once_bool_variable0_7) variable0 = once_value_variable0_7;
-  else {
-    variable0 = NEW_Stdout_file___Stdout___init(); /*new Stdout*/
-    once_value_variable0_7 = variable0;
-    once_bool_variable0_7 = true;
-  }
-  goto return_label6;
-  return_label6: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___Object___stderr(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 296, LOCATE_file___Object___stderr};
-  val_t variable0;
-  static val_t once_value_variable0_9; static int once_bool_variable0_9;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (once_bool_variable0_9) variable0 = once_value_variable0_9;
-  else {
-    variable0 = NEW_Stderr_file___Stderr___init(); /*new Stderr*/
-    once_value_variable0_9 = variable0;
-    once_bool_variable0_9 = true;
-  }
-  goto return_label8;
-  return_label8: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___FStream___path(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 57, LOCATE_file___FStream___path};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  tracehead = trace.prev;
-  return ATTR_file___FStream____path( self) /*FStream::_path*/;
-}
-val_t file___FStream___file_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 63, LOCATE_file___FStream___file_stat};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 = ATTR_file___FStream____file( self) /*FStream::_file*/;
-  variable0 = ((file___NativeFile___file_stat_t)CALL(variable0,COLOR_file___NativeFile___file_stat))(variable0) /*NativeFile::file_stat*/;
-  goto return_label10;
-  return_label10: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-void file___IFStream___reopen(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 73, LOCATE_file___IFStream___reopen};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 = ((stream___BufferedIStream___eof_t)CALL( self,COLOR_stream___IStream___eof))( self) /*BufferedIStream::eof*/;
-  if (UNTAG_Bool( TAG_Bool(!UNTAG_Bool(variable0)))) { /*if*/
-    ((file___IFStream___close_t)CALL( self,COLOR_stream___IOS___close))( self) /*IFStream::close*/;
-  }
-  variable0 = ATTR_file___FStream____path( self) /*FStream::_path*/;
-  variable0 = ((string___String___to_cstring_t)CALL(variable0,COLOR_string___String___to_cstring))(variable0) /*String::to_cstring*/;
-  variable0 = ((file___NativeFileCapable___io_open_read_t)CALL( self,COLOR_file___NativeFileCapable___io_open_read))( self, variable0) /*NativeFileCapable::io_open_read*/;
-  ATTR_file___FStream____file( self) /*FStream::_file*/ = variable0;
-  ATTR_file___IFStream____end_reached( self) /*IFStream::_end_reached*/ =  TAG_Bool(false);
-  ATTR_stream___BufferedIStream____buffer_pos( self) /*BufferedIStream::_buffer_pos*/ =  TAG_Int(0);
-  variable0 = ATTR_stream___BufferedIStream____buffer( self) /*BufferedIStream::_buffer*/;
-  ((array___AbstractArray___clear_t)CALL(variable0,COLOR_abstract_collection___RemovableCollection___clear))(variable0) /*AbstractArray::clear*/;
-  tracehead = trace.prev;
+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 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 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 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 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 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 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___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___close(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 82, LOCATE_file___IFStream___close};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable1 = ATTR_file___FStream____file( self) /*FStream::_file*/;
-  variable1 = ((file___NativeFile___io_close_t)CALL(variable1,COLOR_file___NativeFile___io_close))(variable1) /*NativeFile::io_close*/;
-  variable0 = variable1;
-  ATTR_file___IFStream____end_reached( self) /*IFStream::_end_reached*/ =  TAG_Bool(true);
-  tracehead = trace.prev;
+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);
+  }
+  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;
 }
-void file___IFStream___fill_buffer(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 88, LOCATE_file___IFStream___fill_buffer};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable1 = ATTR_file___FStream____file( self) /*FStream::_file*/;
-  variable2 = ATTR_stream___BufferedIStream____buffer( self) /*BufferedIStream::_buffer*/;
-  variable2 = ATTR_string___String____items(variable2) /*String::_items*/;
-  variable3 = ATTR_stream___BufferedIStream____buffer( self) /*BufferedIStream::_buffer*/;
-  variable3 = ATTR_string___String____capacity(variable3) /*String::_capacity*/;
-  variable1 = ((file___NativeFile___io_read_t)CALL(variable1,COLOR_file___NativeFile___io_read))(variable1, variable2, variable3) /*NativeFile::io_read*/;
-  variable0 = variable1;
-  variable1 = TAG_Bool(UNTAG_Int( variable0 /*nb*/)<=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable1)) { /*if*/
-    ATTR_file___IFStream____end_reached( self) /*IFStream::_end_reached*/ =  TAG_Bool(true);
-    variable0 =  TAG_Int(0) /*nb=*/;
-  }
-  variable1 = ATTR_stream___BufferedIStream____buffer( self) /*BufferedIStream::_buffer*/;
-  ATTR_array___AbstractArray____length(variable1) /*AbstractArray::_length*/ =  variable0 /*nb*/;
-  ATTR_stream___BufferedIStream____buffer_pos( self) /*BufferedIStream::_buffer_pos*/ =  TAG_Int(0);
-  tracehead = trace.prev;
+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);
+  }
+  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;
 }
-val_t file___IFStream___end_reached(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 100, LOCATE_file___IFStream___end_reached};
-  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___open(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 103, LOCATE_file___IFStream___open};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 =  param0;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IFStream].i]) return;
-  ATTR_file___FStream____path( self) /*FStream::_path*/ =  variable0 /*path*/;
-  ((stream___BufferedIStream___prepare_buffer_t)CALL( self,COLOR_stream___BufferedIStream___prepare_buffer))( self,  TAG_Int(10)) /*BufferedIStream::prepare_buffer*/;
-  variable1 = ATTR_file___FStream____path( self) /*FStream::_path*/;
-  variable1 = ((string___String___to_cstring_t)CALL(variable1,COLOR_string___String___to_cstring))(variable1) /*String::to_cstring*/;
-  variable1 = ((file___NativeFileCapable___io_open_read_t)CALL( self,COLOR_file___NativeFileCapable___io_open_read))( self, variable1) /*NativeFileCapable::io_open_read*/;
-  ATTR_file___FStream____file( self) /*FStream::_file*/ = variable1;
-  variable1 = ATTR_file___FStream____file( self) /*FStream::_file*/;
-  variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable1 ==  NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed", " 'cant_open_file' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___IFStream___open, LOCATE_file, 109); nit_exit(1);}
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IFStream].i] = 1;
-  tracehead = trace.prev;
+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___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___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 112, LOCATE_file___IFStream___init};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IFStream].i]) return;
-  init_table[VAL2OBJ( self)->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___IFStream___without_file(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 113, LOCATE_file___IFStream___without_file};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IFStream].i]) return;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_IFStream].i] = 1;
-  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, 121, LOCATE_file___OFStream___write};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 =  param0;
-  variable1 = ATTR_file___OFStream____writable( self) /*OFStream::_writable*/;
-  if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___OFStream___write, LOCATE_file, 124); nit_exit(1);}
-  variable1 = ((string___String___to_cstring_t)CALL( variable0 /*s*/,COLOR_string___String___to_cstring))( variable0 /*s*/) /*String::to_cstring*/;
-  variable2 = ((array___AbstractArray___length_t)CALL( variable0 /*s*/,COLOR_abstract_collection___Collection___length))( variable0 /*s*/) /*AbstractArray::length*/;
-  ((file___OFStream___write_native_t)CALL( self,COLOR_file___OFStream___write_native))( self, variable1, variable2) /*OFStream::write_native*/;
-  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, 128, LOCATE_file___OFStream___is_writable};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 = ATTR_file___OFStream____writable( self) /*OFStream::_writable*/;
-  goto return_label18;
-  return_label18: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-void file___OFStream___close(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 130, LOCATE_file___OFStream___close};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable1 = ATTR_file___FStream____file( self) /*FStream::_file*/;
-  variable1 = ((file___NativeFile___io_close_t)CALL(variable1,COLOR_file___NativeFile___io_close))(variable1) /*NativeFile::io_close*/;
-  variable0 = variable1;
-  ATTR_file___OFStream____writable( self) /*OFStream::_writable*/ =  TAG_Bool(false);
-  tracehead = trace.prev;
+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___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);
+  }
+  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___write_native(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 139, LOCATE_file___OFStream___write_native};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-    val_t variable4;
-    val_t variable5;
-    val_t variable6;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 =  param0;
-  variable1 =  param1;
-  variable2 = ATTR_file___OFStream____writable( self) /*OFStream::_writable*/;
-  if (!UNTAG_Bool(variable2)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___OFStream___write_native, LOCATE_file, 142); nit_exit(1);}
-  variable3 = ATTR_file___FStream____file( self) /*FStream::_file*/;
-  variable3 = ((file___NativeFile___io_write_t)CALL(variable3,COLOR_file___NativeFile___io_write))(variable3,  variable0 /*native*/,  variable1 /*len*/) /*NativeFile::io_write*/;
-  variable2 = variable3;
-  variable3 = TAG_Bool(( variable2 /*err*/)!=( variable1 /*len*/));
-  if (UNTAG_Bool(variable3)) { /*if*/
-    variable3 = NEW_Array_array___Array___with_capacity(TAG_Int(5)); /*new Array[Object]*/
-    variable4 = NEW_String_string___String___with_native(BOX_NativeString("Problem in writing : "), TAG_Int(21)); /*new String*/
-    ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable4) /*AbstractArray::add*/;
-    ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  variable2 /*err*/) /*AbstractArray::add*/;
-    variable5 = NEW_String_string___String___with_native(BOX_NativeString(" "), TAG_Int(1)); /*new String*/
-    ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable5) /*AbstractArray::add*/;
-    ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  variable1 /*len*/) /*AbstractArray::add*/;
-    variable6 = NEW_String_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
-    ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3, variable6) /*AbstractArray::add*/;
-    ((file___Object___printn_t)CALL( self,COLOR_file___Object___printn))( self, variable3) /*Object::printn*/;
-  }
-  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___open(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 150, LOCATE_file___OFStream___open};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 =  param0;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OFStream].i]) return;
-  variable1 = ((string___String___to_cstring_t)CALL( variable0 /*path*/,COLOR_string___String___to_cstring))( variable0 /*path*/) /*String::to_cstring*/;
-  variable1 = ((file___NativeFileCapable___io_open_write_t)CALL( self,COLOR_file___NativeFileCapable___io_open_write))( self, variable1) /*NativeFileCapable::io_open_write*/;
-  ATTR_file___FStream____file( self) /*FStream::_file*/ = variable1;
-  variable1 = ATTR_file___FStream____file( self) /*FStream::_file*/;
-  variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable1 ==  NIT_NULL /*null*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1,  NIT_NULL /*null*/) /*Object::==*/)))))));
-  if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed", " 'cant_open_file' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_file___OFStream___open, LOCATE_file, 154); nit_exit(1);}
-  ATTR_file___FStream____path( self) /*FStream::_path*/ =  variable0 /*path*/;
-  ATTR_file___OFStream____writable( self) /*OFStream::_writable*/ =  TAG_Bool(true);
-  init_table[VAL2OBJ( self)->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___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 159, LOCATE_file___OFStream___init};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OFStream].i]) return;
-  init_table[VAL2OBJ( self)->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___OFStream___without_file(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 160, LOCATE_file___OFStream___without_file};
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OFStream].i]) return;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_OFStream].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___Stdin___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 167, LOCATE_file___Stdin___init};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Stdin].i]) return;
-  ((file___IFStream___init_t)CALL( self,COLOR_file___IFStream___init))( self, init_table /*YYY*/) /*IFStream::init*/;
-  variable0 = ((file___NativeFileCapable___native_stdin_t)CALL( self,COLOR_file___NativeFileCapable___native_stdin))( self) /*NativeFileCapable::native_stdin*/;
-  ATTR_file___FStream____file( self) /*FStream::_file*/ = variable0;
-  variable0 = NEW_String_string___String___with_native(BOX_NativeString("/dev/stdin"), TAG_Int(10)); /*new String*/
-  ATTR_file___FStream____path( self) /*FStream::_path*/ = variable0;
-  ((stream___BufferedIStream___prepare_buffer_t)CALL( self,COLOR_stream___BufferedIStream___prepare_buffer))( self,  TAG_Int(1)) /*BufferedIStream::prepare_buffer*/;
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Stdin].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___Stdout___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 176, LOCATE_file___Stdout___init};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Stdout].i]) return;
-  ((file___OFStream___init_t)CALL( self,COLOR_file___OFStream___init))( self, init_table /*YYY*/) /*OFStream::init*/;
-  variable0 = ((file___NativeFileCapable___native_stdout_t)CALL( self,COLOR_file___NativeFileCapable___native_stdout))( self) /*NativeFileCapable::native_stdout*/;
-  ATTR_file___FStream____file( self) /*FStream::_file*/ = variable0;
-  variable0 = NEW_String_string___String___with_native(BOX_NativeString("/dev/stdout"), TAG_Int(11)); /*new String*/
-  ATTR_file___FStream____path( self) /*FStream::_path*/ = variable0;
-  ATTR_file___OFStream____writable( self) /*OFStream::_writable*/ =  TAG_Bool(true);
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Stdout].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  self, int* init_table) {
-  struct trace_t trace = {NULL, NULL, 185, LOCATE_file___Stderr___init};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Stderr].i]) return;
-  ((file___OFStream___init_t)CALL( self,COLOR_file___OFStream___init))( self, init_table /*YYY*/) /*OFStream::init*/;
-  variable0 = ((file___NativeFileCapable___native_stderr_t)CALL( self,COLOR_file___NativeFileCapable___native_stderr))( self) /*NativeFileCapable::native_stderr*/;
-  ATTR_file___FStream____file( self) /*FStream::_file*/ = variable0;
-  variable0 = NEW_String_string___String___with_native(BOX_NativeString("/dev/stderr"), TAG_Int(11)); /*new String*/
-  ATTR_file___FStream____path( self) /*FStream::_path*/ = variable0;
-  ATTR_file___OFStream____writable( self) /*OFStream::_writable*/ =  TAG_Bool(true);
-  init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_Stderr].i] = 1;
-  tracehead = trace.prev;
+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, 195, LOCATE_file___String___file_exists};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 = ((string___String___to_cstring_t)CALL( self,COLOR_string___String___to_cstring))( self) /*String::to_cstring*/;
-  variable0 = ((file___NativeString___file_exists_t)CALL(variable0,COLOR_file___NativeString___file_exists))(variable0) /*NativeString::file_exists*/;
-  goto return_label27;
-  return_label27: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___String___file_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 198, LOCATE_file___String___file_stat};
-  val_t variable0;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 = ((string___String___to_cstring_t)CALL( self,COLOR_string___String___to_cstring))( self) /*String::to_cstring*/;
-  variable0 = ((file___NativeString___file_stat_t)CALL(variable0,COLOR_file___NativeString___file_stat))(variable0) /*NativeString::file_stat*/;
-  goto return_label28;
-  return_label28: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___String___strip_extension(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 200, LOCATE_file___String___strip_extension};
-  val_t variable0;
-  val_t variable1;
-    val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 =  param0;
-  variable1 = ((string___String___has_suffix_t)CALL( self,COLOR_string___String___has_suffix))( self,  variable0 /*ext*/) /*String::has_suffix*/;
-  if (UNTAG_Bool(variable1)) { /*if*/
-    variable1 = ((array___AbstractArray___length_t)CALL( self,COLOR_abstract_collection___Collection___length))( self) /*AbstractArray::length*/;
-    variable2 = ((array___AbstractArray___length_t)CALL( variable0 /*ext*/,COLOR_abstract_collection___Collection___length))( variable0 /*ext*/) /*AbstractArray::length*/;
-    variable1 = TAG_Int(UNTAG_Int(variable1)-UNTAG_Int(variable2));
-    variable1 = ((string___String___substring_t)CALL( self,COLOR_string___String___substring))( self,  TAG_Int(0), variable1) /*String::substring*/;
-    goto return_label29;
-  }
-  variable1 =  self;
-  goto return_label29;
-  return_label29: while(false);
-  tracehead = trace.prev;
-  return variable1;
-}
-val_t file___String___basename(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 208, LOCATE_file___String___basename};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable0 =  param0;
-  variable2 = ATTR_array___AbstractArray____length( self) /*AbstractArray::_length*/;
-  variable2 = TAG_Int(UNTAG_Int(variable2)-UNTAG_Int( TAG_Int(1)));
-  variable2 = ((array___AbstractArray___last_index_of_from_t)CALL( self,COLOR_array___AbstractArray___last_index_of_from))( self,  TAG_Char('/'), variable2) /*AbstractArray::last_index_of_from*/;
-  variable1 = variable2;
-  variable2 =  self;
-  variable3 = TAG_Bool(UNTAG_Int( variable1 /*pos*/)>=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable3)) { /*if*/
-    variable3 = TAG_Int(UNTAG_Int( variable1 /*pos*/)+UNTAG_Int( TAG_Int(1)));
-    variable3 = ((string___String___substring_from_t)CALL( self,COLOR_string___String___substring_from))( self, variable3) /*String::substring_from*/;
-    variable2 = variable3 /*n=*/;
-  }
-  variable3 = ((file___String___strip_extension_t)CALL( variable2 /*n*/,COLOR_file___String___strip_extension))( variable2 /*n*/,  variable0 /*ext*/) /*String::strip_extension*/;
-  variable1 = variable3;
-  goto return_label30;
-  return_label30: while(false);
-  tracehead = trace.prev;
-  return variable1;
-}
-val_t file___String___dirname(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 218, LOCATE_file___String___dirname};
-  val_t variable0;
-  val_t variable1;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable1 = ATTR_array___AbstractArray____length( self) /*AbstractArray::_length*/;
-  variable1 = TAG_Int(UNTAG_Int(variable1)-UNTAG_Int( TAG_Int(1)));
-  variable1 = ((array___AbstractArray___last_index_of_from_t)CALL( self,COLOR_array___AbstractArray___last_index_of_from))( self,  TAG_Char('/'), variable1) /*AbstractArray::last_index_of_from*/;
-  variable0 = variable1;
-  variable1 = TAG_Bool(UNTAG_Int( variable0 /*pos*/)>=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable1)) { /*if*/
-    variable1 = ((string___String___substring_t)CALL( self,COLOR_string___String___substring))( self,  TAG_Int(0),  variable0 /*pos*/) /*String::substring*/;
-    variable0 = variable1;
-    goto return_label31;
-  } else { /*if*/
-    variable1 = NEW_String_string___String___with_native(BOX_NativeString("."), TAG_Int(1)); /*new String*/
-    variable0 = variable1;
-    goto return_label31;
-  }
-  return_label31: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-val_t file___String___file_path(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 228, LOCATE_file___String___file_path};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable1 = ATTR_array___AbstractArray____length( self) /*AbstractArray::_length*/;
-  variable0 = variable1;
-  variable2 = TAG_Int(UNTAG_Int( variable0 /*l*/)-UNTAG_Int( TAG_Int(1)));
-  variable2 = ((array___AbstractArray___last_index_of_from_t)CALL( self,COLOR_array___AbstractArray___last_index_of_from))( self,  TAG_Char('/'), variable2) /*AbstractArray::last_index_of_from*/;
-  variable1 = variable2;
-  variable2 = TAG_Bool(UNTAG_Int( variable1 /*pos*/)>=UNTAG_Int( TAG_Int(0)));
-  if (UNTAG_Bool(variable2)) { /*if*/
-    variable2 = ((string___String___substring_t)CALL( self,COLOR_string___String___substring))( self,  TAG_Int(0),  variable1 /*pos*/) /*String::substring*/;
-    variable0 = variable2;
-    goto return_label32;
-  }
-  variable2 = NEW_String_string___String___with_native(BOX_NativeString("."), TAG_Int(1)); /*new String*/
-  variable0 = variable2;
-  goto return_label32;
-  return_label32: while(false);
-  tracehead = trace.prev;
-  return variable0;
-}
-void file___String___mkdir(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 238, LOCATE_file___String___mkdir};
-  val_t variable0;
-  val_t variable1;
-  val_t variable2;
-  val_t variable3;
-  val_t variable4;
-  trace.prev = tracehead; tracehead = &trace;
-  trace.file = LOCATE_file;
-  variable1 = NEW_String_string___String___with_native(BOX_NativeString("/"), TAG_Int(1)); /*new String*/
-  variable1 = ((string_search___String___split_with_t)CALL( self,COLOR_string_search___String___split_with))( self, variable1) /*String::split_with*/;
-  variable0 = variable1;
-  variable2 = NEW_String_string___String___init(); /*new String*/
-  variable1 = variable2;
-  variable2 = ((array___AbstractArray___is_empty_t)CALL( variable0 /*dirs*/,COLOR_abstract_collection___Collection___is_empty))( variable0 /*dirs*/) /*AbstractArray::is_empty*/;
-  if (UNTAG_Bool(variable2)) { /*if*/
-    goto return_label33;
-  }
-  variable2 =  TAG_Int(0);
-  variable3 = TAG_Bool(UNTAG_Int( variable2 /*index*/)>=UNTAG_Int( TAG_Int(0)));
-  variable4 = variable3;
-  if (UNTAG_Bool(variable4)) { /* and */
-    variable4 = ATTR_array___AbstractArray____length( variable0 /*dirs*/) /*AbstractArray::_length*/;
-    variable4 = TAG_Bool(UNTAG_Int( variable2 /*index*/)<UNTAG_Int(variable4));
-  }
-  variable3 = variable4;
-  if (!UNTAG_Bool(variable3)) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_file, 229); nit_exit(1);}
-  variable3 = ATTR_array___Array____items( variable0 /*dirs*/) /*Array::_items*/;
-  variable3 = UNBOX_NativeArray(variable3)[UNTAG_Int( variable2 /*index*/)];
-  goto return_label34;
-  return_label34: while(false);
-  variable2 = variable3;
-  variable2 = ((array___AbstractArray___is_empty_t)CALL(variable2,COLOR_abstract_collection___Collection___is_empty))(variable2) /*AbstractArray::is_empty*/;
-  if (UNTAG_Bool(variable2)) { /*if*/
-    ((string___String___add_t)CALL( variable1 /*path*/,COLOR_abstract_collection___SimpleCollection___add))( variable1 /*path*/,  TAG_Char('/')) /*String::add*/;
-  }
-  variable2 = ((array___AbstractArray___iterator_t)CALL( variable0 /*dirs*/,COLOR_abstract_collection___Collection___iterator))( variable0 /*dirs*/) /*AbstractArray::iterator*/;
-  while (true) { /*for*/
-    variable3 = ((array___ArrayIterator___is_ok_t)CALL(variable2,COLOR_abstract_collection___Iterator___is_ok))(variable2) /*ArrayIterator::is_ok*/;
-    if (!UNTAG_Bool(variable3)) break; /*for*/
-    variable3 = ((array___ArrayIterator___item_t)CALL(variable2,COLOR_abstract_collection___Iterator___item))(variable2) /*ArrayIterator::item*/;
-    variable4 = ((array___AbstractArray___is_empty_t)CALL( variable3 /*d*/,COLOR_abstract_collection___Collection___is_empty))( variable3 /*d*/) /*AbstractArray::is_empty*/;
-    if (UNTAG_Bool(variable4)) { /*if*/
-      goto continue_35;
+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 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 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 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);
     }
-    ((string___String___append_t)CALL( variable1 /*path*/,COLOR_abstract_collection___IndexedCollection___append))( variable1 /*path*/,  variable3 /*d*/) /*String::append*/;
-    ((string___String___add_t)CALL( variable1 /*path*/,COLOR_abstract_collection___SimpleCollection___add))( variable1 /*path*/,  TAG_Char('/')) /*String::add*/;
-    variable4 = ((string___String___to_cstring_t)CALL( variable1 /*path*/,COLOR_string___String___to_cstring))( variable1 /*path*/) /*String::to_cstring*/;
-    ((file___NativeString___file_mkdir_t)CALL(variable4,COLOR_file___NativeString___file_mkdir))(variable4) /*NativeString::file_mkdir*/;
-    continue_35: while(0);
-    ((array___ArrayIterator___next_t)CALL(variable2,COLOR_abstract_collection___Iterator___next))(variable2) /*ArrayIterator::next*/;
-  }
-  break_35: while(0);
-  return_label33: while(false);
-  tracehead = trace.prev;
+    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;
+  }
+  /* ./../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 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];
+  }
+  /* ./../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 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);
+  }
+  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 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);
+  }
+  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;
+  }
+  /* ./../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 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;
+  }
+  if (UNTAG_Bool(REGB1)) {
+  } else {
+    nit_abort("Assert %s  failed", "'index'", LOCATE_array, 245);
+  }
+  /* ./../lib/standard//collection//array.nit:246 */
+  fra.me.REG[2] = ATTR_array___Array____items(fra.me.REG[2]);
+  REGB1 = TAG_Bool(fra.me.REG[2]==NIT_NULL);
+  if (UNTAG_Bool(REGB1)) {
+    nit_abort("Reciever is null", NULL, LOCATE_array, 246);
+  }
+  /* ./../lib/standard//collection//array.nit:654 */
+  fra.me.REG[2] = ((Nit_NativeArray)fra.me.REG[2])->val[UNTAG_Int(REGB0)];
+  /* ./../lib/standard//collection//array.nit:246 */
+  goto 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);
+  }
+  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;
+    }
+  }
+  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, 258, LOCATE_file___NativeString___file_exists};
-  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_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 259, LOCATE_file___NativeString___file_stat};
-  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_mkdir(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 260, LOCATE_file___NativeString___file_mkdir};
-  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___FileStat___mode(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 265, LOCATE_file___FileStat___mode};
-  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___atime(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 267, LOCATE_file___FileStat___atime};
-  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___ctime(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 268, LOCATE_file___FileStat___ctime};
-  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___mtime(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 269, LOCATE_file___FileStat___mtime};
-  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___size(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 270, LOCATE_file___FileStat___size};
-  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___NativeFile___io_read(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 276, LOCATE_file___NativeFile___io_read};
-  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_write(val_t  self, val_t  param0, val_t  param1) {
-  struct trace_t trace = {NULL, NULL, 277, LOCATE_file___NativeFile___io_write};
-  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_close(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 278, LOCATE_file___NativeFile___io_close};
-  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___file_stat(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 279, LOCATE_file___NativeFile___file_stat};
-  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___NativeFileCapable___io_open_read(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 283, LOCATE_file___NativeFileCapable___io_open_read};
-  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_write(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, NULL, 284, LOCATE_file___NativeFileCapable___io_open_write};
-  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___native_stdin(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 285, LOCATE_file___NativeFileCapable___native_stdin};
-  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_stdout(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 286, LOCATE_file___NativeFileCapable___native_stdout};
-  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_stderr(val_t  self) {
-  struct trace_t trace = {NULL, NULL, 287, LOCATE_file___NativeFileCapable___native_stderr};
-  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___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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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];
 }