Update c_src. Enable one gcc pass bootstrap.
[nit.git] / c_src / static_type._sep.c
index 8278f7d..4e613e3 100644 (file)
@@ -1,9 +1,10 @@
 /* This C file is generated by NIT to compile module static_type. */
 #include "static_type._sep.h"
 val_t static_type___MMLocalClass___get_type(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 27, LOCATE_static_type___MMLocalClass___get_type};
+  struct trace_t trace = {NULL, NULL, 27, LOCATE_static_type___MMLocalClass___get_type};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = ATTR_static_type___MMLocalClass____base_type_cache( self) /*MMLocalClass::_base_type_cache*/;
   variable0 = TAG_Bool((variable0 ==  NIT_NULL /*null*/) || ((variable0 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable0, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))(variable0,  NIT_NULL /*null*/) /*Object::==*/)))));
   if (UNTAG_Bool(variable0)) { /*if*/
@@ -17,11 +18,12 @@ val_t static_type___MMLocalClass___get_type(val_t  self) {
   return variable0;
 }
 void static_type___MMLocalClass___add_ancestor(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 34, LOCATE_static_type___MMLocalClass___add_ancestor};
+  struct trace_t trace = {NULL, NULL, 34, LOCATE_static_type___MMLocalClass___add_ancestor};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = ATTR_static_type___MMLocalClass____ancestors( self) /*MMLocalClass::_ancestors*/;
   variable2 = ((static_type___MMAncestor___local_class_t)CALL( variable0 /*a*/,COLOR_static_type___MMAncestor___local_class))( variable0 /*a*/) /*MMAncestor::local_class*/;
@@ -37,16 +39,18 @@ void static_type___MMLocalClass___add_ancestor(val_t  self, val_t  param0) {
   return;
 }
 val_t static_type___MMLocalClass___ancestors(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 42, LOCATE_static_type___MMLocalClass___ancestors};
+  struct trace_t trace = {NULL, NULL, 42, LOCATE_static_type___MMLocalClass___ancestors};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMLocalClass____ancestors( self) /*MMLocalClass::_ancestors*/;
 }
 val_t static_type___MMLocalClass___ancestor(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 45, LOCATE_static_type___MMLocalClass___ancestor};
+  struct trace_t trace = {NULL, NULL, 45, LOCATE_static_type___MMLocalClass___ancestor};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = ATTR_static_type___MMLocalClass____ancestors( self) /*MMLocalClass::_ancestors*/;
   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::==*/)))))));
@@ -66,24 +70,27 @@ val_t static_type___MMLocalClass___ancestor(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t static_type___MMLocalProperty___signature(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 57, LOCATE_static_type___MMLocalProperty___signature};
+  struct trace_t trace = {NULL, NULL, 57, LOCATE_static_type___MMLocalProperty___signature};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMLocalProperty____signature( self) /*MMLocalProperty::_signature*/;
 }
 void static_type___MMLocalProperty___signature__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 57, LOCATE_static_type___MMLocalProperty___signature__eq};
+  struct trace_t trace = {NULL, NULL, 57, LOCATE_static_type___MMLocalProperty___signature__eq};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   ATTR_static_type___MMLocalProperty____signature( self) /*MMLocalProperty::_signature*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t static_type___MMLocalProperty___signature_for(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 62, LOCATE_static_type___MMLocalProperty___signature_for};
+  struct trace_t trace = {NULL, NULL, 62, LOCATE_static_type___MMLocalProperty___signature_for};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = ((abstractmetamodel___MMLocalProperty___local_class_t)CALL( self,COLOR_abstractmetamodel___MMLocalProperty___local_class))( self) /*MMLocalProperty::local_class*/;
   variable1 = ((static_type___MMLocalClass___get_type_t)CALL(variable1,COLOR_static_type___MMLocalClass___get_type))(variable1) /*MMLocalClass::get_type*/;
@@ -111,21 +118,24 @@ val_t static_type___MMLocalProperty___signature_for(val_t  self, val_t  param0)
   return variable1;
 }
 val_t static_type___MMSignature___recv(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 76, LOCATE_static_type___MMSignature___recv};
+  struct trace_t trace = {NULL, NULL, 76, LOCATE_static_type___MMSignature___recv};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMSignature____recv( self) /*MMSignature::_recv*/;
 }
 val_t static_type___MMSignature___return_type(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 82, LOCATE_static_type___MMSignature___return_type};
