Only one gcc pass for initial bootstrap
[nit.git] / c_src / compiling_base._sep.c
index 71b52a4..e50ea8e 100644 (file)
 /* This C file is generated by NIT to compile module compiling_base. */
 #include "compiling_base._sep.h"
 val_t compiling_base___ToolContext___global(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___global, 24};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 24, LOCATE_compiling_base___ToolContext___global};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____global( self) /*ToolContext::_global*/;
 }
 void compiling_base___ToolContext___global__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___global__eq, 24};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 24, LOCATE_compiling_base___ToolContext___global__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____global( self) /*ToolContext::_global*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___attr_sim(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___attr_sim, 25};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 25, LOCATE_compiling_base___ToolContext___attr_sim};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____attr_sim( self) /*ToolContext::_attr_sim*/;
 }
 void compiling_base___ToolContext___attr_sim__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___attr_sim__eq, 25};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 25, LOCATE_compiling_base___ToolContext___attr_sim__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____attr_sim( self) /*ToolContext::_attr_sim*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___base_dir(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___base_dir, 26};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 26, LOCATE_compiling_base___ToolContext___base_dir};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____base_dir( self) /*ToolContext::_base_dir*/;
 }
 void compiling_base___ToolContext___base_dir__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___base_dir__eq, 26};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 26, LOCATE_compiling_base___ToolContext___base_dir__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____base_dir( self) /*ToolContext::_base_dir*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___clibdir(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___clibdir, 27};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 27, LOCATE_compiling_base___ToolContext___clibdir};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____clibdir( self) /*ToolContext::_clibdir*/;
 }
 void compiling_base___ToolContext___clibdir__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___clibdir__eq, 27};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 27, LOCATE_compiling_base___ToolContext___clibdir__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____clibdir( self) /*ToolContext::_clibdir*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___bindir(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___bindir, 28};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 28, LOCATE_compiling_base___ToolContext___bindir};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____bindir( self) /*ToolContext::_bindir*/;
 }
 void compiling_base___ToolContext___bindir__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___bindir__eq, 28};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 28, LOCATE_compiling_base___ToolContext___bindir__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____bindir( self) /*ToolContext::_bindir*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___output_file(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___output_file, 29};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 29, LOCATE_compiling_base___ToolContext___output_file};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____output_file( self) /*ToolContext::_output_file*/;
 }
 void compiling_base___ToolContext___output_file__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___output_file__eq, 29};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 29, LOCATE_compiling_base___ToolContext___output_file__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____output_file( self) /*ToolContext::_output_file*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___boost(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___boost, 30};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 30, LOCATE_compiling_base___ToolContext___boost};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____boost( self) /*ToolContext::_boost*/;
 }
 void compiling_base___ToolContext___boost__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___boost__eq, 30};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 30, LOCATE_compiling_base___ToolContext___boost__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____boost( self) /*ToolContext::_boost*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___no_cc(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___no_cc, 31};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 31, LOCATE_compiling_base___ToolContext___no_cc};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____no_cc( self) /*ToolContext::_no_cc*/;
 }
 void compiling_base___ToolContext___no_cc__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___no_cc__eq, 31};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 31, LOCATE_compiling_base___ToolContext___no_cc__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____no_cc( self) /*ToolContext::_no_cc*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___ToolContext___ext_prefix(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___ext_prefix, 32};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 32, LOCATE_compiling_base___ToolContext___ext_prefix};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___ToolContext____ext_prefix( self) /*ToolContext::_ext_prefix*/;
 }
 void compiling_base___ToolContext___ext_prefix__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___ToolContext___ext_prefix__eq, 32};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 32, LOCATE_compiling_base___ToolContext___ext_prefix__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___ToolContext____ext_prefix( self) /*ToolContext::_ext_prefix*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 void compiling_base___CompilerVisitor___add_decl(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___add_decl, 39};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 39, LOCATE_compiling_base___CompilerVisitor___add_decl};
   val_t variable0;
   val_t variable1;
     val_t variable2;
@@ -132,7 +132,7 @@ void compiling_base___CompilerVisitor___add_decl(val_t  self, val_t  param0) {
     variable1 = ((compiling_base___CContext___decls_t)CALL(variable1,COLOR_compiling_base___CContext___decls))(variable1) /*CContext::decls*/;
     variable2 = NEW_string___String___with_native(BOX_NativeString("\t\t"), TAG_Int(2)); /*new String*/
     variable2 = ((string___String_____plus_t)CALL(variable2,COLOR_string___String_____plus))(variable2,  variable0 /*s*/) /*String::+*/;
-    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*Array::add*/;
+    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*AbstractArray::add*/;
   } else { /*if*/
     variable1 = ATTR_compiling_base___CompilerVisitor____ctx( self) /*CompilerVisitor::_ctx*/;
     variable1 = ((compiling_base___CContext___decls_t)CALL(variable1,COLOR_compiling_base___CContext___decls))(variable1) /*CContext::decls*/;
@@ -140,13 +140,13 @@ void compiling_base___CompilerVisitor___add_decl(val_t  self, val_t  param0) {
     variable3 = ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/;
     variable2 = ((string___String_____star_t)CALL(variable2,COLOR_string___String_____star))(variable2, variable3) /*String::**/;
     variable2 = ((string___String_____plus_t)CALL(variable2,COLOR_string___String_____plus))(variable2,  variable0 /*s*/) /*String::+*/;
-    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*Array::add*/;
+    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*AbstractArray::add*/;
   }
   tracehead = trace.prev;
   return;
 }
 void compiling_base___CompilerVisitor___add_instr(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___add_instr, 49};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 49, LOCATE_compiling_base___CompilerVisitor___add_instr};
   val_t variable0;
   val_t variable1;
     val_t variable2;
