+var220 = " (";
+var221 = 2;
+var222 = string__NativeString__to_s_with_length(var220, var221);
+var219 = var222;
+varonce218 = var219;
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#count_type_test_resolved (self) on <self:AbstractCompiler> */
+var225 = self->attrs[COLOR_abstract_compiler__AbstractCompiler___count_type_test_resolved].val; /* _count_type_test_resolved on <self:AbstractCompiler> */
+if (unlikely(var225 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _count_type_test_resolved");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 889);
+show_backtrace(1);
+}
+var223 = var225;
+RET_LABEL224:(void)0;
+}
+}
+{
+var226 = hash_collection__HashMap___91d_93d(var223, var_tag205);
+}
+{
+var228 = ((struct instance_kernel__Int*)var226)->value; /* autounbox from nullable Object to Int */;
+var227 = abstract_compiler__AbstractCompiler__div(self, var228, var_count_type_test);
+}
+if (varonce229) {
+var230 = varonce229;
+} else {
+var231 = "%)";
+var232 = 2;
+var233 = string__NativeString__to_s_with_length(var231, var232);
+var230 = var233;
+varonce229 = var230;
+}
+var234 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var234 = array_instance Array[Object] */
+var235 = 5;
+var236 = NEW_array__NativeArray(var235, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var236)->values[0] = (val*) var210;
+((struct instance_array__NativeArray*)var236)->values[1] = (val*) var217;
+((struct instance_array__NativeArray*)var236)->values[2] = (val*) var219;
+((struct instance_array__NativeArray*)var236)->values[3] = (val*) var227;
+((struct instance_array__NativeArray*)var236)->values[4] = (val*) var230;
+{
+((void (*)(val*, val*, long))(var234->class->vft[COLOR_array__Array__with_native]))(var234, var236, var235) /* with_native on <var234:Array[Object]>*/;
+}
+}
+{
+var237 = ((val* (*)(val*))(var234->class->vft[COLOR_string__Object__to_s]))(var234) /* to_s on <var234:Array[Object]>*/;
+}
+var238 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var238 = array_instance Array[Object] */
+var239 = 1;
+var240 = NEW_array__NativeArray(var239, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var240)->values[0] = (val*) var237;
+{
+((void (*)(val*, val*, long))(var238->class->vft[COLOR_array__Array__with_native]))(var238, var240, var239) /* with_native on <var238:Array[Object]>*/;
+}
+}
+{
+file__Object__printn(self, var238); /* Direct call file#Object#printn on <self:AbstractCompiler>*/
+}
+if (varonce241) {
+var242 = varonce241;
+} else {
+var243 = "\11";
+var244 = 1;
+var245 = string__NativeString__to_s_with_length(var243, var244);
+var242 = var245;
+varonce241 = var242;
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#count_type_test_unresolved (self) on <self:AbstractCompiler> */
+var248 = self->attrs[COLOR_abstract_compiler__AbstractCompiler___count_type_test_unresolved].val; /* _count_type_test_unresolved on <self:AbstractCompiler> */
+if (unlikely(var248 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _count_type_test_unresolved");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 890);
+show_backtrace(1);
+}
+var246 = var248;
+RET_LABEL247:(void)0;
+}
+}
+{
+var249 = hash_collection__HashMap___91d_93d(var246, var_tag205);
+}
+if (varonce250) {
+var251 = varonce250;
+} else {
+var252 = " (";
+var253 = 2;
+var254 = string__NativeString__to_s_with_length(var252, var253);
+var251 = var254;
+varonce250 = var251;
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#count_type_test_unresolved (self) on <self:AbstractCompiler> */
+var257 = self->attrs[COLOR_abstract_compiler__AbstractCompiler___count_type_test_unresolved].val; /* _count_type_test_unresolved on <self:AbstractCompiler> */
+if (unlikely(var257 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _count_type_test_unresolved");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 890);
+show_backtrace(1);
+}
+var255 = var257;
+RET_LABEL256:(void)0;
+}
+}
+{
+var258 = hash_collection__HashMap___91d_93d(var255, var_tag205);
+}
+{
+var260 = ((struct instance_kernel__Int*)var258)->value; /* autounbox from nullable Object to Int */;
+var259 = abstract_compiler__AbstractCompiler__div(self, var260, var_count_type_test);
+}
+if (varonce261) {
+var262 = varonce261;
+} else {
+var263 = "%)";
+var264 = 2;
+var265 = string__NativeString__to_s_with_length(var263, var264);
+var262 = var265;
+varonce261 = var262;
+}
+var266 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var266 = array_instance Array[Object] */
+var267 = 5;
+var268 = NEW_array__NativeArray(var267, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var268)->values[0] = (val*) var242;
+((struct instance_array__NativeArray*)var268)->values[1] = (val*) var249;
+((struct instance_array__NativeArray*)var268)->values[2] = (val*) var251;
+((struct instance_array__NativeArray*)var268)->values[3] = (val*) var259;
+((struct instance_array__NativeArray*)var268)->values[4] = (val*) var262;
+{
+((void (*)(val*, val*, long))(var266->class->vft[COLOR_array__Array__with_native]))(var266, var268, var267) /* with_native on <var266:Array[Object]>*/;
+}
+}
+{
+var269 = ((val* (*)(val*))(var266->class->vft[COLOR_string__Object__to_s]))(var266) /* to_s on <var266:Array[Object]>*/;
+}
+var270 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var270 = array_instance Array[Object] */
+var271 = 1;
+var272 = NEW_array__NativeArray(var271, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var272)->values[0] = (val*) var269;
+{
+((void (*)(val*, val*, long))(var270->class->vft[COLOR_array__Array__with_native]))(var270, var272, var271) /* with_native on <var270:Array[Object]>*/;
+}
+}
+{
+file__Object__printn(self, var270); /* Direct call file#Object#printn on <self:AbstractCompiler>*/
+}
+if (varonce273) {
+var274 = varonce273;
+} else {
+var275 = "\11";
+var276 = 1;
+var277 = string__NativeString__to_s_with_length(var275, var276);
+var274 = var277;
+varonce273 = var274;
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#count_type_test_skipped (self) on <self:AbstractCompiler> */
+var280 = self->attrs[COLOR_abstract_compiler__AbstractCompiler___count_type_test_skipped].val; /* _count_type_test_skipped on <self:AbstractCompiler> */
+if (unlikely(var280 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _count_type_test_skipped");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 891);
+show_backtrace(1);
+}
+var278 = var280;
+RET_LABEL279:(void)0;
+}
+}
+{
+var281 = hash_collection__HashMap___91d_93d(var278, var_tag205);
+}
+if (varonce282) {
+var283 = varonce282;
+} else {
+var284 = " (";
+var285 = 2;
+var286 = string__NativeString__to_s_with_length(var284, var285);
+var283 = var286;
+varonce282 = var283;
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#count_type_test_skipped (self) on <self:AbstractCompiler> */
+var289 = self->attrs[COLOR_abstract_compiler__AbstractCompiler___count_type_test_skipped].val; /* _count_type_test_skipped on <self:AbstractCompiler> */
+if (unlikely(var289 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _count_type_test_skipped");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 891);
+show_backtrace(1);
+}
+var287 = var289;
+RET_LABEL288:(void)0;
+}
+}
+{
+var290 = hash_collection__HashMap___91d_93d(var287, var_tag205);
+}
+{
+var292 = ((struct instance_kernel__Int*)var290)->value; /* autounbox from nullable Object to Int */;
+var291 = abstract_compiler__AbstractCompiler__div(self, var292, var_count_type_test);
+}
+if (varonce293) {
+var294 = varonce293;
+} else {
+var295 = "%)";
+var296 = 2;
+var297 = string__NativeString__to_s_with_length(var295, var296);
+var294 = var297;
+varonce293 = var294;
+}
+var298 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var298 = array_instance Array[Object] */
+var299 = 5;
+var300 = NEW_array__NativeArray(var299, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var300)->values[0] = (val*) var274;
+((struct instance_array__NativeArray*)var300)->values[1] = (val*) var281;
+((struct instance_array__NativeArray*)var300)->values[2] = (val*) var283;
+((struct instance_array__NativeArray*)var300)->values[3] = (val*) var291;
+((struct instance_array__NativeArray*)var300)->values[4] = (val*) var294;
+{
+((void (*)(val*, val*, long))(var298->class->vft[COLOR_array__Array__with_native]))(var298, var300, var299) /* with_native on <var298:Array[Object]>*/;
+}
+}
+{
+var301 = ((val* (*)(val*))(var298->class->vft[COLOR_string__Object__to_s]))(var298) /* to_s on <var298:Array[Object]>*/;
+}
+var302 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var302 = array_instance Array[Object] */
+var303 = 1;
+var304 = NEW_array__NativeArray(var303, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var304)->values[0] = (val*) var301;
+{
+((void (*)(val*, val*, long))(var302->class->vft[COLOR_array__Array__with_native]))(var302, var304, var303) /* with_native on <var302:Array[Object]>*/;
+}
+}
+{
+file__Object__printn(self, var302); /* Direct call file#Object#printn on <self:AbstractCompiler>*/
+}
+if (varonce305) {
+var306 = varonce305;
+} else {
+var307 = "\11";
+var308 = 1;
+var309 = string__NativeString__to_s_with_length(var307, var308);
+var306 = var309;
+varonce305 = var306;
+}
+{
+var310 = hash_collection__HashMap___91d_93d(var_count_type_test_total, var_tag205);
+}
+if (varonce311) {
+var312 = varonce311;
+} else {
+var313 = " (";
+var314 = 2;
+var315 = string__NativeString__to_s_with_length(var313, var314);
+var312 = var315;
+varonce311 = var312;
+}
+{
+var316 = hash_collection__HashMap___91d_93d(var_count_type_test_total, var_tag205);
+}
+{
+var318 = ((struct instance_kernel__Int*)var316)->value; /* autounbox from nullable Object to Int */;
+var317 = abstract_compiler__AbstractCompiler__div(self, var318, var_count_type_test);
+}
+if (varonce319) {
+var320 = varonce319;
+} else {
+var321 = "%)";
+var322 = 2;
+var323 = string__NativeString__to_s_with_length(var321, var322);
+var320 = var323;
+varonce319 = var320;
+}
+var324 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var324 = array_instance Array[Object] */
+var325 = 5;
+var326 = NEW_array__NativeArray(var325, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var326)->values[0] = (val*) var306;
+((struct instance_array__NativeArray*)var326)->values[1] = (val*) var310;
+((struct instance_array__NativeArray*)var326)->values[2] = (val*) var312;
+((struct instance_array__NativeArray*)var326)->values[3] = (val*) var317;
+((struct instance_array__NativeArray*)var326)->values[4] = (val*) var320;
+{
+((void (*)(val*, val*, long))(var324->class->vft[COLOR_array__Array__with_native]))(var324, var326, var325) /* with_native on <var324:Array[Object]>*/;
+}
+}
+{
+var327 = ((val* (*)(val*))(var324->class->vft[COLOR_string__Object__to_s]))(var324) /* to_s on <var324:Array[Object]>*/;
+}
+var328 = NEW_array__Array(&type_array__Arraykernel__Object);
+{ /* var328 = array_instance Array[Object] */
+var329 = 1;
+var330 = NEW_array__NativeArray(var329, &type_array__NativeArraykernel__Object);
+((struct instance_array__NativeArray*)var330)->values[0] = (val*) var327;
+{
+((void (*)(val*, val*, long))(var328->class->vft[COLOR_array__Array__with_native]))(var328, var330, var329) /* with_native on <var328:Array[Object]>*/;
+}
+}
+{
+file__Object__printn(self, var328); /* Direct call file#Object#printn on <self:AbstractCompiler>*/
+}
+if (varonce331) {
+var332 = varonce331;
+} else {
+var333 = "";
+var334 = 0;
+var335 = string__NativeString__to_s_with_length(var333, var334);
+var332 = var335;
+varonce331 = var332;
+}
+{
+file__Object__print(self, var332); /* Direct call file#Object#print on <self:AbstractCompiler>*/
+}
+CONTINUE_label336: (void)0;
+{
+array__ArrayIterator__next(var202); /* Direct call array#ArrayIterator#next on <var202:ArrayIterator[nullable Object]>*/
+}
+}
+BREAK_label336: (void)0;
+} else {
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompiler#display_stats for (self: Object) */
+void VIRTUAL_abstract_compiler__AbstractCompiler__display_stats(val* self) {
+abstract_compiler__AbstractCompiler__display_stats(self); /* Direct call abstract_compiler#AbstractCompiler#display_stats on <self:Object(AbstractCompiler)>*/
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompiler#finalize_ffi_for_module for (self: AbstractCompiler, MModule) */
+void abstract_compiler__AbstractCompiler__finalize_ffi_for_module(val* self, val* p0) {
+val* var_mmodule /* var mmodule: MModule */;
+val* var_c /* var c: AbstractCompiler */;
+var_mmodule = p0;
+{
+{ /* Inline abstract_compiler#MModule#finalize_ffi (var_mmodule,self) on <var_mmodule:MModule> */
+var_c = self;
+RET_LABEL1:(void)0;
+}
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompiler#finalize_ffi_for_module for (self: Object, MModule) */
+void VIRTUAL_abstract_compiler__AbstractCompiler__finalize_ffi_for_module(val* self, val* p0) {
+abstract_compiler__AbstractCompiler__finalize_ffi_for_module(self, p0); /* Direct call abstract_compiler#AbstractCompiler#finalize_ffi_for_module on <self:Object(AbstractCompiler)>*/
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompiler#div for (self: AbstractCompiler, Int, Int): String */
+val* abstract_compiler__AbstractCompiler__div(val* self, long p0, long p1) {
+val* var /* : String */;
+long var_a /* var a: Int */;
+long var_b /* var b: Int */;
+long var1 /* : Int */;
+short int var2 /* : Bool */;
+short int var3 /* : Bool */;
+short int var5 /* : Bool */;
+static val* varonce;
+val* var6 /* : String */;
+char* var7 /* : NativeString */;
+long var8 /* : Int */;
+val* var9 /* : FlatString */;
+long var10 /* : Int */;
+long var11 /* : Int */;
+short int var13 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+long var14 /* : Int */;
+long var15 /* : Int */;
+short int var17 /* : Bool */;
+int cltype18;
+int idtype19;
+const char* var_class_name20;
+long var21 /* : Int */;
+double var22 /* : Float */;
+double var24 /* : Float */;
+double var25 /* : Float */;
+double var26 /* : Float */;
+short int var28 /* : Bool */;
+int cltype29;
+int idtype30;
+const char* var_class_name31;
+double var32 /* : Float */;
+long var33 /* : Int */;
+val* var34 /* : String */;
+var_a = p0;
+var_b = p1;
+var1 = 0;
+{
+{ /* Inline kernel#Int#== (var_b,var1) on <var_b:Int> */
+var5 = var_b == var1;
+var3 = var5;
+goto RET_LABEL4;
+RET_LABEL4:(void)0;
+}
+var2 = var3;
+}
+if (var2){
+if (varonce) {
+var6 = varonce;
+} else {
+var7 = "n/a";
+var8 = 3;
+var9 = string__NativeString__to_s_with_length(var7, var8);
+var6 = var9;
+varonce = var6;
+}
+var = var6;
+goto RET_LABEL;
+} else {
+}
+var10 = 10000;
+{
+{ /* Inline kernel#Int#* (var_a,var10) on <var_a:Int> */
+/* Covariant cast for argument 0 (i) <var10:Int> isa OTHER */
+/* <var10:Int> isa OTHER */
+var13 = 1; /* easy <var10:Int> isa OTHER*/
+if (unlikely(!var13)) {
+var_class_name = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 332);
+show_backtrace(1);
+}
+var14 = var_a * var10;
+var11 = var14;
+goto RET_LABEL12;
+RET_LABEL12:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#/ (var11,var_b) on <var11:Int> */
+/* Covariant cast for argument 0 (i) <var_b:Int> isa OTHER */
+/* <var_b:Int> isa OTHER */
+var17 = 1; /* easy <var_b:Int> isa OTHER*/
+if (unlikely(!var17)) {
+var_class_name20 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name20);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 333);
+show_backtrace(1);
+}
+var21 = var11 / var_b;
+var15 = var21;
+goto RET_LABEL16;
+RET_LABEL16:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#to_f (var15) on <var15:Int> */
+var24 = (double)var15;
+var22 = var24;
+goto RET_LABEL23;
+RET_LABEL23:(void)0;
+}
+}
+var25 = 100.0;
+{
+{ /* Inline kernel#Float#/ (var22,var25) on <var22:Float> */
+/* Covariant cast for argument 0 (i) <var25:Float> isa OTHER */
+/* <var25:Float> isa OTHER */
+var28 = 1; /* easy <var25:Float> isa OTHER*/
+if (unlikely(!var28)) {
+var_class_name31 = type_kernel__Float.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name31);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 298);
+show_backtrace(1);
+}
+var32 = var22 / var25;
+var26 = var32;
+goto RET_LABEL27;
+RET_LABEL27:(void)0;
+}
+}
+var33 = 2;
+{
+var34 = string__Float__to_precision(var26, var33);
+}
+var = var34;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompiler#div for (self: Object, Int, Int): String */
+val* VIRTUAL_abstract_compiler__AbstractCompiler__div(val* self, long p0, long p1) {
+val* var /* : String */;
+val* var1 /* : String */;
+var1 = abstract_compiler__AbstractCompiler__div(self, p0, p1);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeFile#name for (self: CodeFile): String */
+val* abstract_compiler__CodeFile__name(val* self) {
+val* var /* : String */;
+val* var1 /* : String */;
+var1 = self->attrs[COLOR_abstract_compiler__CodeFile___name].val; /* _name on <self:CodeFile> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 954);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeFile#name for (self: Object): String */
+val* VIRTUAL_abstract_compiler__CodeFile__name(val* self) {
+val* var /* : String */;
+val* var1 /* : String */;
+val* var3 /* : String */;
+{ /* Inline abstract_compiler#CodeFile#name (self) on <self:Object(CodeFile)> */
+var3 = self->attrs[COLOR_abstract_compiler__CodeFile___name].val; /* _name on <self:Object(CodeFile)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _name");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 954);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeFile#writers for (self: CodeFile): Array[CodeWriter] */
+val* abstract_compiler__CodeFile__writers(val* self) {
+val* var /* : Array[CodeWriter] */;
+val* var1 /* : Array[CodeWriter] */;
+var1 = self->attrs[COLOR_abstract_compiler__CodeFile___writers].val; /* _writers on <self:CodeFile> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _writers");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 955);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeFile#writers for (self: Object): Array[CodeWriter] */
+val* VIRTUAL_abstract_compiler__CodeFile__writers(val* self) {
+val* var /* : Array[CodeWriter] */;
+val* var1 /* : Array[CodeWriter] */;
+val* var3 /* : Array[CodeWriter] */;
+{ /* Inline abstract_compiler#CodeFile#writers (self) on <self:Object(CodeFile)> */
+var3 = self->attrs[COLOR_abstract_compiler__CodeFile___writers].val; /* _writers on <self:Object(CodeFile)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _writers");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 955);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeFile#required_declarations for (self: CodeFile): HashSet[String] */
+val* abstract_compiler__CodeFile__required_declarations(val* self) {
+val* var /* : HashSet[String] */;
+val* var1 /* : HashSet[String] */;
+var1 = self->attrs[COLOR_abstract_compiler__CodeFile___required_declarations].val; /* _required_declarations on <self:CodeFile> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _required_declarations");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 956);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeFile#required_declarations for (self: Object): HashSet[String] */
+val* VIRTUAL_abstract_compiler__CodeFile__required_declarations(val* self) {
+val* var /* : HashSet[String] */;
+val* var1 /* : HashSet[String] */;
+val* var3 /* : HashSet[String] */;
+{ /* Inline abstract_compiler#CodeFile#required_declarations (self) on <self:Object(CodeFile)> */
+var3 = self->attrs[COLOR_abstract_compiler__CodeFile___required_declarations].val; /* _required_declarations on <self:Object(CodeFile)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _required_declarations");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 956);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeFile#init for (self: CodeFile, String) */
+void abstract_compiler__CodeFile__init(val* self, val* p0) {
+self->attrs[COLOR_abstract_compiler__CodeFile___name].val = p0; /* _name on <self:CodeFile> */
+RET_LABEL:;
+}
+/* method abstract_compiler#CodeFile#init for (self: Object, String) */
+void VIRTUAL_abstract_compiler__CodeFile__init(val* self, val* p0) {
+{ /* Inline abstract_compiler#CodeFile#init (self,p0) on <self:Object(CodeFile)> */
+self->attrs[COLOR_abstract_compiler__CodeFile___name].val = p0; /* _name on <self:Object(CodeFile)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#CodeWriter#file for (self: CodeWriter): CodeFile */
+val* abstract_compiler__CodeWriter__file(val* self) {
+val* var /* : CodeFile */;
+val* var1 /* : CodeFile */;
+var1 = self->attrs[COLOR_abstract_compiler__CodeWriter___file].val; /* _file on <self:CodeWriter> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _file");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 961);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeWriter#file for (self: Object): CodeFile */
+val* VIRTUAL_abstract_compiler__CodeWriter__file(val* self) {
+val* var /* : CodeFile */;
+val* var1 /* : CodeFile */;
+val* var3 /* : CodeFile */;
+{ /* Inline abstract_compiler#CodeWriter#file (self) on <self:Object(CodeWriter)> */
+var3 = self->attrs[COLOR_abstract_compiler__CodeWriter___file].val; /* _file on <self:Object(CodeWriter)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _file");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 961);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeWriter#file= for (self: CodeWriter, CodeFile) */
+void abstract_compiler__CodeWriter__file_61d(val* self, val* p0) {
+self->attrs[COLOR_abstract_compiler__CodeWriter___file].val = p0; /* _file on <self:CodeWriter> */
+RET_LABEL:;
+}
+/* method abstract_compiler#CodeWriter#file= for (self: Object, CodeFile) */
+void VIRTUAL_abstract_compiler__CodeWriter__file_61d(val* self, val* p0) {
+{ /* Inline abstract_compiler#CodeWriter#file= (self,p0) on <self:Object(CodeWriter)> */
+self->attrs[COLOR_abstract_compiler__CodeWriter___file].val = p0; /* _file on <self:Object(CodeWriter)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#CodeWriter#lines for (self: CodeWriter): List[String] */
+val* abstract_compiler__CodeWriter__lines(val* self) {
+val* var /* : List[String] */;
+val* var1 /* : List[String] */;
+var1 = self->attrs[COLOR_abstract_compiler__CodeWriter___lines].val; /* _lines on <self:CodeWriter> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lines");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 962);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeWriter#lines for (self: Object): List[String] */
+val* VIRTUAL_abstract_compiler__CodeWriter__lines(val* self) {
+val* var /* : List[String] */;
+val* var1 /* : List[String] */;
+val* var3 /* : List[String] */;
+{ /* Inline abstract_compiler#CodeWriter#lines (self) on <self:Object(CodeWriter)> */
+var3 = self->attrs[COLOR_abstract_compiler__CodeWriter___lines].val; /* _lines on <self:Object(CodeWriter)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _lines");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 962);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeWriter#decl_lines for (self: CodeWriter): List[String] */
+val* abstract_compiler__CodeWriter__decl_lines(val* self) {
+val* var /* : List[String] */;
+val* var1 /* : List[String] */;
+var1 = self->attrs[COLOR_abstract_compiler__CodeWriter___decl_lines].val; /* _decl_lines on <self:CodeWriter> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _decl_lines");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 963);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeWriter#decl_lines for (self: Object): List[String] */
+val* VIRTUAL_abstract_compiler__CodeWriter__decl_lines(val* self) {
+val* var /* : List[String] */;
+val* var1 /* : List[String] */;
+val* var3 /* : List[String] */;
+{ /* Inline abstract_compiler#CodeWriter#decl_lines (self) on <self:Object(CodeWriter)> */
+var3 = self->attrs[COLOR_abstract_compiler__CodeWriter___decl_lines].val; /* _decl_lines on <self:Object(CodeWriter)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _decl_lines");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 963);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#CodeWriter#add_decl for (self: CodeWriter, String) */
+void abstract_compiler__CodeWriter__add_decl(val* self, val* p0) {
+val* var_s /* var s: String */;
+val* var /* : List[String] */;
+val* var2 /* : List[String] */;
+var_s = p0;
+{
+{ /* Inline abstract_compiler#CodeWriter#decl_lines (self) on <self:CodeWriter> */
+var2 = self->attrs[COLOR_abstract_compiler__CodeWriter___decl_lines].val; /* _decl_lines on <self:CodeWriter> */
+if (unlikely(var2 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _decl_lines");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 963);
+show_backtrace(1);
+}
+var = var2;
+RET_LABEL1:(void)0;
+}
+}
+{
+abstract_collection__Sequence__add(var, var_s); /* Direct call abstract_collection#Sequence#add on <var:List[String]>*/
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#CodeWriter#add_decl for (self: Object, String) */
+void VIRTUAL_abstract_compiler__CodeWriter__add_decl(val* self, val* p0) {
+abstract_compiler__CodeWriter__add_decl(self, p0); /* Direct call abstract_compiler#CodeWriter#add_decl on <self:Object(CodeWriter)>*/
+RET_LABEL:;
+}
+/* method abstract_compiler#CodeWriter#init for (self: CodeWriter, CodeFile) */
+void abstract_compiler__CodeWriter__init(val* self, val* p0) {
+val* var_file /* var file: CodeFile */;
+val* var /* : Array[CodeWriter] */;
+val* var3 /* : Array[CodeWriter] */;
+var_file = p0;
+{
+{ /* Inline abstract_compiler#CodeWriter#file= (self,var_file) on <self:CodeWriter> */
+self->attrs[COLOR_abstract_compiler__CodeWriter___file].val = var_file; /* _file on <self:CodeWriter> */
+RET_LABEL1:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#CodeFile#writers (var_file) on <var_file:CodeFile> */
+var3 = var_file->attrs[COLOR_abstract_compiler__CodeFile___writers].val; /* _writers on <var_file:CodeFile> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _writers");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 955);
+show_backtrace(1);
+}
+var = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+array__Array__add(var, self); /* Direct call array#Array#add on <var:Array[CodeWriter]>*/
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#CodeWriter#init for (self: Object, CodeFile) */
+void VIRTUAL_abstract_compiler__CodeWriter__init(val* self, val* p0) {
+abstract_compiler__CodeWriter__init(self, p0); /* Direct call abstract_compiler#CodeWriter#init on <self:Object(CodeWriter)>*/
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#compiler for (self: AbstractCompilerVisitor): AbstractCompiler */
+val* abstract_compiler__AbstractCompilerVisitor__compiler(val* self) {
+val* var /* : AbstractCompiler */;
+val* var1 /* : AbstractCompiler */;
+var1 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:AbstractCompilerVisitor> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#compiler for (self: Object): AbstractCompiler */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__compiler(val* self) {
+val* var /* : AbstractCompiler */;
+val* var1 /* : AbstractCompiler */;
+val* var3 /* : AbstractCompiler */;
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler (self) on <self:Object(AbstractCompilerVisitor)> */
+var3 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:Object(AbstractCompilerVisitor)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#compiler= for (self: AbstractCompilerVisitor, AbstractCompiler) */
+void abstract_compiler__AbstractCompilerVisitor__compiler_61d(val* self, val* p0) {
+short int var /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
+/* Covariant cast for argument 0 (compiler) <p0:AbstractCompiler> isa COMPILER */
+/* <p0:AbstractCompiler> isa COMPILER */
+type_struct = self->type->resolution_table->types[COLOR_abstract_compiler__AbstractCompilerVisitor_VTCOMPILER];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= p0->type->table_size) {
+var = 0;
+} else {
+var = p0->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "COMPILER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val = p0; /* _compiler on <self:AbstractCompilerVisitor> */
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#compiler= for (self: Object, AbstractCompiler) */
+void VIRTUAL_abstract_compiler__AbstractCompilerVisitor__compiler_61d(val* self, val* p0) {
+short int var /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler= (self,p0) on <self:Object(AbstractCompilerVisitor)> */
+/* Covariant cast for argument 0 (compiler) <p0:AbstractCompiler> isa COMPILER */
+/* <p0:AbstractCompiler> isa COMPILER */
+type_struct = self->type->resolution_table->types[COLOR_abstract_compiler__AbstractCompilerVisitor_VTCOMPILER];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= p0->type->table_size) {
+var = 0;
+} else {
+var = p0->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "COMPILER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val = p0; /* _compiler on <self:Object(AbstractCompilerVisitor)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#current_node for (self: AbstractCompilerVisitor): nullable ANode */
+val* abstract_compiler__AbstractCompilerVisitor__current_node(val* self) {
+val* var /* : nullable ANode */;
+val* var1 /* : nullable ANode */;
+var1 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___current_node].val; /* _current_node on <self:AbstractCompilerVisitor> */
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#current_node for (self: Object): nullable ANode */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__current_node(val* self) {
+val* var /* : nullable ANode */;
+val* var1 /* : nullable ANode */;
+val* var3 /* : nullable ANode */;
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#current_node (self) on <self:Object(AbstractCompilerVisitor)> */
+var3 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___current_node].val; /* _current_node on <self:Object(AbstractCompilerVisitor)> */
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#current_node= for (self: AbstractCompilerVisitor, nullable ANode) */
+void abstract_compiler__AbstractCompilerVisitor__current_node_61d(val* self, val* p0) {
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___current_node].val = p0; /* _current_node on <self:AbstractCompilerVisitor> */
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#current_node= for (self: Object, nullable ANode) */
+void VIRTUAL_abstract_compiler__AbstractCompilerVisitor__current_node_61d(val* self, val* p0) {
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#current_node= (self,p0) on <self:Object(AbstractCompilerVisitor)> */
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___current_node].val = p0; /* _current_node on <self:Object(AbstractCompilerVisitor)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#frame for (self: AbstractCompilerVisitor): nullable Frame */
+val* abstract_compiler__AbstractCompilerVisitor__frame(val* self) {
+val* var /* : nullable Frame */;
+val* var1 /* : nullable Frame */;
+var1 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___frame].val; /* _frame on <self:AbstractCompilerVisitor> */
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#frame for (self: Object): nullable Frame */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__frame(val* self) {
+val* var /* : nullable Frame */;
+val* var1 /* : nullable Frame */;
+val* var3 /* : nullable Frame */;
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#frame (self) on <self:Object(AbstractCompilerVisitor)> */
+var3 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___frame].val; /* _frame on <self:Object(AbstractCompilerVisitor)> */
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#frame= for (self: AbstractCompilerVisitor, nullable Frame) */
+void abstract_compiler__AbstractCompilerVisitor__frame_61d(val* self, val* p0) {
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___frame].val = p0; /* _frame on <self:AbstractCompilerVisitor> */
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#frame= for (self: Object, nullable Frame) */
+void VIRTUAL_abstract_compiler__AbstractCompilerVisitor__frame_61d(val* self, val* p0) {
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#frame= (self,p0) on <self:Object(AbstractCompilerVisitor)> */
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___frame].val = p0; /* _frame on <self:Object(AbstractCompilerVisitor)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#object_type for (self: AbstractCompilerVisitor): MClassType */
+val* abstract_compiler__AbstractCompilerVisitor__object_type(val* self) {
+val* var /* : MClassType */;
+val* var1 /* : AbstractCompiler */;
+val* var3 /* : AbstractCompiler */;
+val* var4 /* : MModule */;
+val* var6 /* : MModule */;
+val* var7 /* : MClassType */;
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler (self) on <self:AbstractCompilerVisitor> */
+var3 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:AbstractCompilerVisitor> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#mainmodule (var1) on <var1:AbstractCompiler> */
+var6 = var1->attrs[COLOR_abstract_compiler__AbstractCompiler___mainmodule].val; /* _mainmodule on <var1:AbstractCompiler> */
+if (unlikely(var6 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mainmodule");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 436);
+show_backtrace(1);
+}
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+var7 = model__MModule__object_type(var4);
+}
+var = var7;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#object_type for (self: Object): MClassType */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__object_type(val* self) {
+val* var /* : MClassType */;
+val* var1 /* : MClassType */;
+var1 = abstract_compiler__AbstractCompilerVisitor__object_type(self);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#bool_type for (self: AbstractCompilerVisitor): MClassType */
+val* abstract_compiler__AbstractCompilerVisitor__bool_type(val* self) {
+val* var /* : MClassType */;
+val* var1 /* : AbstractCompiler */;
+val* var3 /* : AbstractCompiler */;
+val* var4 /* : MModule */;
+val* var6 /* : MModule */;
+val* var7 /* : MClassType */;
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler (self) on <self:AbstractCompilerVisitor> */
+var3 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:AbstractCompilerVisitor> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#mainmodule (var1) on <var1:AbstractCompiler> */
+var6 = var1->attrs[COLOR_abstract_compiler__AbstractCompiler___mainmodule].val; /* _mainmodule on <var1:AbstractCompiler> */
+if (unlikely(var6 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mainmodule");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 436);
+show_backtrace(1);
+}
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+var7 = model__MModule__bool_type(var4);
+}
+var = var7;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#bool_type for (self: Object): MClassType */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__bool_type(val* self) {
+val* var /* : MClassType */;
+val* var1 /* : MClassType */;
+var1 = abstract_compiler__AbstractCompilerVisitor__bool_type(self);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#writer for (self: AbstractCompilerVisitor): CodeWriter */
+val* abstract_compiler__AbstractCompilerVisitor__writer(val* self) {
+val* var /* : CodeWriter */;
+val* var1 /* : CodeWriter */;
+var1 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___writer].val; /* _writer on <self:AbstractCompilerVisitor> */
+if (unlikely(var1 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _writer");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 999);
+show_backtrace(1);
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#writer for (self: Object): CodeWriter */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__writer(val* self) {
+val* var /* : CodeWriter */;
+val* var1 /* : CodeWriter */;
+val* var3 /* : CodeWriter */;
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#writer (self) on <self:Object(AbstractCompilerVisitor)> */
+var3 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___writer].val; /* _writer on <self:Object(AbstractCompilerVisitor)> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _writer");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 999);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#writer= for (self: AbstractCompilerVisitor, CodeWriter) */
+void abstract_compiler__AbstractCompilerVisitor__writer_61d(val* self, val* p0) {
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___writer].val = p0; /* _writer on <self:AbstractCompilerVisitor> */
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#writer= for (self: Object, CodeWriter) */
+void VIRTUAL_abstract_compiler__AbstractCompilerVisitor__writer_61d(val* self, val* p0) {
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#writer= (self,p0) on <self:Object(AbstractCompilerVisitor)> */
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___writer].val = p0; /* _writer on <self:Object(AbstractCompilerVisitor)> */
+RET_LABEL1:(void)0;
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#init for (self: AbstractCompilerVisitor, AbstractCompiler) */
+void abstract_compiler__AbstractCompilerVisitor__init(val* self, val* p0) {
+short int var /* : Bool */;
+int cltype;
+int idtype;
+const struct type* type_struct;
+const char* var_class_name;
+val* var_compiler /* var compiler: AbstractCompiler */;
+short int var2 /* : Bool */;
+int cltype3;
+int idtype4;
+const struct type* type_struct5;
+const char* var_class_name6;
+val* var7 /* : CodeWriter */;
+val* var8 /* : List[CodeFile] */;
+val* var10 /* : List[CodeFile] */;
+val* var11 /* : nullable Object */;
+/* Covariant cast for argument 0 (compiler) <p0:AbstractCompiler> isa COMPILER */
+/* <p0:AbstractCompiler> isa COMPILER */
+type_struct = self->type->resolution_table->types[COLOR_abstract_compiler__AbstractCompilerVisitor_VTCOMPILER];
+cltype = type_struct->color;
+idtype = type_struct->id;
+if(cltype >= p0->type->table_size) {
+var = 0;
+} else {
+var = p0->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var)) {
+var_class_name = p0 == NULL ? "null" : p0->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "COMPILER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 1001);
+show_backtrace(1);
+}
+var_compiler = p0;
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler= (self,var_compiler) on <self:AbstractCompilerVisitor> */
+/* Covariant cast for argument 0 (compiler) <var_compiler:AbstractCompiler> isa COMPILER */
+/* <var_compiler:AbstractCompiler> isa COMPILER */
+type_struct5 = self->type->resolution_table->types[COLOR_abstract_compiler__AbstractCompilerVisitor_VTCOMPILER];
+cltype3 = type_struct5->color;
+idtype4 = type_struct5->id;
+if(cltype3 >= var_compiler->type->table_size) {
+var2 = 0;
+} else {
+var2 = var_compiler->type->type_table[cltype3] == idtype4;
+}
+if (unlikely(!var2)) {
+var_class_name6 = var_compiler == NULL ? "null" : var_compiler->type->name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "COMPILER", var_class_name6);
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val = var_compiler; /* _compiler on <self:AbstractCompilerVisitor> */
+RET_LABEL1:(void)0;
+}
+}
+var7 = NEW_abstract_compiler__CodeWriter(&type_abstract_compiler__CodeWriter);
+{
+{ /* Inline abstract_compiler#AbstractCompiler#files (var_compiler) on <var_compiler:AbstractCompiler> */
+var10 = var_compiler->attrs[COLOR_abstract_compiler__AbstractCompiler___files].val; /* _files on <var_compiler:AbstractCompiler> */
+if (unlikely(var10 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _files");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 465);
+show_backtrace(1);
+}
+var8 = var10;
+RET_LABEL9:(void)0;
+}
+}
+{
+var11 = list__List__last(var8);
+}
+{
+abstract_compiler__CodeWriter__init(var7, var11); /* Direct call abstract_compiler#CodeWriter#init on <var7:CodeWriter>*/
+}
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#writer= (self,var7) on <self:AbstractCompilerVisitor> */
+self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___writer].val = var7; /* _writer on <self:AbstractCompilerVisitor> */
+RET_LABEL12:(void)0;
+}
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#init for (self: Object, AbstractCompiler) */
+void VIRTUAL_abstract_compiler__AbstractCompilerVisitor__init(val* self, val* p0) {
+abstract_compiler__AbstractCompilerVisitor__init(self, p0); /* Direct call abstract_compiler#AbstractCompilerVisitor#init on <self:Object(AbstractCompilerVisitor)>*/
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#get_class for (self: AbstractCompilerVisitor, String): MClass */
+val* abstract_compiler__AbstractCompilerVisitor__get_class(val* self, val* p0) {
+val* var /* : MClass */;
+val* var_name /* var name: String */;
+val* var1 /* : AbstractCompiler */;
+val* var3 /* : AbstractCompiler */;
+val* var4 /* : MModule */;
+val* var6 /* : MModule */;
+val* var7 /* : MClass */;
+var_name = p0;
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler (self) on <self:AbstractCompilerVisitor> */
+var3 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:AbstractCompilerVisitor> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#mainmodule (var1) on <var1:AbstractCompiler> */
+var6 = var1->attrs[COLOR_abstract_compiler__AbstractCompiler___mainmodule].val; /* _mainmodule on <var1:AbstractCompiler> */
+if (unlikely(var6 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mainmodule");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 436);
+show_backtrace(1);
+}
+var4 = var6;
+RET_LABEL5:(void)0;
+}
+}
+{
+var7 = model__MModule__get_primitive_class(var4, var_name);
+}
+var = var7;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#get_class for (self: Object, String): MClass */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__get_class(val* self, val* p0) {
+val* var /* : MClass */;
+val* var1 /* : MClass */;
+var1 = abstract_compiler__AbstractCompilerVisitor__get_class(self, p0);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#get_property for (self: AbstractCompilerVisitor, String, MType): MMethod */
+val* abstract_compiler__AbstractCompilerVisitor__get_property(val* self, val* p0, val* p1) {
+val* var /* : MMethod */;
+val* var_name /* var name: String */;
+val* var_recv /* var recv: MType */;
+short int var1 /* : Bool */;
+int cltype;
+int idtype;
+val* var2 /* : AbstractCompiler */;
+val* var4 /* : AbstractCompiler */;
+val* var5 /* : ModelBuilder */;
+val* var7 /* : ModelBuilder */;
+val* var8 /* : nullable ANode */;
+val* var10 /* : nullable ANode */;
+val* var11 /* : MClass */;
+val* var13 /* : MClass */;
+val* var14 /* : AbstractCompiler */;
+val* var16 /* : AbstractCompiler */;
+val* var17 /* : MModule */;
+val* var19 /* : MModule */;
+val* var20 /* : MMethod */;
+var_name = p0;
+var_recv = p1;
+/* <var_recv:MType> isa MClassType */
+cltype = type_model__MClassType.color;
+idtype = type_model__MClassType.id;
+if(cltype >= var_recv->type->table_size) {
+var1 = 0;
+} else {
+var1 = var_recv->type->type_table[cltype] == idtype;
+}
+if (unlikely(!var1)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 1013);
+show_backtrace(1);
+}
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler (self) on <self:AbstractCompilerVisitor> */
+var4 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:AbstractCompilerVisitor> */
+if (unlikely(var4 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var2 = var4;
+RET_LABEL3:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#modelbuilder (var2) on <var2:AbstractCompiler> */
+var7 = var2->attrs[COLOR_abstract_compiler__AbstractCompiler___modelbuilder].val; /* _modelbuilder on <var2:AbstractCompiler> */
+if (unlikely(var7 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _modelbuilder");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 443);
+show_backtrace(1);
+}
+var5 = var7;
+RET_LABEL6:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#current_node (self) on <self:AbstractCompilerVisitor> */
+var10 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___current_node].val; /* _current_node on <self:AbstractCompilerVisitor> */
+var8 = var10;
+RET_LABEL9:(void)0;
+}
+}
+if (unlikely(var8 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Cast failed");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 1014);
+show_backtrace(1);
+}
+{
+{ /* Inline model#MClassType#mclass (var_recv) on <var_recv:MType(MClassType)> */
+var13 = var_recv->attrs[COLOR_model__MClassType___mclass].val; /* _mclass on <var_recv:MType(MClassType)> */
+if (unlikely(var13 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mclass");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 969);
+show_backtrace(1);
+}
+var11 = var13;
+RET_LABEL12:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler (self) on <self:AbstractCompilerVisitor> */
+var16 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:AbstractCompilerVisitor> */
+if (unlikely(var16 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var14 = var16;
+RET_LABEL15:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#mainmodule (var14) on <var14:AbstractCompiler> */
+var19 = var14->attrs[COLOR_abstract_compiler__AbstractCompiler___mainmodule].val; /* _mainmodule on <var14:AbstractCompiler> */
+if (unlikely(var19 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mainmodule");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 436);
+show_backtrace(1);
+}
+var17 = var19;
+RET_LABEL18:(void)0;
+}
+}
+{
+var20 = modelbuilder__ModelBuilder__force_get_primitive_method(var5, var8, var_name, var11, var17);
+}
+var = var20;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#get_property for (self: Object, String, MType): MMethod */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__get_property(val* self, val* p0, val* p1) {
+val* var /* : MMethod */;
+val* var1 /* : MMethod */;
+var1 = abstract_compiler__AbstractCompilerVisitor__get_property(self, p0, p1);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#compile_callsite for (self: AbstractCompilerVisitor, CallSite, Array[RuntimeVariable]): nullable RuntimeVariable */
+val* abstract_compiler__AbstractCompilerVisitor__compile_callsite(val* self, val* p0, val* p1) {
+val* var /* : nullable RuntimeVariable */;
+val* var_callsite /* var callsite: CallSite */;
+val* var_args /* var args: Array[RuntimeVariable] */;
+val* var1 /* : MMethod */;
+val* var3 /* : MMethod */;
+val* var4 /* : nullable RuntimeVariable */;
+var_callsite = p0;
+var_args = p1;
+{
+{ /* Inline typing#CallSite#mproperty (var_callsite) on <var_callsite:CallSite> */
+var3 = var_callsite->attrs[COLOR_typing__CallSite___mproperty].val; /* _mproperty on <var_callsite:CallSite> */
+if (unlikely(var3 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mproperty");
+PRINT_ERROR(" (%s:%d)\n", "src/typing.nit", 422);
+show_backtrace(1);
+}
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+{
+var4 = separate_compiler__SeparateCompilerVisitor__send(self, var1, var_args);
+}
+var = var4;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#compile_callsite for (self: Object, CallSite, Array[RuntimeVariable]): nullable RuntimeVariable */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__compile_callsite(val* self, val* p0, val* p1) {
+val* var /* : nullable RuntimeVariable */;
+val* var1 /* : nullable RuntimeVariable */;
+var1 = abstract_compiler__AbstractCompilerVisitor__compile_callsite(self, p0, p1);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#varargize for (self: AbstractCompilerVisitor, MPropDef, MSignature, Array[RuntimeVariable]) */
+void abstract_compiler__AbstractCompilerVisitor__varargize(val* self, val* p0, val* p1, val* p2) {
+val* var_mpropdef /* var mpropdef: MPropDef */;
+val* var_msignature /* var msignature: MSignature */;
+val* var_args /* var args: Array[RuntimeVariable] */;
+val* var /* : nullable Object */;
+val* var_recv /* var recv: RuntimeVariable */;
+long var1 /* : Int */;
+long var3 /* : Int */;
+long var_vararg_rank /* var vararg_rank: Int */;
+long var4 /* : Int */;
+short int var5 /* : Bool */;
+short int var7 /* : Bool */;
+int cltype;
+int idtype;
+const char* var_class_name;
+short int var8 /* : Bool */;
+long var9 /* : Int */;
+long var10 /* : Int */;
+long var11 /* : Int */;
+long var12 /* : Int */;
+short int var14 /* : Bool */;
+int cltype15;
+int idtype16;
+const char* var_class_name17;
+long var18 /* : Int */;
+short int var19 /* : Bool */;
+short int var21 /* : Bool */;
+int cltype22;
+int idtype23;
+const char* var_class_name24;
+short int var25 /* : Bool */;
+val* var_rawargs /* var rawargs: Array[RuntimeVariable] */;
+val* var26 /* : Array[RuntimeVariable] */;
+val* var27 /* : nullable Object */;
+val* var28 /* : Range[Int] */;
+long var29 /* : Int */;
+val* var30 /* : Discrete */;
+val* var31 /* : Discrete */;
+val* var32 /* : Iterator[Discrete] */;
+short int var33 /* : Bool */;
+val* var34 /* : nullable Object */;
+long var_i /* var i: Int */;
+long var35 /* : Int */;
+long var36 /* : Int */;
+long var37 /* : Int */;
+short int var39 /* : Bool */;
+int cltype40;
+int idtype41;
+const char* var_class_name42;
+long var43 /* : Int */;
+val* var44 /* : nullable Object */;
+long var45 /* : Int */;
+long var46 /* : Int */;
+short int var48 /* : Bool */;
+int cltype49;
+int idtype50;
+const char* var_class_name51;
+long var52 /* : Int */;
+long var53 /* : Int */;
+long var54 /* : Int */;
+short int var56 /* : Bool */;
+int cltype57;
+int idtype58;
+const char* var_class_name59;
+long var60 /* : Int */;
+long var61 /* : Int */;
+long var62 /* : Int */;
+short int var64 /* : Bool */;
+int cltype65;
+int idtype66;
+const char* var_class_name67;
+long var68 /* : Int */;
+long var_vararg_lastrank /* var vararg_lastrank: Int */;
+val* var69 /* : Array[RuntimeVariable] */;
+val* var_vararg /* var vararg: Array[RuntimeVariable] */;
+val* var70 /* : Range[Int] */;
+val* var71 /* : Discrete */;
+val* var72 /* : Discrete */;
+val* var73 /* : Iterator[Discrete] */;
+short int var74 /* : Bool */;
+val* var75 /* : nullable Object */;
+long var_i76 /* var i: Int */;
+long var77 /* : Int */;
+long var78 /* : Int */;
+long var79 /* : Int */;
+short int var81 /* : Bool */;
+int cltype82;
+int idtype83;
+const char* var_class_name84;
+long var85 /* : Int */;
+val* var86 /* : nullable Object */;
+val* var88 /* : Array[MParameter] */;
+val* var90 /* : Array[MParameter] */;
+val* var91 /* : nullable Object */;
+val* var92 /* : MType */;
+val* var94 /* : MType */;
+val* var_elttype /* var elttype: MType */;
+val* var95 /* : RuntimeVariable */;
+val* var96 /* : Range[Int] */;
+long var97 /* : Int */;
+long var98 /* : Int */;
+short int var100 /* : Bool */;
+int cltype101;
+int idtype102;
+const char* var_class_name103;
+long var104 /* : Int */;
+long var105 /* : Int */;
+long var106 /* : Int */;
+long var107 /* : Int */;
+short int var109 /* : Bool */;
+int cltype110;
+int idtype111;
+const char* var_class_name112;
+long var113 /* : Int */;
+val* var114 /* : Discrete */;
+val* var115 /* : Discrete */;
+val* var116 /* : Iterator[Discrete] */;
+short int var117 /* : Bool */;
+val* var118 /* : nullable Object */;
+long var_i119 /* var i: Int */;
+long var120 /* : Int */;
+long var121 /* : Int */;
+long var122 /* : Int */;
+short int var124 /* : Bool */;
+int cltype125;
+int idtype126;
+const char* var_class_name127;
+long var128 /* : Int */;
+val* var129 /* : nullable Object */;
+var_mpropdef = p0;
+var_msignature = p1;
+var_args = p2;
+{
+var = abstract_collection__SequenceRead__first(var_args);
+}
+var_recv = var;
+{
+{ /* Inline model#MSignature#vararg_rank (var_msignature) on <var_msignature:MSignature> */
+var3 = var_msignature->attrs[COLOR_model__MSignature___vararg_rank].l; /* _vararg_rank on <var_msignature:MSignature> */
+var1 = var3;
+RET_LABEL2:(void)0;
+}
+}
+var_vararg_rank = var1;
+var4 = 0;
+{
+{ /* Inline kernel#Int#>= (var_vararg_rank,var4) on <var_vararg_rank:Int> */
+/* Covariant cast for argument 0 (i) <var4:Int> isa OTHER */
+/* <var4:Int> isa OTHER */
+var7 = 1; /* easy <var4:Int> isa OTHER*/
+if (unlikely(!var7)) {
+var_class_name = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 326);
+show_backtrace(1);
+}
+var8 = var_vararg_rank >= var4;
+var5 = var8;
+goto RET_LABEL6;
+RET_LABEL6:(void)0;
+}
+}
+if (var5){
+{
+var9 = array__AbstractArrayRead__length(var_args);
+}
+{
+var10 = model__MSignature__arity(var_msignature);
+}
+var11 = 1;
+{
+{ /* Inline kernel#Int#+ (var10,var11) on <var10:Int> */
+/* Covariant cast for argument 0 (i) <var11:Int> isa OTHER */
+/* <var11:Int> isa OTHER */
+var14 = 1; /* easy <var11:Int> isa OTHER*/
+if (unlikely(!var14)) {
+var_class_name17 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name17);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var18 = var10 + var11;
+var12 = var18;
+goto RET_LABEL13;
+RET_LABEL13:(void)0;
+}
+}
+{
+{ /* Inline kernel#Int#>= (var9,var12) on <var9:Int> */
+/* Covariant cast for argument 0 (i) <var12:Int> isa OTHER */
+/* <var12:Int> isa OTHER */
+var21 = 1; /* easy <var12:Int> isa OTHER*/
+if (unlikely(!var21)) {
+var_class_name24 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name24);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 326);
+show_backtrace(1);
+}
+var25 = var9 >= var12;
+var19 = var25;
+goto RET_LABEL20;
+RET_LABEL20:(void)0;
+}
+}
+if (unlikely(!var19)) {
+PRINT_ERROR("Runtime error: %s", "Assert failed");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 1036);
+show_backtrace(1);
+}
+var_rawargs = var_args;
+var26 = NEW_array__Array(&type_array__Arrayabstract_compiler__RuntimeVariable);
+{
+array__Array__init(var26); /* Direct call array#Array#init on <var26:Array[RuntimeVariable]>*/
+}
+var_args = var26;
+{
+var27 = abstract_collection__SequenceRead__first(var_rawargs);
+}
+{
+array__Array__add(var_args, var27); /* Direct call array#Array#add on <var_args:Array[RuntimeVariable]>*/
+}
+var28 = NEW_range__Range(&type_range__Rangekernel__Int);
+var29 = 0;
+{
+var30 = BOX_kernel__Int(var29); /* autobox from Int to Discrete */
+var31 = BOX_kernel__Int(var_vararg_rank); /* autobox from Int to Discrete */
+range__Range__without_last(var28, var30, var31); /* Direct call range#Range#without_last on <var28:Range[Int]>*/
+}
+{
+var32 = range__Range__iterator(var28);
+}
+for(;;) {
+{
+var33 = ((short int (*)(val*))(var32->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var32) /* is_ok on <var32:Iterator[Discrete]>*/;
+}
+if(!var33) break;
+{
+var34 = ((val* (*)(val*))(var32->class->vft[COLOR_abstract_collection__Iterator__item]))(var32) /* item on <var32:Iterator[Discrete]>*/;
+}
+var35 = ((struct instance_kernel__Int*)var34)->value; /* autounbox from nullable Object to Int */;
+var_i = var35;
+var36 = 1;
+{
+{ /* Inline kernel#Int#+ (var_i,var36) on <var_i:Int> */
+/* Covariant cast for argument 0 (i) <var36:Int> isa OTHER */
+/* <var36:Int> isa OTHER */
+var39 = 1; /* easy <var36:Int> isa OTHER*/
+if (unlikely(!var39)) {
+var_class_name42 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name42);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var43 = var_i + var36;
+var37 = var43;
+goto RET_LABEL38;
+RET_LABEL38:(void)0;
+}
+}
+{
+var44 = array__Array___91d_93d(var_rawargs, var37);
+}
+{
+array__Array__add(var_args, var44); /* Direct call array#Array#add on <var_args:Array[RuntimeVariable]>*/
+}
+CONTINUE_label: (void)0;
+{
+((void (*)(val*))(var32->class->vft[COLOR_abstract_collection__Iterator__next]))(var32) /* next on <var32:Iterator[Discrete]>*/;
+}
+}
+BREAK_label: (void)0;
+{
+var45 = array__AbstractArrayRead__length(var_rawargs);
+}
+{
+{ /* Inline kernel#Int#+ (var_vararg_rank,var45) on <var_vararg_rank:Int> */
+/* Covariant cast for argument 0 (i) <var45:Int> isa OTHER */
+/* <var45:Int> isa OTHER */
+var48 = 1; /* easy <var45:Int> isa OTHER*/
+if (unlikely(!var48)) {
+var_class_name51 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name51);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var52 = var_vararg_rank + var45;
+var46 = var52;
+goto RET_LABEL47;
+RET_LABEL47:(void)0;
+}
+}
+var53 = 1;
+{
+{ /* Inline kernel#Int#- (var46,var53) on <var46:Int> */
+/* Covariant cast for argument 0 (i) <var53:Int> isa OTHER */
+/* <var53:Int> isa OTHER */
+var56 = 1; /* easy <var53:Int> isa OTHER*/
+if (unlikely(!var56)) {
+var_class_name59 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name59);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var60 = var46 - var53;
+var54 = var60;
+goto RET_LABEL55;
+RET_LABEL55:(void)0;
+}
+}
+{
+var61 = model__MSignature__arity(var_msignature);
+}
+{
+{ /* Inline kernel#Int#- (var54,var61) on <var54:Int> */
+/* Covariant cast for argument 0 (i) <var61:Int> isa OTHER */
+/* <var61:Int> isa OTHER */
+var64 = 1; /* easy <var61:Int> isa OTHER*/
+if (unlikely(!var64)) {
+var_class_name67 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name67);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var68 = var54 - var61;
+var62 = var68;
+goto RET_LABEL63;
+RET_LABEL63:(void)0;
+}
+}
+var_vararg_lastrank = var62;
+var69 = NEW_array__Array(&type_array__Arrayabstract_compiler__RuntimeVariable);
+{
+array__Array__init(var69); /* Direct call array#Array#init on <var69:Array[RuntimeVariable]>*/
+}
+var_vararg = var69;
+var70 = NEW_range__Range(&type_range__Rangekernel__Int);
+{
+var71 = BOX_kernel__Int(var_vararg_rank); /* autobox from Int to Discrete */
+var72 = BOX_kernel__Int(var_vararg_lastrank); /* autobox from Int to Discrete */
+range__Range__init(var70, var71, var72); /* Direct call range#Range#init on <var70:Range[Int]>*/
+}
+{
+var73 = range__Range__iterator(var70);
+}
+for(;;) {
+{
+var74 = ((short int (*)(val*))(var73->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var73) /* is_ok on <var73:Iterator[Discrete]>*/;
+}
+if(!var74) break;
+{
+var75 = ((val* (*)(val*))(var73->class->vft[COLOR_abstract_collection__Iterator__item]))(var73) /* item on <var73:Iterator[Discrete]>*/;
+}
+var77 = ((struct instance_kernel__Int*)var75)->value; /* autounbox from nullable Object to Int */;
+var_i76 = var77;
+var78 = 1;
+{
+{ /* Inline kernel#Int#+ (var_i76,var78) on <var_i76:Int> */
+/* Covariant cast for argument 0 (i) <var78:Int> isa OTHER */
+/* <var78:Int> isa OTHER */
+var81 = 1; /* easy <var78:Int> isa OTHER*/
+if (unlikely(!var81)) {
+var_class_name84 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name84);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var85 = var_i76 + var78;
+var79 = var85;
+goto RET_LABEL80;
+RET_LABEL80:(void)0;
+}
+}
+{
+var86 = array__Array___91d_93d(var_rawargs, var79);
+}
+{
+array__Array__add(var_vararg, var86); /* Direct call array#Array#add on <var_vararg:Array[RuntimeVariable]>*/
+}
+CONTINUE_label87: (void)0;
+{
+((void (*)(val*))(var73->class->vft[COLOR_abstract_collection__Iterator__next]))(var73) /* next on <var73:Iterator[Discrete]>*/;
+}
+}
+BREAK_label87: (void)0;
+{
+{ /* Inline model#MSignature#mparameters (var_msignature) on <var_msignature:MSignature> */
+var90 = var_msignature->attrs[COLOR_model__MSignature___mparameters].val; /* _mparameters on <var_msignature:MSignature> */
+if (unlikely(var90 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mparameters");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 1452);
+show_backtrace(1);
+}
+var88 = var90;
+RET_LABEL89:(void)0;
+}
+}
+{
+var91 = array__Array___91d_93d(var88, var_vararg_rank);
+}
+{
+{ /* Inline model#MParameter#mtype (var91) on <var91:nullable Object(MParameter)> */
+var94 = var91->attrs[COLOR_model__MParameter___mtype].val; /* _mtype on <var91:nullable Object(MParameter)> */
+if (unlikely(var94 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mtype");
+PRINT_ERROR(" (%s:%d)\n", "src/model/model.nit", 1552);
+show_backtrace(1);
+}
+var92 = var94;
+RET_LABEL93:(void)0;
+}
+}
+var_elttype = var92;
+{
+var95 = separate_compiler__SeparateCompilerVisitor__vararg_instance(self, var_mpropdef, var_recv, var_vararg, var_elttype);
+}
+{
+array__Array__add(var_args, var95); /* Direct call array#Array#add on <var_args:Array[RuntimeVariable]>*/
+}
+var96 = NEW_range__Range(&type_range__Rangekernel__Int);
+var97 = 1;
+{
+{ /* Inline kernel#Int#+ (var_vararg_lastrank,var97) on <var_vararg_lastrank:Int> */
+/* Covariant cast for argument 0 (i) <var97:Int> isa OTHER */
+/* <var97:Int> isa OTHER */
+var100 = 1; /* easy <var97:Int> isa OTHER*/
+if (unlikely(!var100)) {
+var_class_name103 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name103);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var104 = var_vararg_lastrank + var97;
+var98 = var104;
+goto RET_LABEL99;
+RET_LABEL99:(void)0;
+}
+}
+{
+var105 = array__AbstractArrayRead__length(var_rawargs);
+}
+var106 = 1;
+{
+{ /* Inline kernel#Int#- (var105,var106) on <var105:Int> */
+/* Covariant cast for argument 0 (i) <var106:Int> isa OTHER */
+/* <var106:Int> isa OTHER */
+var109 = 1; /* easy <var106:Int> isa OTHER*/
+if (unlikely(!var109)) {
+var_class_name112 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name112);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 331);
+show_backtrace(1);
+}
+var113 = var105 - var106;
+var107 = var113;
+goto RET_LABEL108;
+RET_LABEL108:(void)0;
+}
+}
+{
+var114 = BOX_kernel__Int(var98); /* autobox from Int to Discrete */
+var115 = BOX_kernel__Int(var107); /* autobox from Int to Discrete */
+range__Range__without_last(var96, var114, var115); /* Direct call range#Range#without_last on <var96:Range[Int]>*/
+}
+{
+var116 = range__Range__iterator(var96);
+}
+for(;;) {
+{
+var117 = ((short int (*)(val*))(var116->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(var116) /* is_ok on <var116:Iterator[Discrete]>*/;
+}
+if(!var117) break;
+{
+var118 = ((val* (*)(val*))(var116->class->vft[COLOR_abstract_collection__Iterator__item]))(var116) /* item on <var116:Iterator[Discrete]>*/;
+}
+var120 = ((struct instance_kernel__Int*)var118)->value; /* autounbox from nullable Object to Int */;
+var_i119 = var120;
+var121 = 1;
+{
+{ /* Inline kernel#Int#+ (var_i119,var121) on <var_i119:Int> */
+/* Covariant cast for argument 0 (i) <var121:Int> isa OTHER */
+/* <var121:Int> isa OTHER */
+var124 = 1; /* easy <var121:Int> isa OTHER*/
+if (unlikely(!var124)) {
+var_class_name127 = type_kernel__Int.name;
+PRINT_ERROR("Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name127);
+PRINT_ERROR(" (%s:%d)\n", "lib/standard/kernel.nit", 328);
+show_backtrace(1);
+}
+var128 = var_i119 + var121;
+var122 = var128;
+goto RET_LABEL123;
+RET_LABEL123:(void)0;
+}
+}
+{
+var129 = array__Array___91d_93d(var_rawargs, var122);
+}
+{
+array__Array__add(var_args, var129); /* Direct call array#Array#add on <var_args:Array[RuntimeVariable]>*/
+}
+CONTINUE_label130: (void)0;
+{
+((void (*)(val*))(var116->class->vft[COLOR_abstract_collection__Iterator__next]))(var116) /* next on <var116:Iterator[Discrete]>*/;
+}
+}
+BREAK_label130: (void)0;
+{
+array__AbstractArray__clear(var_rawargs); /* Direct call array#AbstractArray#clear on <var_rawargs:Array[RuntimeVariable]>*/
+}
+{
+abstract_collection__SimpleCollection__add_all(var_rawargs, var_args); /* Direct call abstract_collection#SimpleCollection#add_all on <var_rawargs:Array[RuntimeVariable]>*/
+}
+} else {
+}
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#varargize for (self: Object, MPropDef, MSignature, Array[RuntimeVariable]) */
+void VIRTUAL_abstract_compiler__AbstractCompilerVisitor__varargize(val* self, val* p0, val* p1, val* p2) {
+abstract_compiler__AbstractCompilerVisitor__varargize(self, p0, p1, p2); /* Direct call abstract_compiler#AbstractCompilerVisitor#varargize on <self:Object(AbstractCompilerVisitor)>*/
+RET_LABEL:;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#anchor for (self: AbstractCompilerVisitor, MType): MType */
+val* abstract_compiler__AbstractCompilerVisitor__anchor(val* self, val* p0) {
+val* var /* : MType */;
+val* var_mtype /* var mtype: MType */;
+short int var1 /* : Bool */;
+short int var2 /* : Bool */;
+val* var3 /* : AbstractCompiler */;
+val* var5 /* : AbstractCompiler */;
+val* var6 /* : MModule */;
+val* var8 /* : MModule */;
+val* var9 /* : nullable Frame */;
+val* var11 /* : nullable Frame */;
+val* var12 /* : MClassType */;
+val* var14 /* : MClassType */;
+val* var15 /* : MType */;
+var_mtype = p0;
+{
+var1 = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MType>*/;
+}
+var2 = !var1;
+if (var2){
+var = var_mtype;
+goto RET_LABEL;
+} else {
+}
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#compiler (self) on <self:AbstractCompilerVisitor> */
+var5 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___compiler].val; /* _compiler on <self:AbstractCompilerVisitor> */
+if (unlikely(var5 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _compiler");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 984);
+show_backtrace(1);
+}
+var3 = var5;
+RET_LABEL4:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompiler#mainmodule (var3) on <var3:AbstractCompiler> */
+var8 = var3->attrs[COLOR_abstract_compiler__AbstractCompiler___mainmodule].val; /* _mainmodule on <var3:AbstractCompiler> */
+if (unlikely(var8 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _mainmodule");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 436);
+show_backtrace(1);
+}
+var6 = var8;
+RET_LABEL7:(void)0;
+}
+}
+{
+{ /* Inline abstract_compiler#AbstractCompilerVisitor#frame (self) on <self:AbstractCompilerVisitor> */
+var11 = self->attrs[COLOR_abstract_compiler__AbstractCompilerVisitor___frame].val; /* _frame on <self:AbstractCompilerVisitor> */
+var9 = var11;
+RET_LABEL10:(void)0;
+}
+}
+if (var9 == NULL) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 1069);
+show_backtrace(1);
+} else {
+{ /* Inline abstract_compiler#Frame#receiver (var9) on <var9:nullable Frame> */
+if (unlikely(var9 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Receiver is null");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 1535);
+show_backtrace(1);
+}
+var14 = var9->attrs[COLOR_abstract_compiler__Frame___receiver].val; /* _receiver on <var9:nullable Frame> */
+if (unlikely(var14 == NULL)) {
+PRINT_ERROR("Runtime error: %s", "Uninitialized attribute _receiver");
+PRINT_ERROR(" (%s:%d)\n", "src/abstract_compiler.nit", 1535);
+show_backtrace(1);
+}
+var12 = var14;
+RET_LABEL13:(void)0;
+}
+}
+{
+var15 = ((val* (*)(val*, val*, val*))(var_mtype->class->vft[COLOR_model__MType__anchor_to]))(var_mtype, var6, var12) /* anchor_to on <var_mtype:MType>*/;
+}
+var = var15;
+goto RET_LABEL;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#anchor for (self: Object, MType): MType */
+val* VIRTUAL_abstract_compiler__AbstractCompilerVisitor__anchor(val* self, val* p0) {
+val* var /* : MType */;
+val* var1 /* : MType */;
+var1 = abstract_compiler__AbstractCompilerVisitor__anchor(self, p0);
+var = var1;
+RET_LABEL:;
+return var;
+}
+/* method abstract_compiler#AbstractCompilerVisitor#resolve_for for (self: AbstractCompilerVisitor, MType, RuntimeVariable): MType */
+val* abstract_compiler__AbstractCompilerVisitor__resolve_for(val* self, val* p0, val* p1) {
+val* var /* : MType */;
+val* var_mtype /* var mtype: MType */;
+val* var_recv /* var recv: RuntimeVariable */;
+short int var1 /* : Bool */;
+short int var2 /* : Bool */;
+val* var3 /* : MType */;
+val* var5 /* : MType */;
+val* var6 /* : nullable Frame */;
+val* var8 /* : nullable Frame */;
+val* var9 /* : MClassType */;
+val* var11 /* : MClassType */;
+val* var12 /* : AbstractCompiler */;
+val* var14 /* : AbstractCompiler */;
+val* var15 /* : MModule */;
+val* var17 /* : MModule */;
+short int var18 /* : Bool */;
+val* var19 /* : MType */;
+var_mtype = p0;
+var_recv = p1;
+{
+var1 = ((short int (*)(val*))(var_mtype->class->vft[COLOR_model__MType__need_anchor]))(var_mtype) /* need_anchor on <var_mtype:MType>*/;