+  struct trace_t trace = {NULL, NULL, 82, LOCATE_static_type___MMSignature___return_type};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMSignature____return_type( self) /*MMSignature::_return_type*/;
 }
 val_t static_type___MMSignature___arity(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 85, LOCATE_static_type___MMSignature___arity};
+  struct trace_t trace = {NULL, NULL, 85, LOCATE_static_type___MMSignature___arity};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = ATTR_static_type___MMSignature____params( self) /*MMSignature::_params*/;
   variable0 = TAG_Bool(!UNTAG_Bool(TAG_Bool((variable0 ==  NIT_NULL /*null*/) || ((variable0 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable0, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))(variable0,  NIT_NULL /*null*/) /*Object::==*/)))))));
   if (!UNTAG_Bool(variable0)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMSignature___arity, LOCATE_static_type, 88); nit_exit(1);}
@@ -137,13 +147,14 @@ val_t static_type___MMSignature___arity(val_t  self) {
   return variable0;
 }
 val_t static_type___MMSignature_____l(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 92, LOCATE_static_type___MMSignature_____l};
+  struct trace_t trace = {NULL, NULL, 92, LOCATE_static_type___MMSignature_____l};
   val_t variable0;
   val_t variable1;
   val_t variable2;
     val_t variable3;
     val_t variable4;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*s*/ ==  NIT_NULL /*null*/) || (( variable0 /*s*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*s*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*s*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*s*/,COLOR_kernel___Object_____eqeq))( variable0 /*s*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
   if (!UNTAG_Bool(variable1)) { fprintf(stderr, "Assert%s failed", ""); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMSignature_____l, LOCATE_static_type, 95); nit_exit(1);}
@@ -214,13 +225,14 @@ val_t static_type___MMSignature_____l(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t static_type___MMSignature_____bra(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 113, LOCATE_static_type___MMSignature_____bra};
+  struct trace_t trace = {NULL, NULL, 113, LOCATE_static_type___MMSignature_____bra};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   val_t variable3;
   val_t variable4;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = ATTR_static_type___MMSignature____params( self) /*MMSignature::_params*/;
   variable1 = ((array___AbstractArray___length_t)CALL(variable1,COLOR_abstract_collection___Collection___length))(variable1) /*AbstractArray::length*/;
@@ -249,7 +261,7 @@ val_t static_type___MMSignature_____bra(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t static_type___MMSignature___to_s(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 120, LOCATE_static_type___MMSignature___to_s};
+  struct trace_t trace = {NULL, NULL, 120, LOCATE_static_type___MMSignature___to_s};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -261,6 +273,7 @@ val_t static_type___MMSignature___to_s(val_t  self) {
       val_t variable8;
       val_t variable9;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = NIT_NULL /*decl variable s*/;
   variable1 = ATTR_static_type___MMSignature____params( self) /*MMSignature::_params*/;
   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::==*/)))))));
@@ -350,7 +363,7 @@ val_t static_type___MMSignature___to_s(val_t  self) {
   return variable0;
 }
 val_t static_type___MMSignature___adaptation_to(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 142, LOCATE_static_type___MMSignature___adaptation_to};
+  struct trace_t trace = {NULL, NULL, 142, LOCATE_static_type___MMSignature___adaptation_to};
   val_t variable0;
   val_t variable1;
   val_t variable2;
@@ -358,6 +371,7 @@ val_t static_type___MMSignature___adaptation_to(val_t  self, val_t  param0) {
       val_t variable4;
       val_t variable5;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = ATTR_static_type___MMSignature____recv( self) /*MMSignature::_recv*/;
   variable1 = TAG_Bool((variable1 ==  variable0 /*r*/) || ((variable1 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable1, variable0 /*r*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable1,COLOR_kernel___Object_____eqeq))(variable1,  variable0 /*r*/) /*Object::==*/)))));
@@ -403,12 +417,13 @@ val_t static_type___MMSignature___adaptation_to(val_t  self, val_t  param0) {
   return variable1;
 }
 void static_type___MMSignature___init(val_t  self, val_t  param0, val_t  param1, val_t  param2, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 163, LOCATE_static_type___MMSignature___init};
+  struct trace_t trace = {NULL, NULL, 163, LOCATE_static_type___MMSignature___init};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   val_t variable3;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 =  param1;
   variable2 =  param2;