@@ -160,7 +160,7 @@ void compiling_base___CompilerVisitor___add_instr(val_t  self, val_t  param0) {
     variable1 = ((compiling_base___CContext___instrs_t)CALL(variable1,COLOR_compiling_base___CContext___instrs))(variable1) /*CContext::instrs*/;
     variable2 = NEW_string___String___with_native(BOX_NativeString("\t\t"), TAG_Int(2)); /*new String*/
     variable2 = ((string___String_____plus_t)CALL(variable2,COLOR_string___String_____plus))(variable2,  variable0 /*s*/) /*String::+*/;
-    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*Array::add*/;
+    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*AbstractArray::add*/;
   } else { /*if*/
     variable1 = ATTR_compiling_base___CompilerVisitor____ctx( self) /*CompilerVisitor::_ctx*/;
     variable1 = ((compiling_base___CContext___instrs_t)CALL(variable1,COLOR_compiling_base___CContext___instrs))(variable1) /*CContext::instrs*/;
@@ -168,13 +168,13 @@ void compiling_base___CompilerVisitor___add_instr(val_t  self, val_t  param0) {
     variable3 = ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/;
     variable2 = ((string___String_____star_t)CALL(variable2,COLOR_string___String_____star))(variable2, variable3) /*String::**/;
     variable2 = ((string___String_____plus_t)CALL(variable2,COLOR_string___String_____plus))(variable2,  variable0 /*s*/) /*String::+*/;
-    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*Array::add*/;
+    ((array___AbstractArray___add_t)CALL(variable1,COLOR_abstract_collection___SimpleCollection___add))(variable1, variable2) /*AbstractArray::add*/;
   }
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___CompilerVisitor___new_number(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___new_number, 59};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 59, LOCATE_compiling_base___CompilerVisitor___new_number};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
@@ -189,14 +189,14 @@ val_t compiling_base___CompilerVisitor___new_number(val_t  self) {
   return variable0;
 }
 void compiling_base___CompilerVisitor___indent(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___indent, 69};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 69, LOCATE_compiling_base___CompilerVisitor___indent};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/ = TAG_Int(UNTAG_Int(ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/)+UNTAG_Int( TAG_Int(1)));
   tracehead = trace.prev;
   return;
 }
 void compiling_base___CompilerVisitor___unindent(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___unindent, 73};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 73, LOCATE_compiling_base___CompilerVisitor___unindent};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/ = TAG_Int(UNTAG_Int(ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/)-UNTAG_Int( TAG_Int(1)));
@@ -209,22 +209,22 @@ void compiling_base___CompilerVisitor___unindent(val_t  self) {
   return;
 }
 val_t compiling_base___CompilerVisitor___to_s(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___to_s, 80};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 80, LOCATE_compiling_base___CompilerVisitor___to_s};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
-  variable1 = NEW_array___Array___init(); /*new Array[String]*/
+  variable1 = NEW_array___Array___init(); /*new Array[E]*/
   variable0 = variable1;
   variable1 = ATTR_compiling_base___CompilerVisitor____ctx( self) /*CompilerVisitor::_ctx*/;
   variable1 = ((compiling_base___CContext___decls_t)CALL(variable1,COLOR_compiling_base___CContext___decls))(variable1) /*CContext::decls*/;
-  ((abstract_collection___IndexedCollection___append_t)CALL( variable0 /*out*/,COLOR_abstract_collection___IndexedCollection___append))( variable0 /*out*/, variable1) /*Array::append*/;
+  ((abstract_collection___IndexedCollection___append_t)CALL( variable0 /*out*/,COLOR_abstract_collection___IndexedCollection___append))( variable0 /*out*/, variable1) /*IndexedCollection::append*/;
   variable1 = ATTR_compiling_base___CompilerVisitor____ctx( self) /*CompilerVisitor::_ctx*/;
   variable1 = ((compiling_base___CContext___instrs_t)CALL(variable1,COLOR_compiling_base___CContext___instrs))(variable1) /*CContext::instrs*/;
-  ((abstract_collection___IndexedCollection___append_t)CALL( variable0 /*out*/,COLOR_abstract_collection___IndexedCollection___append))( variable0 /*out*/, variable1) /*Array::append*/;
+  ((abstract_collection___IndexedCollection___append_t)CALL( variable0 /*out*/,COLOR_abstract_collection___IndexedCollection___append))( variable0 /*out*/, variable1) /*IndexedCollection::append*/;
   variable1 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
-  ((array___AbstractArray___add_t)CALL( variable0 /*out*/,COLOR_abstract_collection___SimpleCollection___add))( variable0 /*out*/, variable1) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL( variable0 /*out*/,COLOR_abstract_collection___SimpleCollection___add))( variable0 /*out*/, variable1) /*AbstractArray::add*/;
   variable1 = NEW_string___String___with_native(BOX_NativeString("\n"), TAG_Int(1)); /*new String*/
-  variable1 = ((string___Collection___join_t)CALL( variable0 /*out*/,COLOR_string___Collection___join))( variable0 /*out*/, variable1) /*Array::join*/;
+  variable1 = ((string___Collection___join_t)CALL( variable0 /*out*/,COLOR_string___Collection___join))( variable0 /*out*/, variable1) /*Collection::join*/;
   variable0 = variable1;
   goto return_label5;
   return_label5: while(false);