@@ -423,36 +438,41 @@ void static_type___MMSignature___init(val_t  self, val_t  param0, val_t  param1,
   return;
 }
 val_t static_type___MMAncestor___stype(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 174, LOCATE_static_type___MMAncestor___stype};
+  struct trace_t trace = {NULL, NULL, 174, LOCATE_static_type___MMAncestor___stype};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMAncestor____stype( self) /*MMAncestor::_stype*/;
 }
 void static_type___MMAncestor___stype__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 174, LOCATE_static_type___MMAncestor___stype__eq};
+  struct trace_t trace = {NULL, NULL, 174, LOCATE_static_type___MMAncestor___stype__eq};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   ATTR_static_type___MMAncestor____stype( self) /*MMAncestor::_stype*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t static_type___MMAncestor___inheriter(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 177, LOCATE_static_type___MMAncestor___inheriter};
+  struct trace_t trace = {NULL, NULL, 177, LOCATE_static_type___MMAncestor___inheriter};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMAncestor____inheriter( self) /*MMAncestor::_inheriter*/;
 }
 void static_type___MMAncestor___inheriter__eq(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 177, LOCATE_static_type___MMAncestor___inheriter__eq};
+  struct trace_t trace = {NULL, NULL, 177, LOCATE_static_type___MMAncestor___inheriter__eq};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   ATTR_static_type___MMAncestor____inheriter( self) /*MMAncestor::_inheriter*/ =  param0;
   tracehead = trace.prev;
   return;
 }
 val_t static_type___MMAncestor___is_reffinement(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 180, LOCATE_static_type___MMAncestor___is_reffinement};
+  struct trace_t trace = {NULL, NULL, 180, LOCATE_static_type___MMAncestor___is_reffinement};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = ((static_type___MMAncestor___stype_t)CALL( self,COLOR_static_type___MMAncestor___stype))( self) /*MMAncestor::stype*/;
   variable0 = ((static_type___MMType___module_t)CALL(variable0,COLOR_static_type___MMType___module))(variable0) /*MMType::module*/;
   variable1 = ((static_type___MMAncestor___stype_t)CALL( self,COLOR_static_type___MMAncestor___stype))( self) /*MMAncestor::stype*/;
@@ -464,10 +484,11 @@ val_t static_type___MMAncestor___is_reffinement(val_t  self) {
   return variable0;
 }
 val_t static_type___MMAncestor___is_specialisation(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 184, LOCATE_static_type___MMAncestor___is_specialisation};
+  struct trace_t trace = {NULL, NULL, 184, LOCATE_static_type___MMAncestor___is_specialisation};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = ((static_type___MMAncestor___stype_t)CALL( self,COLOR_static_type___MMAncestor___stype))( self) /*MMAncestor::stype*/;
   variable0 = ((static_type___MMType___local_class_t)CALL(variable0,COLOR_static_type___MMType___local_class))(variable0) /*MMType::local_class*/;
   variable0 = ((abstractmetamodel___MMLocalClass___global_t)CALL(variable0,COLOR_abstractmetamodel___MMLocalClass___global))(variable0) /*MMLocalClass::global*/;
@@ -481,8 +502,9 @@ val_t static_type___MMAncestor___is_specialisation(val_t  self) {
   return variable0;
 }
 val_t static_type___MMAncestor___local_class(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 188, LOCATE_static_type___MMAncestor___local_class};
+  struct trace_t trace = {NULL, NULL, 188, LOCATE_static_type___MMAncestor___local_class};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___is_specialisation, LOCATE_static_type, 188);
   nit_exit(1);
@@ -490,9 +512,10 @@ val_t static_type___MMAncestor___local_class(val_t  self) {
   return NIT_NULL;
 }
 val_t static_type___MMAncestor___to_s(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 191, LOCATE_static_type___MMAncestor___to_s};
+  struct trace_t trace = {NULL, NULL, 191, LOCATE_static_type___MMAncestor___to_s};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = ((static_type___MMAncestor___stype_t)CALL( self,COLOR_static_type___MMAncestor___stype))( self) /*MMAncestor::stype*/;
   variable0 = TAG_Bool((variable0 ==  NIT_NULL /*null*/) || ((variable0 != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN(variable0, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL(variable0,COLOR_kernel___Object_____eqeq))(variable0,  NIT_NULL /*null*/) /*Object::==*/)))));
   if (UNTAG_Bool(variable0)) { /*if*/
@@ -509,8 +532,9 @@ val_t static_type___MMAncestor___to_s(val_t  self) {
   return variable0;
 }
 val_t static_type___MMType___module(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 204, LOCATE_static_type___MMType___module};
+  struct trace_t trace = {NULL, NULL, 204, LOCATE_static_type___MMType___module};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___to_s, LOCATE_static_type, 204);
   nit_exit(1);
@@ -518,8 +542,9 @@ val_t static_type___MMType___module(val_t  self) {
   return NIT_NULL;
 }
 val_t static_type___MMType___local_class(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 207, LOCATE_static_type___MMType___local_class};
+  struct trace_t trace = {NULL, NULL, 207, LOCATE_static_type___MMType___local_class};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___to_s, LOCATE_static_type, 207);
   nit_exit(1);
@@ -527,8 +552,9 @@ val_t static_type___MMType___local_class(val_t  self) {
   return NIT_NULL;
 }
 val_t static_type___MMType_____l(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 210, LOCATE_static_type___MMType_____l};
+  struct trace_t trace = {NULL, NULL, 210, LOCATE_static_type___MMType_____l};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___to_s, LOCATE_static_type, 210);
   nit_exit(1);
@@ -536,8 +562,9 @@ val_t static_type___MMType_____l(val_t  self, val_t  param0) {
   return NIT_NULL;
 }
 val_t static_type___MMType___is_supertype(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 213, LOCATE_static_type___MMType___is_supertype};
+  struct trace_t trace = {NULL, NULL, 213, LOCATE_static_type___MMType___is_supertype};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___to_s, LOCATE_static_type, 213);
   nit_exit(1);
@@ -545,8 +572,9 @@ val_t static_type___MMType___is_supertype(val_t  self, val_t  param0) {
   return NIT_NULL;
 }
 val_t static_type___MMType___for_module(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 218, LOCATE_static_type___MMType___for_module};
+  struct trace_t trace = {NULL, NULL, 218, LOCATE_static_type___MMType___for_module};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___to_s, LOCATE_static_type, 218);
   nit_exit(1);
@@ -554,8 +582,9 @@ val_t static_type___MMType___for_module(val_t  self, val_t  param0) {
   return NIT_NULL;
 }
 val_t static_type___MMType___adapt_to(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 221, LOCATE_static_type___MMType___adapt_to};
+  struct trace_t trace = {NULL, NULL, 221, LOCATE_static_type___MMType___adapt_to};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___to_s, LOCATE_static_type, 221);
   nit_exit(1);
@@ -563,8 +592,9 @@ val_t static_type___MMType___adapt_to(val_t  self, val_t  param0) {
   return NIT_NULL;
 }
 val_t static_type___MMType___upcast_for(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 225, LOCATE_static_type___MMType___upcast_for};
+  struct trace_t trace = {NULL, NULL, 225, LOCATE_static_type___MMType___upcast_for};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Deferred method %s called");
   fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMAncestor___to_s, LOCATE_static_type, 225);
   nit_exit(1);
@@ -572,9 +602,10 @@ val_t static_type___MMType___upcast_for(val_t  self, val_t  param0) {
   return NIT_NULL;
 }
 val_t static_type___MMType___not_for_self(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 229, LOCATE_static_type___MMType___not_for_self};
+  struct trace_t trace = {NULL, NULL, 229, LOCATE_static_type___MMType___not_for_self};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  self;
   goto return_label18;
   return_label18: while(false);
@@ -582,15 +613,17 @@ val_t static_type___MMType___not_for_self(val_t  self) {
   return variable0;
 }
 val_t static_type___MMTypeClass___local_class(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 236, LOCATE_static_type___MMTypeClass___local_class};
+  struct trace_t trace = {NULL, NULL, 236, LOCATE_static_type___MMTypeClass___local_class};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMTypeClass____local_class( self) /*MMTypeClass::_local_class*/;
 }
 val_t static_type___MMTypeClass___module(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 237, LOCATE_static_type___MMTypeClass___module};
+  struct trace_t trace = {NULL, NULL, 237, LOCATE_static_type___MMTypeClass___module};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = ATTR_static_type___MMTypeClass____local_class( self) /*MMTypeClass::_local_class*/;
   variable0 = ((abstractmetamodel___MMLocalClass___module_t)CALL(variable0,COLOR_abstractmetamodel___MMLocalClass___module))(variable0) /*MMLocalClass::module*/;
   goto return_label19;