@@ -232,59 +232,59 @@ val_t compiling_base___CompilerVisitor___to_s(val_t  self) {
   return variable0;
 }
 val_t compiling_base___CompilerVisitor___module(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___module, 90};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 90, LOCATE_compiling_base___CompilerVisitor___module};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___CompilerVisitor____module( self) /*CompilerVisitor::_module*/;
 }
 void compiling_base___CompilerVisitor___module__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___module__eq, 90};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 90, LOCATE_compiling_base___CompilerVisitor___module__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___CompilerVisitor____module( self) /*CompilerVisitor::_module*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___CompilerVisitor___ctx(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___ctx, 93};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 93, LOCATE_compiling_base___CompilerVisitor___ctx};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___CompilerVisitor____ctx( self) /*CompilerVisitor::_ctx*/;
 }
 void compiling_base___CompilerVisitor___ctx__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___ctx__eq, 93};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 93, LOCATE_compiling_base___CompilerVisitor___ctx__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___CompilerVisitor____ctx( self) /*CompilerVisitor::_ctx*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___CompilerVisitor___indent_level(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___indent_level, 96};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 96, LOCATE_compiling_base___CompilerVisitor___indent_level};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/;
 }
 void compiling_base___CompilerVisitor___indent_level__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___indent_level__eq, 96};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 96, LOCATE_compiling_base___CompilerVisitor___indent_level__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___CompilerVisitor____indent_level( self) /*CompilerVisitor::_indent_level*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___CompilerVisitor___tc(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___tc, 99};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 99, LOCATE_compiling_base___CompilerVisitor___tc};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___CompilerVisitor____tc( self) /*CompilerVisitor::_tc*/;
 }
 void compiling_base___CompilerVisitor___tc__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___tc__eq, 99};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 99, LOCATE_compiling_base___CompilerVisitor___tc__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___CompilerVisitor____tc( self) /*CompilerVisitor::_tc*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 void compiling_base___CompilerVisitor___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CompilerVisitor___init, 102};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 102, LOCATE_compiling_base___CompilerVisitor___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
   variable0 =  param0;
@@ -295,19 +295,19 @@ void compiling_base___CompilerVisitor___init(val_t  self, val_t  param0, int* in
   return;
 }
 val_t compiling_base___CContext___decls(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CContext___decls, 109};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 109, LOCATE_compiling_base___CContext___decls};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___CContext____decls( self) /*CContext::_decls*/;
 }
 val_t compiling_base___CContext___instrs(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CContext___instrs, 110};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 110, LOCATE_compiling_base___CContext___instrs};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___CContext____instrs( self) /*CContext::_instrs*/;
 }
 void compiling_base___CContext___append(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CContext___append, 112};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 112, LOCATE_compiling_base___CContext___append};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -315,15 +315,15 @@ void compiling_base___CContext___append(val_t  self, val_t  param0) {
   variable0 =  param0;
   variable1 = ATTR_compiling_base___CContext____instrs( self) /*CContext::_instrs*/;
   variable2 = ((compiling_base___CContext___decls_t)CALL( variable0 /*c*/,COLOR_compiling_base___CContext___decls))( variable0 /*c*/) /*CContext::decls*/;
-  ((abstract_collection___IndexedCollection___append_t)CALL(variable1,COLOR_abstract_collection___IndexedCollection___append))(variable1, variable2) /*Array::append*/;
+  ((abstract_collection___IndexedCollection___append_t)CALL(variable1,COLOR_abstract_collection___IndexedCollection___append))(variable1, variable2) /*IndexedCollection::append*/;
   variable1 = ATTR_compiling_base___CContext____instrs( self) /*CContext::_instrs*/;
   variable2 = ((compiling_base___CContext___instrs_t)CALL( variable0 /*c*/,COLOR_compiling_base___CContext___instrs))( variable0 /*c*/) /*CContext::instrs*/;
-  ((abstract_collection___IndexedCollection___append_t)CALL(variable1,COLOR_abstract_collection___IndexedCollection___append))(variable1, variable2) /*Array::append*/;
+  ((abstract_collection___IndexedCollection___append_t)CALL(variable1,COLOR_abstract_collection___IndexedCollection___append))(variable1, variable2) /*IndexedCollection::append*/;
   tracehead = trace.prev;
   return;
 }
 void compiling_base___CContext___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___CContext___init, 118};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 118, LOCATE_compiling_base___CContext___init};
   trace.prev = tracehead; tracehead = &trace;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_CContext].i]) return;
   init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_CContext].i] = 1;
@@ -331,7 +331,7 @@ void compiling_base___CContext___init(val_t  self, int* init_table) {
   return;
 }
 val_t compiling_base___MMGlobalProperty___meth_call(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMGlobalProperty___meth_call, 122};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 122, LOCATE_compiling_base___MMGlobalProperty___meth_call};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -345,7 +345,7 @@ val_t compiling_base___MMGlobalProperty___meth_call(val_t  self) {
   variable2 = variable1;
   ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable2) /*String::append*/;
   variable3 = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL( self,COLOR_abstractmetamodel___MMGlobalProperty___intro))( self) /*MMGlobalProperty::intro*/;
-  variable3 = ((compiling_base___MMLocalProperty___cname_t)CALL(variable3,COLOR_compiling_base___MMLocalProperty___cname))(variable3) /*MMConcreteProperty::cname*/;
+  variable3 = ((compiling_base___MMLocalProperty___cname_t)CALL(variable3,COLOR_compiling_base___MMLocalProperty___cname))(variable3) /*MMLocalProperty::cname*/;
   variable4 = variable3;
   ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable4) /*String::append*/;
   variable5 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