@@ -599,11 +632,12 @@ val_t static_type___MMTypeClass___module(val_t  self) {
   return variable0;
 }
 val_t static_type___MMTypeClass_____l(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 238, LOCATE_static_type___MMTypeClass_____l};
+  struct trace_t trace = {NULL, NULL, 238, LOCATE_static_type___MMTypeClass_____l};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = TAG_Bool(!UNTAG_Bool(TAG_Bool(( variable0 /*t*/ ==  NIT_NULL /*null*/) || (( variable0 /*t*/ != NIT_NULL) && ((((kernel___Object_____eqeq_t)CALL( variable0 /*t*/,COLOR_kernel___Object_____eqeq))==kernel___Object_____eqeq)?(IS_EQUAL_NN( variable0 /*t*/, NIT_NULL /*null*/)):(UNTAG_Bool(((kernel___Object_____eqeq_t)CALL( variable0 /*t*/,COLOR_kernel___Object_____eqeq))( variable0 /*t*/,  NIT_NULL /*null*/) /*Object::==*/)))))));
   variable2 = variable1;
@@ -617,9 +651,10 @@ val_t static_type___MMTypeClass_____l(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t static_type___MMTypeClass___to_s(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 240, LOCATE_static_type___MMTypeClass___to_s};
+  struct trace_t trace = {NULL, NULL, 240, LOCATE_static_type___MMTypeClass___to_s};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 = ATTR_static_type___MMTypeClass____local_class( self) /*MMTypeClass::_local_class*/;
   variable0 = ((abstractmetamodel___MMLocalClass___to_s_t)CALL(variable0,COLOR_string___Object___to_s))(variable0) /*MMLocalClass::to_s*/;
   goto return_label21;
@@ -628,11 +663,12 @@ val_t static_type___MMTypeClass___to_s(val_t  self) {
   return variable0;
 }
 val_t static_type___MMTypeClass___upcast_for(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 245, LOCATE_static_type___MMTypeClass___upcast_for};
+  struct trace_t trace = {NULL, NULL, 245, LOCATE_static_type___MMTypeClass___upcast_for};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = ATTR_static_type___MMTypeClass____local_class( self) /*MMTypeClass::_local_class*/;
   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::==*/)))))));
@@ -656,9 +692,10 @@ val_t static_type___MMTypeClass___upcast_for(val_t  self, val_t  param0) {
   return variable1;
 }
 void static_type___MMTypeClass___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 258, LOCATE_static_type___MMTypeClass___init};
+  struct trace_t trace = {NULL, NULL, 258, LOCATE_static_type___MMTypeClass___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_MMTypeClass].i]) return;
   ATTR_static_type___MMTypeClass____local_class( self) /*MMTypeClass::_local_class*/ =  variable0 /*c*/;
@@ -667,11 +704,12 @@ void static_type___MMTypeClass___init(val_t  self, val_t  param0, int* init_tabl
   return;
 }
 val_t static_type___MMTypeSimpleClass___is_supertype(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 266, LOCATE_static_type___MMTypeSimpleClass___is_supertype};
+  struct trace_t trace = {NULL, NULL, 266, LOCATE_static_type___MMTypeSimpleClass___is_supertype};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 = ((static_type___MMType___local_class_t)CALL( variable0 /*t*/,COLOR_static_type___MMType___local_class))( variable0 /*t*/) /*MMType::local_class*/;
   variable1 = ((abstractmetamodel___MMLocalClass___cshe_t)CALL(variable1,COLOR_abstractmetamodel___MMLocalClass___cshe))(variable1) /*MMLocalClass::cshe*/;
@@ -683,11 +721,12 @@ val_t static_type___MMTypeSimpleClass___is_supertype(val_t  self, val_t  param0)
   return variable1;
 }
 val_t static_type___MMTypeSimpleClass___for_module(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 271, LOCATE_static_type___MMTypeSimpleClass___for_module};
+  struct trace_t trace = {NULL, NULL, 271, LOCATE_static_type___MMTypeSimpleClass___for_module};
   val_t variable0;
   val_t variable1;
   val_t variable2;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 =  self;
   variable2 = ((static_type___MMTypeClass___module_t)CALL( self,COLOR_static_type___MMType___module))( self) /*MMTypeClass::module*/;