@@ -357,7 +357,7 @@ val_t compiling_base___MMGlobalProperty___meth_call(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMGlobalProperty___attr_access(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMGlobalProperty___attr_access, 128};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 128, LOCATE_compiling_base___MMGlobalProperty___attr_access};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -371,7 +371,7 @@ val_t compiling_base___MMGlobalProperty___attr_access(val_t  self) {
   variable2 = variable1;
   ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable2) /*String::append*/;
   variable3 = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL( self,COLOR_abstractmetamodel___MMGlobalProperty___intro))( self) /*MMGlobalProperty::intro*/;
-  variable3 = ((compiling_base___MMLocalProperty___cname_t)CALL(variable3,COLOR_compiling_base___MMLocalProperty___cname))(variable3) /*MMConcreteProperty::cname*/;
+  variable3 = ((compiling_base___MMLocalProperty___cname_t)CALL(variable3,COLOR_compiling_base___MMLocalProperty___cname))(variable3) /*MMLocalProperty::cname*/;
   variable4 = variable3;
   ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable4) /*String::append*/;
   variable5 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
@@ -383,7 +383,7 @@ val_t compiling_base___MMGlobalProperty___attr_access(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMGlobalProperty___color_id(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMGlobalProperty___color_id, 134};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 134, LOCATE_compiling_base___MMGlobalProperty___color_id};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -397,7 +397,7 @@ val_t compiling_base___MMGlobalProperty___color_id(val_t  self) {
   variable2 = variable1;
   ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable2) /*String::append*/;
   variable3 = ((abstractmetamodel___MMGlobalProperty___intro_t)CALL( self,COLOR_abstractmetamodel___MMGlobalProperty___intro))( self) /*MMGlobalProperty::intro*/;
-  variable3 = ((compiling_base___MMLocalProperty___cname_t)CALL(variable3,COLOR_compiling_base___MMLocalProperty___cname))(variable3) /*MMConcreteProperty::cname*/;
+  variable3 = ((compiling_base___MMLocalProperty___cname_t)CALL(variable3,COLOR_compiling_base___MMLocalProperty___cname))(variable3) /*MMLocalProperty::cname*/;
   variable4 = variable3;
   ((string___String___append_t)CALL(variable0,COLOR_abstract_collection___IndexedCollection___append))(variable0, variable4) /*String::append*/;
   variable5 = NEW_string___String___with_native(BOX_NativeString(""), TAG_Int(0)); /*new String*/
@@ -409,7 +409,7 @@ val_t compiling_base___MMGlobalProperty___color_id(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMGlobalClass___id_id(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMGlobalClass___id_id, 143};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 143, LOCATE_compiling_base___MMGlobalClass___id_id};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -436,7 +436,7 @@ val_t compiling_base___MMGlobalClass___id_id(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMGlobalClass___color_id(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMGlobalClass___color_id, 149};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 149, LOCATE_compiling_base___MMGlobalClass___color_id};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -463,7 +463,7 @@ val_t compiling_base___MMGlobalClass___color_id(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMGlobalClass___init_table_pos_id(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMGlobalClass___init_table_pos_id, 155};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 155, LOCATE_compiling_base___MMGlobalClass___init_table_pos_id};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -490,7 +490,7 @@ val_t compiling_base___MMGlobalClass___init_table_pos_id(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMLocalClass___primitive_info(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMLocalClass___primitive_info, 169};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 169, LOCATE_compiling_base___MMLocalClass___primitive_info};
   val_t variable0;
   val_t variable1;
   static val_t once_value_variable1_16; static int once_bool_variable1_16;
@@ -512,10 +512,10 @@ val_t compiling_base___MMLocalClass___primitive_info(val_t  self) {
   }
   variable0 = variable1;
   variable1 = ((abstractmetamodel___MMLocalClass___name_t)CALL( self,COLOR_abstractmetamodel___MMLocalClass___name))( self) /*MMLocalClass::name*/;