@@ -707,10 +746,11 @@ val_t static_type___MMTypeSimpleClass___for_module(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t static_type___MMTypeSimpleClass___adapt_to(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 281, LOCATE_static_type___MMTypeSimpleClass___adapt_to};
+  struct trace_t trace = {NULL, NULL, 281, LOCATE_static_type___MMTypeSimpleClass___adapt_to};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 =  self;
   goto return_label26;
@@ -719,9 +759,10 @@ val_t static_type___MMTypeSimpleClass___adapt_to(val_t  self, val_t  param0) {
   return variable1;
 }
 void static_type___MMTypeSimpleClass___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 283, LOCATE_static_type___MMTypeSimpleClass___init};
+  struct trace_t trace = {NULL, NULL, 283, LOCATE_static_type___MMTypeSimpleClass___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_MMTypeSimpleClass].i]) return;
   ((static_type___MMTypeClass___init_t)CALL( self,COLOR_static_type___MMTypeClass___init))( self,  variable0 /*c*/, init_table /*YYY*/) /*MMTypeClass::init*/;
@@ -730,16 +771,18 @@ void static_type___MMTypeSimpleClass___init(val_t  self, val_t  param0, int* ini
   return;
 }
 val_t static_type___MMTypeNone___module(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 292, LOCATE_static_type___MMTypeNone___module};
+  struct trace_t trace = {NULL, NULL, 292, LOCATE_static_type___MMTypeNone___module};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMTypeNone____module( self) /*MMTypeNone::_module*/;
 }
 val_t static_type___MMTypeNone_____l(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 293, LOCATE_static_type___MMTypeNone_____l};
+  struct trace_t trace = {NULL, NULL, 293, LOCATE_static_type___MMTypeNone_____l};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 =  TAG_Bool(true);
   goto return_label28;
@@ -748,10 +791,11 @@ val_t static_type___MMTypeNone_____l(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t static_type___MMTypeNone___is_supertype(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 294, LOCATE_static_type___MMTypeNone___is_supertype};
+  struct trace_t trace = {NULL, NULL, 294, LOCATE_static_type___MMTypeNone___is_supertype};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 =  TAG_Bool(false);
   goto return_label29;
@@ -760,18 +804,20 @@ val_t static_type___MMTypeNone___is_supertype(val_t  self, val_t  param0) {
   return variable1;
 }
 val_t static_type___MMTypeNone___local_class(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 295, LOCATE_static_type___MMTypeNone___local_class};
+  struct trace_t trace = {NULL, NULL, 295, LOCATE_static_type___MMTypeNone___local_class};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   fprintf(stderr, "Aborted"); fprintf(stderr, " in %s (%s:%d)\n", LOCATE_static_type___MMTypeNone___local_class, LOCATE_static_type, 295); nit_exit(1);
   tracehead = trace.prev;
   return variable0;
 }
 val_t static_type___MMTypeNone___upcast_for(val_t  self, val_t  param0) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 296, LOCATE_static_type___MMTypeNone___upcast_for};
+  struct trace_t trace = {NULL, NULL, 296, LOCATE_static_type___MMTypeNone___upcast_for};
   val_t variable0;
   val_t variable1;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   variable1 =  self;
   goto return_label31;
@@ -780,9 +826,10 @@ val_t static_type___MMTypeNone___upcast_for(val_t  self, val_t  param0) {
   return variable1;
 }
 void static_type___MMTypeNone___init(val_t  self, val_t  param0, int* init_table) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 298, LOCATE_static_type___MMTypeNone___init};
+  struct trace_t trace = {NULL, NULL, 298, LOCATE_static_type___MMTypeNone___init};
   val_t variable0;
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   variable0 =  param0;
   if (init_table[VAL2OBJ( self)->vft[INIT_TABLE_POS_MMTypeNone].i]) return;
   ATTR_static_type___MMTypeNone____module( self) /*MMTypeNone::_module*/ =  variable0 /*m*/;
@@ -791,8 +838,9 @@ void static_type___MMTypeNone___init(val_t  self, val_t  param0, int* init_table
   return;
 }
 val_t static_type___MMModule___type_none(val_t  self) {
-  struct trace_t trace = {NULL, LOCATE_static_type, 302, LOCATE_static_type___MMModule___type_none};
+  struct trace_t trace = {NULL, NULL, 302, LOCATE_static_type___MMModule___type_none};
   trace.prev = tracehead; tracehead = &trace;
+  trace.file = LOCATE_static_type;
   tracehead = trace.prev;
   return ATTR_static_type___MMModule____type_none( self) /*MMModule::_type_none*/;
 }