-  variable1 = ((abstract_collection___CoupleMap___has_key_t)CALL( variable0 /*ctypes*/,COLOR_abstract_collection___Map___has_key))( variable0 /*ctypes*/, variable1) /*HashMap::has_key*/;
+  variable1 = ((abstract_collection___CoupleMap___has_key_t)CALL( variable0 /*ctypes*/,COLOR_abstract_collection___Map___has_key))( variable0 /*ctypes*/, variable1) /*CoupleMap::has_key*/;
   if (UNTAG_Bool(variable1)) { /*if*/
     variable1 = ((abstractmetamodel___MMLocalClass___name_t)CALL( self,COLOR_abstractmetamodel___MMLocalClass___name))( self) /*MMLocalClass::name*/;
-    variable1 = ((abstract_collection___CoupleMap_____bra_t)CALL( variable0 /*ctypes*/,COLOR_abstract_collection___Map_____bra))( variable0 /*ctypes*/, variable1) /*HashMap::[]*/;
+    variable1 = ((abstract_collection___CoupleMap_____bra_t)CALL( variable0 /*ctypes*/,COLOR_abstract_collection___Map_____bra))( variable0 /*ctypes*/, variable1) /*CoupleMap::[]*/;
     ATTR_compiling_base___MMLocalClass____primitive_info_cache( self) /*MMLocalClass::_primitive_info_cache*/ = variable1;
     ATTR_compiling_base___MMLocalClass____primitive_info_b( self) /*MMLocalClass::_primitive_info_b*/ =  TAG_Bool(true);
     variable1 = ATTR_compiling_base___MMLocalClass____primitive_info_cache( self) /*MMLocalClass::_primitive_info_cache*/;
@@ -558,7 +558,7 @@ val_t compiling_base___MMLocalClass___primitive_info(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMLocalClass___primitive_ctypes(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMLocalClass___primitive_ctypes, 199};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 199, LOCATE_compiling_base___MMLocalClass___primitive_ctypes};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -572,51 +572,51 @@ val_t compiling_base___MMLocalClass___primitive_ctypes(val_t  self) {
   val_t variable10;
   val_t variable11;
   trace.prev = tracehead; tracehead = &trace;
-  variable1 = NEW_hash___HashMap___init(); /*new HashMap[Symbol, PrimitiveInfo]*/
+  variable1 = NEW_hash___HashMap___init(); /*new HashMap[K, V]*/
   variable0 = variable1;
-  variable2 = NEW_array___Array___with_capacity(TAG_Int(7)); /*new Array[String]*/
+  variable2 = NEW_array___Array___with_capacity(TAG_Int(7)); /*new Array[E]*/
   variable3 = NEW_string___String___with_native(BOX_NativeString("Int"), TAG_Int(3)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable3) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable3) /*AbstractArray::add*/;
   variable4 = NEW_string___String___with_native(BOX_NativeString("Char"), TAG_Int(4)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable4) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable4) /*AbstractArray::add*/;
   variable5 = NEW_string___String___with_native(BOX_NativeString("Bool"), TAG_Int(4)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable5) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable5) /*AbstractArray::add*/;
   variable6 = NEW_string___String___with_native(BOX_NativeString("Float"), TAG_Int(5)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable6) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable6) /*AbstractArray::add*/;
   variable7 = NEW_string___String___with_native(BOX_NativeString("NativeString"), TAG_Int(12)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable7) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable7) /*AbstractArray::add*/;
   variable8 = NEW_string___String___with_native(BOX_NativeString("NativeArray"), TAG_Int(11)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable8) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable8) /*AbstractArray::add*/;
   variable9 = NEW_string___String___with_native(BOX_NativeString("Pointer"), TAG_Int(7)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable9) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable2,COLOR_abstract_collection___SimpleCollection___add))(variable2, variable9) /*AbstractArray::add*/;
   variable1 = variable2;
-  variable3 = NEW_array___Array___with_capacity(TAG_Int(7)); /*new Array[Bool]*/
-  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(true)) /*Array::add*/;
-  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(true)) /*Array::add*/;
-  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(true)) /*Array::add*/;
-  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*Array::add*/;
-  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*Array::add*/;
-  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*Array::add*/;
-  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*Array::add*/;
+  variable3 = NEW_array___Array___with_capacity(TAG_Int(7)); /*new Array[E]*/
+  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(true)) /*AbstractArray::add*/;
+  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(true)) /*AbstractArray::add*/;
+  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(true)) /*AbstractArray::add*/;
+  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*AbstractArray::add*/;
+  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*AbstractArray::add*/;
+  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*AbstractArray::add*/;
+  ((array___AbstractArray___add_t)CALL(variable3,COLOR_abstract_collection___SimpleCollection___add))(variable3,  TAG_Bool(false)) /*AbstractArray::add*/;
   variable2 = variable3;
-  variable4 = NEW_array___Array___with_capacity(TAG_Int(7)); /*new Array[String]*/
-  variable5 = NEW_string___String___with_native(BOX_NativeString("int"), TAG_Int(3)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable5) /*Array::add*/;
+  variable4 = NEW_array___Array___with_capacity(TAG_Int(7)); /*new Array[E]*/
+  variable5 = NEW_string___String___with_native(BOX_NativeString("bigint"), TAG_Int(6)); /*new String*/
+  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable5) /*AbstractArray::add*/;
   variable6 = NEW_string___String___with_native(BOX_NativeString("char"), TAG_Int(4)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable6) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable6) /*AbstractArray::add*/;
   variable7 = NEW_string___String___with_native(BOX_NativeString("int"), TAG_Int(3)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable7) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable7) /*AbstractArray::add*/;
   variable8 = NEW_string___String___with_native(BOX_NativeString("float"), TAG_Int(5)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable8) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable8) /*AbstractArray::add*/;
   variable9 = NEW_string___String___with_native(BOX_NativeString("char *"), TAG_Int(6)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable9) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable9) /*AbstractArray::add*/;
   variable10 = NEW_string___String___with_native(BOX_NativeString("val_t *"), TAG_Int(7)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable10) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable10) /*AbstractArray::add*/;
   variable11 = NEW_string___String___with_native(BOX_NativeString("void *"), TAG_Int(6)); /*new String*/
-  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable11) /*Array::add*/;
+  ((array___AbstractArray___add_t)CALL(variable4,COLOR_abstract_collection___SimpleCollection___add))(variable4, variable11) /*AbstractArray::add*/;
   variable3 = variable4;
-  variable4 = ((array___AbstractArray___length_t)CALL( variable1 /*pnames*/,COLOR_abstract_collection___Collection___length))( variable1 /*pnames*/) /*Array::length*/;
-  variable5 = NEW_range___Range___without_last( TAG_Int(0), variable4); /*new Range[Int]*/
+  variable4 = ((array___AbstractArray___length_t)CALL( variable1 /*pnames*/,COLOR_abstract_collection___Collection___length))( variable1 /*pnames*/) /*AbstractArray::length*/;
+  variable5 = NEW_range___Range___without_last( TAG_Int(0), variable4); /*new Range[E]*/
   variable4 = variable5;
   variable4 = ((range___Range___iterator_t)CALL(variable4,COLOR_abstract_collection___Collection___iterator))(variable4) /*Range::iterator*/;
   while (true) { /*for*/
@@ -627,11 +627,11 @@ val_t compiling_base___MMLocalClass___primitive_ctypes(val_t  self) {
     variable8 = TAG_Bool(UNTAG_Int( variable7 /*index*/)>=UNTAG_Int( TAG_Int(0)));
     variable9 = variable8;
     if (UNTAG_Bool(variable9)) { /* and */
-      variable9 = ATTR_array___AbstractArray____length( variable1 /*pnames*/) /*Array::_length*/;
+      variable9 = ATTR_array___AbstractArray____length( variable1 /*pnames*/) /*AbstractArray::_length*/;
       variable9 = TAG_Bool(UNTAG_Int( variable7 /*index*/)<UNTAG_Int(variable9));
     }
     variable8 = variable9;
-    if (!UNTAG_Bool(variable8)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", " 'index' ", LOCATE_array___Array_____bra, 229); nit_exit(1);}
+    if (!UNTAG_Bool(variable8)) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_compiling_base, 229); nit_exit(1);}
     variable8 = ATTR_array___Array____items( variable1 /*pnames*/) /*Array::_items*/;
     variable8 = UNBOX_NativeArray(variable8)[UNTAG_Int( variable7 /*index*/)];
     goto return_label20;
@@ -646,11 +646,11 @@ val_t compiling_base___MMLocalClass___primitive_ctypes(val_t  self) {
     variable9 = TAG_Bool(UNTAG_Int( variable8 /*index*/)>=UNTAG_Int( TAG_Int(0)));
     variable10 = variable9;
     if (UNTAG_Bool(variable10)) { /* and */
-      variable10 = ATTR_array___AbstractArray____length( variable2 /*tagged*/) /*Array::_length*/;
+      variable10 = ATTR_array___AbstractArray____length( variable2 /*tagged*/) /*AbstractArray::_length*/;
       variable10 = TAG_Bool(UNTAG_Int( variable8 /*index*/)<UNTAG_Int(variable10));
     }
     variable9 = variable10;
-    if (!UNTAG_Bool(variable9)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", " 'index' ", LOCATE_array___Array_____bra, 229); nit_exit(1);}
+    if (!UNTAG_Bool(variable9)) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_compiling_base, 229); nit_exit(1);}
     variable9 = ATTR_array___Array____items( variable2 /*tagged*/) /*Array::_items*/;
     variable9 = UNBOX_NativeArray(variable9)[UNTAG_Int( variable8 /*index*/)];
     goto return_label21;
@@ -661,11 +661,11 @@ val_t compiling_base___MMLocalClass___primitive_ctypes(val_t  self) {
     variable9 = TAG_Bool(UNTAG_Int( variable8 /*index*/)>=UNTAG_Int( TAG_Int(0)));
     variable10 = variable9;
     if (UNTAG_Bool(variable10)) { /* and */
-      variable10 = ATTR_array___AbstractArray____length( variable3 /*cnames*/) /*Array::_length*/;
+      variable10 = ATTR_array___AbstractArray____length( variable3 /*cnames*/) /*AbstractArray::_length*/;
       variable10 = TAG_Bool(UNTAG_Int( variable8 /*index*/)<UNTAG_Int(variable10));
     }
     variable9 = variable10;
-    if (!UNTAG_Bool(variable9)) { fprintf(stderr, "Assert%s failed (%s: %d)\n", " 'index' ", LOCATE_array___Array_____bra, 229); nit_exit(1);}
+    if (!UNTAG_Bool(variable9)) { fprintf(stderr, "Assert%s failed", " 'index' "); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_array___Array_____bra, LOCATE_compiling_base, 229); nit_exit(1);}
     variable9 = ATTR_array___Array____items( variable3 /*cnames*/) /*Array::_items*/;
     variable9 = UNBOX_NativeArray(variable9)[UNTAG_Int( variable8 /*index*/)];
     goto return_label22;
@@ -684,46 +684,46 @@ val_t compiling_base___MMLocalClass___primitive_ctypes(val_t  self) {
   return variable0;
 }
 val_t compiling_base___PrimitiveInfo___name(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___PrimitiveInfo___name, 220};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 220, LOCATE_compiling_base___PrimitiveInfo___name};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___PrimitiveInfo____name( self) /*PrimitiveInfo::_name*/;
 }
 void compiling_base___PrimitiveInfo___name__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___PrimitiveInfo___name__eq, 220};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 220, LOCATE_compiling_base___PrimitiveInfo___name__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___PrimitiveInfo____name( self) /*PrimitiveInfo::_name*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___PrimitiveInfo___tagged(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___PrimitiveInfo___tagged, 223};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 223, LOCATE_compiling_base___PrimitiveInfo___tagged};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___PrimitiveInfo____tagged( self) /*PrimitiveInfo::_tagged*/;
 }
 void compiling_base___PrimitiveInfo___tagged__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___PrimitiveInfo___tagged__eq, 223};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 223, LOCATE_compiling_base___PrimitiveInfo___tagged__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___PrimitiveInfo____tagged( self) /*PrimitiveInfo::_tagged*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t compiling_base___PrimitiveInfo___cname(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___PrimitiveInfo___cname, 226};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 226, LOCATE_compiling_base___PrimitiveInfo___cname};
   trace.prev = tracehead; tracehead = &trace;
   tracehead = trace.prev;
   return ATTR_compiling_base___PrimitiveInfo____cname( self) /*PrimitiveInfo::_cname*/;
 }
 void compiling_base___PrimitiveInfo___cname__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___PrimitiveInfo___cname__eq, 226};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 226, LOCATE_compiling_base___PrimitiveInfo___cname__eq};
   trace.prev = tracehead; tracehead = &trace;
   ATTR_compiling_base___PrimitiveInfo____cname( self) /*PrimitiveInfo::_cname*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 void compiling_base___PrimitiveInfo___init(val_t  self, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___PrimitiveInfo___init, 229};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 229, LOCATE_compiling_base___PrimitiveInfo___init};
   trace.prev = tracehead; tracehead = &trace;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_PrimitiveInfo].i]) return;
   init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_PrimitiveInfo].i] = 1;
@@ -731,14 +731,14 @@ void compiling_base___PrimitiveInfo___init(val_t  self, int* init_table) {
   return;
 }
 val_t compiling_base___MMType___cname(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMType___cname, 233};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 233, LOCATE_compiling_base___MMType___cname};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
   variable1 = ((static_type___MMType___local_class_t)CALL( self,COLOR_static_type___MMType___local_class))( self) /*MMType::local_class*/;
   variable1 = ((compiling_base___MMLocalClass___primitive_info_t)CALL(variable1,COLOR_compiling_base___MMLocalClass___primitive_info))(variable1) /*MMLocalClass::primitive_info*/;
   variable0 = variable1;
-  variable1 = TAG_Bool(( variable0 /*pi*/ ==  NIT_NULL /*null*/) || (( variable0 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))( variable0 /*pi*/,  NIT_NULL /*null*/) /*PrimitiveInfo::==*/)))));
+  variable1 = TAG_Bool(( variable0 /*pi*/ ==  NIT_NULL /*null*/) || (( variable0 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))( variable0 /*pi*/,  NIT_NULL /*null*/) /*Object::==*/)))));
   if (UNTAG_Bool(variable1)) { /*if*/
     variable1 = NEW_string___String___with_native(BOX_NativeString("val_t"), TAG_Int(5)); /*new String*/
     variable0 = variable1;
@@ -753,7 +753,7 @@ val_t compiling_base___MMType___cname(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMType___default_cvalue(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMType___default_cvalue, 244};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 244, LOCATE_compiling_base___MMType___default_cvalue};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -770,7 +770,7 @@ val_t compiling_base___MMType___default_cvalue(val_t  self) {
   variable1 = ((static_type___MMType___local_class_t)CALL( self,COLOR_static_type___MMType___local_class))( self) /*MMType::local_class*/;
   variable1 = ((compiling_base___MMLocalClass___primitive_info_t)CALL(variable1,COLOR_compiling_base___MMLocalClass___primitive_info))(variable1) /*MMLocalClass::primitive_info*/;
   variable0 = variable1;
-  variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*pi*/ ==  NIT_NULL /*null*/) || (( variable0 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))( variable0 /*pi*/,  NIT_NULL /*null*/) /*PrimitiveInfo::==*/)))))));
+  variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*pi*/ ==  NIT_NULL /*null*/) || (( variable0 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*pi*/,COLOR_kernel___Object_____eqeq))( variable0 /*pi*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
   variable2 = variable1;
   if (UNTAG_Bool(variable2)) { /* and */
     variable2 = ((compiling_base___PrimitiveInfo___tagged_t)CALL( variable0 /*pi*/,COLOR_compiling_base___PrimitiveInfo___tagged))( variable0 /*pi*/) /*PrimitiveInfo::tagged*/;
@@ -807,7 +807,7 @@ val_t compiling_base___MMType___default_cvalue(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMType___boxtype(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMType___boxtype, 256};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 256, LOCATE_compiling_base___MMType___boxtype};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -825,7 +825,7 @@ val_t compiling_base___MMType___boxtype(val_t  self, val_t  param0) {
   variable2 = ((static_type___MMType___local_class_t)CALL( self,COLOR_static_type___MMType___local_class))( self) /*MMType::local_class*/;
   variable2 = ((compiling_base___MMLocalClass___primitive_info_t)CALL(variable2,COLOR_compiling_base___MMLocalClass___primitive_info))(variable2) /*MMLocalClass::primitive_info*/;
   variable1 = variable2;
-  variable2 = TAG_Bool(( variable1 /*pi*/ ==  NIT_NULL /*null*/) || (( variable1 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))( variable1 /*pi*/,  NIT_NULL /*null*/) /*PrimitiveInfo::==*/)))));
+  variable2 = TAG_Bool(( variable1 /*pi*/ ==  NIT_NULL /*null*/) || (( variable1 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))( variable1 /*pi*/,  NIT_NULL /*null*/) /*Object::==*/)))));
   if (UNTAG_Bool(variable2)) { /*if*/
     variable1 =  variable0 /*s*/;
     goto return_label26;
@@ -878,7 +878,7 @@ val_t compiling_base___MMType___boxtype(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t compiling_base___MMType___unboxtype(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMType___unboxtype, 270};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 270, LOCATE_compiling_base___MMType___unboxtype};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -896,7 +896,7 @@ val_t compiling_base___MMType___unboxtype(val_t  self, val_t  param0) {
   variable2 = ((static_type___MMType___local_class_t)CALL( self,COLOR_static_type___MMType___local_class))( self) /*MMType::local_class*/;
   variable2 = ((compiling_base___MMLocalClass___primitive_info_t)CALL(variable2,COLOR_compiling_base___MMLocalClass___primitive_info))(variable2) /*MMLocalClass::primitive_info*/;
   variable1 = variable2;
-  variable2 = TAG_Bool(( variable1 /*pi*/ ==  NIT_NULL /*null*/) || (( variable1 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))( variable1 /*pi*/,  NIT_NULL /*null*/) /*PrimitiveInfo::==*/)))));
+  variable2 = TAG_Bool(( variable1 /*pi*/ ==  NIT_NULL /*null*/) || (( variable1 /*pi*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable1 /*pi*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable1 /*pi*/,COLOR_kernel___Object_____eqeq))( variable1 /*pi*/,  NIT_NULL /*null*/) /*Object::==*/)))));
   if (UNTAG_Bool(variable2)) { /*if*/
     variable1 =  variable0 /*s*/;
     goto return_label27;
@@ -949,7 +949,7 @@ val_t compiling_base___MMType___unboxtype(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t compiling_base___MMLocalProperty___cname(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMLocalProperty___cname, 289};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 289, LOCATE_compiling_base___MMLocalProperty___cname};
   val_t variable0;
     val_t variable1;
     val_t variable2;
@@ -958,18 +958,16 @@ val_t compiling_base___MMLocalProperty___cname(val_t  self) {
   variable0 = ATTR_compiling_base___MMLocalProperty____cname_cache( self) /*MMLocalProperty::_cname_cache*/;
   variable0 = TAG_Bool((variable0 ==  NIT_NULL /*null*/) || ((variable0 != NIT_NULL) && UNTAG_Bool(((string___String_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))(variable0,  NIT_NULL /*null*/) /*String::==*/)));
   if (UNTAG_Bool(variable0)) { /*if*/
-    variable0 = NEW_array___Array___with_capacity(TAG_Int(3)); /*new Array[Symbol]*/
-    variable1 = ((abstractmetamodel___MMLocalProperty___concrete_property_t)CALL( self,COLOR_abstractmetamodel___MMLocalProperty___concrete_property))( self) /*MMLocalProperty::concrete_property*/;
-    variable1 = ((abstractmetamodel___MMLocalProperty___module_t)CALL(variable1,COLOR_abstractmetamodel___MMLocalProperty___module))(variable1) /*MMConcreteProperty::module*/;
+    variable0 = NEW_array___Array___with_capacity(TAG_Int(3)); /*new Array[E]*/
+    variable1 = ((abstractmetamodel___MMLocalProperty___module_t)CALL( self,COLOR_abstractmetamodel___MMLocalProperty___module))( self) /*MMLocalProperty::module*/;
     variable1 = ((abstractmetamodel___MMModule___name_t)CALL(variable1,COLOR_abstractmetamodel___MMModule___name))(variable1) /*MMModule::name*/;
-    ((array___AbstractArray___add_t)CALL(variable0,COLOR_abstract_collection___SimpleCollection___add))(variable0, variable1) /*Array::add*/;
-    variable2 = ((abstractmetamodel___MMLocalProperty___concrete_property_t)CALL( self,COLOR_abstractmetamodel___MMLocalProperty___concrete_property))( self) /*MMLocalProperty::concrete_property*/;
-    variable2 = ((abstractmetamodel___MMLocalProperty___local_class_t)CALL(variable2,COLOR_abstractmetamodel___MMLocalProperty___local_class))(variable2) /*MMConcreteProperty::local_class*/;
+    ((array___AbstractArray___add_t)CALL(variable0,COLOR_abstract_collection___SimpleCollection___add))(variable0, variable1) /*AbstractArray::add*/;
+    variable2 = ((abstractmetamodel___MMLocalProperty___local_class_t)CALL( self,COLOR_abstractmetamodel___MMLocalProperty___local_class))( self) /*MMLocalProperty::local_class*/;
     variable2 = ((abstractmetamodel___MMLocalClass___name_t)CALL(variable2,COLOR_abstractmetamodel___MMLocalClass___name))(variable2) /*MMLocalClass::name*/;
-    ((array___AbstractArray___add_t)CALL(variable0,COLOR_abstract_collection___SimpleCollection___add))(variable0, variable2) /*Array::add*/;
+    ((array___AbstractArray___add_t)CALL(variable0,COLOR_abstract_collection___SimpleCollection___add))(variable0, variable2) /*AbstractArray::add*/;
     variable3 = ((abstractmetamodel___MMLocalProperty___name_t)CALL( self,COLOR_abstractmetamodel___MMLocalProperty___name))( self) /*MMLocalProperty::name*/;
-    ((array___AbstractArray___add_t)CALL(variable0,COLOR_abstract_collection___SimpleCollection___add))(variable0, variable3) /*Array::add*/;
-    variable0 = ((utils___Object___cmangle_t)CALL( self,COLOR_utils___Object___cmangle))( self, variable0) /*MMLocalProperty::cmangle*/;
+    ((array___AbstractArray___add_t)CALL(variable0,COLOR_abstract_collection___SimpleCollection___add))(variable0, variable3) /*AbstractArray::add*/;
+    variable0 = ((utils___Object___cmangle_t)CALL( self,COLOR_utils___Object___cmangle))( self, variable0) /*Object::cmangle*/;
     ATTR_compiling_base___MMLocalProperty____cname_cache( self) /*MMLocalProperty::_cname_cache*/ = variable0;
   }
   variable0 = ATTR_compiling_base___MMLocalProperty____cname_cache( self) /*MMLocalProperty::_cname_cache*/;
@@ -979,7 +977,7 @@ val_t compiling_base___MMLocalProperty___cname(val_t  self) {
   return variable0;
 }
 val_t compiling_base___MMLocalProperty___color_id_for_super(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_compiling_base___MMLocalProperty___color_id_for_super, 298};
+  struct trace_t trace = {NULL, LOCATE_compiling_base, 298, LOCATE_compiling_base___MMLocalProperty___color_id_for_super};
   val_t variable0;
   val_t variable1;
   val_t variable2;