parser: remove some remaining old style accessors

[nit.git] / c_src / hash_collection.sep.1.c

diff --git a/c_src/hash_collection.sep.1.c b/c_src/hash_collection.sep.1.c
index a892569..1bb34fe 100644 (file)
--- a/c_src/hash_collection.sep.1.c
+++ b/c_src/hash_collection.sep.1.c
@@ -54,7 +54,7 @@ if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 35);
-exit(1);
+show_backtrace(1);
 }
 var_k = p0;
 var2 = ((long (*)(val*))(var_k->class->vft[COLOR_kernel__Object__hash]))(var_k) /* hash on <var_k:Object>*/;
@@ -74,8 +74,8 @@ var10 = 1; /* easy <var7:Int> isa OTHER*/
 if (!var10) {
 var_class_name13 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name13);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
+show_backtrace(1);
 }
 var14 = var_i < var7;
 var8 = var14;
@@ -135,7 +135,7 @@ if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 43);
-exit(1);
+show_backtrace(1);
 }
 var_k = p0;
 var2 = self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
@@ -206,15 +206,15 @@ if (!var1) {
 var_class_name = p1 == NULL ? "null" : p1->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 55);
-exit(1);
+show_backtrace(1);
 }
 var_i = p0;
 var_k = p1;
 var2 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 58);
-exit(1);
+show_backtrace(1);
 } else {
 var3 = ((val* (*)(val*, long))(var2->class->vft[COLOR_array__NativeArray___91d_93d]))(var2, var_i) /* [] on <var2:nullable NativeArray[nullable HashNode[Object]]>*/;
 }
@@ -231,7 +231,7 @@ var6 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_
 if (var6 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 60);
-exit(1);
+show_backtrace(1);
 }
 var_ck = var6;
 var8 = ((short int (*)(val*, val*))(var_ck->class->vft[COLOR_kernel__Object__is_same_instance]))(var_ck, var_k) /* is_same_instance on <var_ck:Object>*/;
@@ -248,7 +248,7 @@ goto BREAK_label;
 }
 var10 = var_c->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val; /* _next_in_bucklet on <var_c:nullable HashNode[Object](HashNode[Object])> */
 /* <var10:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct14 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1];
+type_struct14 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
 cltype12 = type_struct14->color;
 idtype13 = type_struct14->id;
 if(var10 == NULL) {
@@ -264,7 +264,7 @@ if (!var11) {
 var_class_name15 = var10 == NULL ? "null" : var10->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name15);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 64);
-exit(1);
+show_backtrace(1);
 }
 var_c = var10;
 CONTINUE_label: (void)0;
@@ -349,7 +349,7 @@ if (!var) {
 var_class_name = p1 == NULL ? "null" : p1->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#1", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 69);
-exit(1);
+show_backtrace(1);
 }
 var_index = p0;
 var_node = p1;
@@ -365,9 +365,9 @@ self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var_node;
 } else {
 var4 = self->attrs[COLOR_hash_collection__HashCollection___last_item].val; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
 if (var4 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 76);
-exit(1);
+show_backtrace(1);
 }
 var4->attrs[COLOR_hash_collection__HashNode___next_item].val = var_node; /* _next_item on <var4:nullable HashNode[Object]> */
 }
@@ -378,18 +378,18 @@ var_node->attrs[COLOR_hash_collection__HashNode___next_item].val = var6; /* _nex
 self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var_node; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
 var7 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
 if (var7 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 83);
-exit(1);
+show_backtrace(1);
 } else {
 var8 = ((val* (*)(val*, long))(var7->class->vft[COLOR_array__NativeArray___91d_93d]))(var7, var_index) /* [] on <var7:nullable NativeArray[nullable HashNode[Object]]>*/;
 }
 var_next = var8;
 var9 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
 if (var9 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 84);
-exit(1);
+show_backtrace(1);
 } else {
 ((void (*)(val*, long, val*))(var9->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var9, var_index, var_node) /* []= on <var9:nullable NativeArray[nullable HashNode[Object]]>*/;
 }
@@ -408,10 +408,10 @@ var12 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <
 if (var12 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88);
-exit(1);
+show_backtrace(1);
 }
 /* <var12:Object> isa nullable HashCollection#0 */
-type_struct16 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0];
+type_struct16 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT0];
 cltype14 = type_struct16->color;
 idtype15 = type_struct16->id;
 if(cltype14 >= var12->type->table_size) {
@@ -423,7 +423,7 @@ if (!var13) {
 var_class_name17 = var12 == NULL ? "null" : var12->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#0", var_class_name17);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 88);
-exit(1);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashCollection___last_accessed_key].val = var12; /* _last_accessed_key on <self:HashCollection[Object, HashNode[Object]]> */
 self->attrs[COLOR_hash_collection__HashCollection___last_accessed_node].val = var_node; /* _last_accessed_node on <self:HashCollection[Object, HashNode[Object]]> */
@@ -467,8 +467,8 @@ var38 = 1; /* easy <var35:Int> isa OTHER*/
 if (!var38) {
 var_class_name41 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name41);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+show_backtrace(1);
 }
 var42 = var_l >= var35;
 var36 = var42;
@@ -557,7 +557,7 @@ if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 100);
-exit(1);
+show_backtrace(1);
 }
 var_k = p0;
 var1 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_k) /* index_at on <self:HashCollection[Object, HashNode[Object]]>*/;
@@ -588,7 +588,7 @@ if (var8){
 var_prev->attrs[COLOR_hash_collection__HashNode___next_item].val = var_next; /* _next_item on <var_prev:nullable HashNode[Object](HashNode[Object])> */
 } else {
 /* <var_next:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct12 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1];
+type_struct12 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
 cltype10 = type_struct12->color;
 idtype11 = type_struct12->id;
 if(var_next == NULL) {
@@ -604,7 +604,7 @@ if (!var9) {
 var_class_name13 = var_next == NULL ? "null" : var_next->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name13);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 113);
-exit(1);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashCollection___first_item].val = var_next; /* _first_item on <self:HashCollection[Object, HashNode[Object]]> */
 }
@@ -618,7 +618,7 @@ if (var15){
 var_next->attrs[COLOR_hash_collection__HashNode___prev_item].val = var_prev; /* _prev_item on <var_next:nullable HashNode[Object](HashNode[Object])> */
 } else {
 /* <var_prev:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct19 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1];
+type_struct19 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
 cltype17 = type_struct19->color;
 idtype18 = type_struct19->id;
 if(var_prev == NULL) {
@@ -634,7 +634,7 @@ if (!var16) {
 var_class_name20 = var_prev == NULL ? "null" : var_prev->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name20);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 118);
-exit(1);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashCollection___last_item].val = var_prev; /* _last_item on <self:HashCollection[Object, HashNode[Object]]> */
 }
@@ -663,7 +663,7 @@ var_prev->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_nex
 } else {
 var30 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
 /* <var_next:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct34 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1];
+type_struct34 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
 cltype32 = type_struct34->color;
 idtype33 = type_struct34->id;
 if(var_next == NULL) {
@@ -679,12 +679,12 @@ if (!var31) {
 var_class_name35 = var_next == NULL ? "null" : var_next->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name35);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128);
-exit(1);
+show_backtrace(1);
 }
 if (var30 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 128);
-exit(1);
+show_backtrace(1);
 } else {
 ((void (*)(val*, long, val*))(var30->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var30, var_i, var_next) /* []= on <var30:nullable NativeArray[nullable HashNode[Object]]>*/;
 }
@@ -749,8 +749,8 @@ var8 = 1; /* easy <var5:Int> isa OTHER*/
 if (!var8) {
 var_class_name = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+show_backtrace(1);
 }
 var9 = var_i >= var5;
 var6 = var9;
@@ -761,9 +761,9 @@ if (!var6) break;
 var10 = self->attrs[COLOR_hash_collection__HashCollection___array].val; /* _array on <self:HashCollection[Object, HashNode[Object]]> */
 var11 = NULL;
 if (var10 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 142);
-exit(1);
+show_backtrace(1);
 } else {
 ((void (*)(val*, long, val*))(var10->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var10, var_i, var11) /* []= on <var10:nullable NativeArray[nullable HashNode[Object]]>*/;
 }
@@ -859,13 +859,14 @@ long var_index /* var index: Int */;
 val* var59 /* : nullable Object */;
 val* var_next /* var next: nullable HashNode[Object] */;
 val* var60 /* : null */;
-short int var61 /* : Bool */;
-val* var62 /* : nullable HashNode[Object] */;
-short int var63 /* : Bool */;
-int cltype64;
-int idtype65;
-const struct type* type_struct66;
-const char* var_class_name67;
+val* var61 /* : null */;
+short int var62 /* : Bool */;
+val* var63 /* : nullable HashNode[Object] */;
+short int var64 /* : Bool */;
+int cltype65;
+int idtype66;
+const struct type* type_struct67;
+const char* var_class_name68;
 var_cap = p0;
 var = self->attrs[COLOR_hash_collection__HashCollection___capacity].l; /* _capacity on <self:HashCollection[Object, HashNode[Object]]> */
 var_old_cap = var;
@@ -884,8 +885,8 @@ var8 = 1; /* easy <var3:Int> isa OTHER*/
 if (!var8) {
 var_class_name = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 261);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 265);
+show_backtrace(1);
 }
 var9 = var_cap < var3;
 var6 = var9;
@@ -912,8 +913,8 @@ var18 = 1; /* easy <var15:Int> isa OTHER*/
 if (!var18) {
 var_class_name21 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name21);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+show_backtrace(1);
 }
 var22 = var_cap <= var15;
 var16 = var22;
@@ -947,8 +948,8 @@ var32 = 1; /* easy <var29:Int> isa OTHER*/
 if (!var32) {
 var_class_name35 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name35);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 262);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 266);
+show_backtrace(1);
 }
 var36 = var_i >= var29;
 var30 = var36;
@@ -977,8 +978,8 @@ var45 = 1; /* easy <var_old_cap:Int> isa OTHER*/
 if (!var45) {
 var_class_name48 = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name48);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 260);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 264);
+show_backtrace(1);
 }
 var49 = var42 <= var_old_cap;
 var43 = var49;
@@ -1003,7 +1004,7 @@ var53 = var_node->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <
 if (var53 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177);
-exit(1);
+show_backtrace(1);
 }
 /* <var53:Object> isa HashCollection#0 */
 type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT0];
@@ -1018,48 +1019,50 @@ if (!var54) {
 var_class_name57 = var53 == NULL ? "null" : var53->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashCollection#0", var_class_name57);
 fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 177);
-exit(1);
+show_backtrace(1);
 }
 var58 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var53) /* index_at on <self:HashCollection[Object, HashNode[Object]]>*/;
 var_index = var58;
 var59 = ((val* (*)(val*, long))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d]))(var_new_array, var_index) /* [] on <var_new_array:NativeArray[nullable HashNode[Object]]>*/;
 var_next = var59;
 ((void (*)(val*, long, val*))(var_new_array->class->vft[COLOR_array__NativeArray___91d_93d_61d]))(var_new_array, var_index, var_node) /* []= on <var_new_array:NativeArray[nullable HashNode[Object]]>*/;
-var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
 var60 = NULL;
+var_node->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var60; /* _prev_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var_node->attrs[COLOR_hash_collection__HashNode___next_in_bucklet].val = var_next; /* _next_in_bucklet on <var_node:nullable HashNode[Object](HashNode[Object])> */
+var61 = NULL;
 if (var_next == NULL) {
-var61 = 0; /* is null */
+var62 = 0; /* is null */
 } else {
-var61 = 1; /* arg is null and recv is not */
+var62 = 1; /* arg is null and recv is not */
 }
-if (var61){
+if (var62){
 var_next->attrs[COLOR_hash_collection__HashNode___prev_in_bucklet].val = var_node; /* _prev_in_bucklet on <var_next:nullable HashNode[Object](HashNode[Object])> */
 } else {
 }
-var62 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
-/* <var62:nullable HashNode[Object]> isa nullable HashCollection#1 */
-type_struct66 = self->type->resolution_table->types[COLOR_hash_collection__HashCollection_FT1];
-cltype64 = type_struct66->color;
-idtype65 = type_struct66->id;
-if(var62 == NULL) {
-var63 = 1;
+var63 = var_node->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var_node:nullable HashNode[Object](HashNode[Object])> */
+/* <var63:nullable HashNode[Object]> isa nullable HashCollection#1 */
+type_struct67 = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashCollection_FT1];
+cltype65 = type_struct67->color;
+idtype66 = type_struct67->id;
+if(var63 == NULL) {
+var64 = 1;
 } else {
-if(cltype64 >= var62->type->table_size) {
-var63 = 0;
+if(cltype65 >= var63->type->table_size) {
+var64 = 0;
 } else {
-var63 = var62->type->type_table[cltype64] == idtype65;
+var64 = var63->type->type_table[cltype65] == idtype66;
 }
 }
-if (!var63) {
-var_class_name67 = var62 == NULL ? "null" : var62->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name67);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 183);
-exit(1);
+if (!var64) {
+var_class_name68 = var63 == NULL ? "null" : var63->type->name;
+fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable HashCollection#1", var_class_name68);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 184);
+show_backtrace(1);
 }
-var_node = var62;
-CONTINUE_label68: (void)0;
+var_node = var63;
+CONTINUE_label69: (void)0;
 }
-BREAK_label68: (void)0;
+BREAK_label69: (void)0;
 RET_LABEL:;
 }
 /* method hash_collection#HashCollection#enlarge for (self: Object, Int) */
@@ -1103,7 +1106,7 @@ const struct type* type_struct;
 const char* var_class_name;
 /* Covariant cast for argument 0 (next_item) <p0:nullable HashNode[Object]> isa nullable N */
 /* <p0:nullable HashNode[Object]> isa nullable N */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashNode_VTN];
+type_struct = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashNode_VTN];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(p0 == NULL) {
@@ -1118,8 +1121,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 191);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 192);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashNode___next_item].val = p0; /* _next_item on <self:HashNode[Object]> */
 RET_LABEL:;
@@ -1156,7 +1159,7 @@ const struct type* type_struct;
 const char* var_class_name;
 /* Covariant cast for argument 0 (prev_item) <p0:nullable HashNode[Object]> isa nullable N */
 /* <p0:nullable HashNode[Object]> isa nullable N */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashNode_VTN];
+type_struct = self->type->resolution_table->types[COLOR_nullable_hash_collection__HashNode_VTN];
 cltype = type_struct->color;
 idtype = type_struct->id;
 if(p0 == NULL) {
@@ -1171,8 +1174,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "nullable N", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 192);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 193);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashNode___prev_item].val = p0; /* _prev_item on <self:HashNode[Object]> */
 RET_LABEL:;
@@ -1203,8 +1206,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashNode#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 195);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 196);
+show_backtrace(1);
 }
 var_k = p0;
 self->attrs[COLOR_hash_collection__HashNode___key].val = var_k; /* _key on <self:HashNode[Object]> */
@@ -1229,6 +1232,7 @@ val* var_c /* var c: nullable HashMapNode[Object, nullable Object] */;
 val* var3 /* : null */;
 short int var4 /* : Bool */;
 val* var5 /* : nullable Object */;
+val* var6 /* : nullable Object */;
 /* Covariant cast for argument 0 (key) <p0:Object> isa MapRead#0 */
 /* <p0:Object> isa MapRead#0 */
 type_struct = self->type->resolution_table->types[COLOR_abstract_collection__MapRead_FT0];
@@ -1242,8 +1246,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "MapRead#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 207);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 208);
+show_backtrace(1);
 }
 var_key = p0;
 var2 = ((val* (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at]))(self, var_key) /* node_at on <self:HashMap[Object, nullable Object]>*/;
@@ -1255,13 +1259,13 @@ var4 = 1; /* is null */
 var4 = 0; /* arg is null but recv is not */
 }
 if (var4){
-fprintf(stderr, "Runtime error: %s", "Aborted");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 211);
-exit(1);
-} else {
-var5 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+var5 = ((val* (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__MapRead__provide_default_value]))(self, var_key) /* provide_default_value on <self:HashMap[Object, nullable Object]>*/;
 var = var5;
 goto RET_LABEL;
+} else {
+var6 = var_c->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
+var = var6;
+goto RET_LABEL;
 }
 RET_LABEL:;
 return var;
@@ -1281,7 +1285,6 @@ val* var /* : HashMapIterator[Object, nullable Object] */;
 val* var1 /* : HashMapIterator[Object, nullable Object] */;
 var1 = NEW_hash_collection__HashMapIterator(self->type->resolution_table->types[COLOR_hash_collection__HashMapIteratorhash_collection__HashMap_FT0hash_collection__HashMap_FT1]);
 ((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashMapIterator__init]))(var1, self) /* init on <var1:HashMapIterator[Object, nullable Object]>*/;
-CHECK_NEW_hash_collection__HashMapIterator(var1);
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -1379,8 +1382,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 223);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 224);
+show_backtrace(1);
 }
 /* Covariant cast for argument 1 (v) <p1:nullable Object> isa Map#1 */
 /* <p1:nullable Object> isa Map#1 */
@@ -1400,8 +1403,8 @@ var1 = p1->type->type_table[cltype2] == idtype3;
 if (!var1) {
 var_class_name5 = p1 == NULL ? "null" : p1->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Map#1", var_class_name5);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 223);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 224);
+show_backtrace(1);
 }
 var_key = p0;
 var_v = p1;
@@ -1421,7 +1424,6 @@ var_c->attrs[COLOR_hash_collection__HashMapNode___value].val = var_v; /* _value
 } else {
 var10 = NEW_hash_collection__HashMapNode(self->type->resolution_table->types[COLOR_hash_collection__HashMapNodehash_collection__HashMap_FT0hash_collection__HashMap_FT1]);
 ((void (*)(val*, val*, val*))(var10->class->vft[COLOR_hash_collection__HashMapNode__init]))(var10, var_key, var_v) /* init on <var10:HashMapNode[Object, nullable Object]>*/;
-CHECK_NEW_hash_collection__HashMapNode(var10);
 ((void (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__store]))(self, var_i, var10) /* store on <self:HashMap[Object, nullable Object]>*/;
 }
 RET_LABEL:;
@@ -1467,8 +1469,8 @@ val* var1 /* : HashMapKeys[Object, nullable Object] */;
 var1 = self->attrs[COLOR_hash_collection__HashMap___64dkeys].val; /* @keys on <self:HashMap[Object, nullable Object]> */
 if (var1 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @keys");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 244);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -1503,8 +1505,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapKeys[HashMap#0, HashMap#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 244);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashMap___64dkeys].val = p0; /* @keys on <self:HashMap[Object, nullable Object]> */
 RET_LABEL:;
@@ -1521,8 +1523,8 @@ val* var1 /* : HashMapValues[Object, nullable Object] */;
 var1 = self->attrs[COLOR_hash_collection__HashMap___64dvalues].val; /* @values on <self:HashMap[Object, nullable Object]> */
 if (var1 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @values");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 246);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -1557,8 +1559,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapValues[HashMap#0, HashMap#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 245);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 246);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashMap___64dvalues].val = p0; /* @values on <self:HashMap[Object, nullable Object]> */
 RET_LABEL:;
@@ -1575,8 +1577,8 @@ val* var1 /* : HashMap[Object, nullable Object] */;
 var1 = self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val; /* @map on <self:HashMapKeys[Object, nullable Object]> */
 if (var1 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @map");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 251);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -1611,8 +1613,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 251);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 252);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val = p0; /* @map on <self:HashMapKeys[Object, nullable Object]> */
 RET_LABEL:;
@@ -1647,8 +1649,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 254);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 255);
+show_backtrace(1);
 }
 var_k = p0;
 var2 = ((short int (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Collection__has]))(self, var_k) /* has on <self:HashMapKeys[Object, nullable Object]>*/;
@@ -1682,15 +1684,15 @@ val* var3 /* : Object */;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
 var2 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var1:HashMap[Object, nullable Object]> */
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 255);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256);
+show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var2:nullable HashNode[Object](nullable HashMapNode[Object, nullable Object])> */
 if (var3 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 255);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256);
+show_backtrace(1);
 }
 var = var3;
 goto RET_LABEL;
@@ -1732,8 +1734,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 256);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 257);
+show_backtrace(1);
 }
 var_k = p0;
 var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
@@ -1790,8 +1792,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 257);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 258);
+show_backtrace(1);
 }
 var_k = p0;
 var4 = ((short int (*)(val*, val*))(self->class->vft[COLOR_abstract_collection__Collection__has]))(self, var_k) /* has on <self:HashMapKeys[Object, nullable Object]>*/;
@@ -1882,7 +1884,6 @@ var1 = NEW_abstract_collection__MapKeysIterator(self->type->resolution_table->ty
 var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_abstract_collection__MapRead__iterator]))(var2) /* iterator on <var2:HashMap[Object, nullable Object]>*/;
 ((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapKeysIterator__init]))(var1, var3) /* init on <var1:MapKeysIterator[Object, nullable Object]>*/;
-CHECK_NEW_abstract_collection__MapKeysIterator(var1);
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -1931,8 +1932,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 265);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 266);
+show_backtrace(1);
 }
 var_key = p0;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
@@ -1966,8 +1967,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 266);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 267);
+show_backtrace(1);
 }
 var_key = p0;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapKeys__map]))(self) /* map on <self:HashMapKeys[Object, nullable Object]>*/;
@@ -1999,8 +2000,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapKeys#0, HashMapKeys#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 248);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 249);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashMapKeys___64dmap].val = p0; /* @map on <self:HashMapKeys[Object, nullable Object]> */
 RET_LABEL:;
@@ -2017,8 +2018,8 @@ val* var1 /* : HashMap[Object, nullable Object] */;
 var1 = self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val; /* @map on <self:HashMapValues[Object, nullable Object]> */
 if (var1 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @map");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 272);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
 }
 var = var1;
 RET_LABEL:;
@@ -2053,8 +2054,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 272);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 273);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val = p0; /* @map on <self:HashMapValues[Object, nullable Object]> */
 RET_LABEL:;
@@ -2105,8 +2106,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 275);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 276);
+show_backtrace(1);
 }
 var_item = p0;
 var2 = 0;
@@ -2167,9 +2168,9 @@ val* var3 /* : nullable Object */;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
 var2 = var1->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <var1:HashMap[Object, nullable Object]> */
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 285);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 286);
+show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var2:nullable HashNode[Object](nullable HashMapNode[Object, nullable Object])> */
 var = var3;
@@ -2224,8 +2225,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 287);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 288);
+show_backtrace(1);
 }
 var_item = p0;
 var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
@@ -2309,8 +2310,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 297);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 298);
+show_backtrace(1);
 }
 var_item = p0;
 var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
@@ -2408,7 +2409,6 @@ var1 = NEW_abstract_collection__MapValuesIterator(self->type->resolution_table->
 var2 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
 var3 = ((val* (*)(val*))(var2->class->vft[COLOR_abstract_collection__MapRead__iterator]))(var2) /* iterator on <var2:HashMap[Object, nullable Object]>*/;
 ((void (*)(val*, val*))(var1->class->vft[COLOR_abstract_collection__MapValuesIterator__init]))(var1, var3) /* init on <var1:MapValuesIterator[Object, nullable Object]>*/;
-CHECK_NEW_abstract_collection__MapValuesIterator(var1);
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -2472,8 +2472,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 314);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 315);
+show_backtrace(1);
 }
 var_item = p0;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
@@ -2498,8 +2498,8 @@ if (var6){
 var7 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
 if (var7 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 320);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 321);
+show_backtrace(1);
 }
 ((void (*)(val*, val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var_map, var7) /* remove_node on <var_map:HashMap[Object, nullable Object]>*/;
 goto RET_LABEL;
@@ -2554,8 +2554,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 327);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 328);
+show_backtrace(1);
 }
 var_item = p0;
 var1 = ((val* (*)(val*))(self->class->vft[COLOR_hash_collection__HashMapValues__map]))(self) /* map on <self:HashMapValues[Object, nullable Object]>*/;
@@ -2580,8 +2580,8 @@ if (var6){
 var7 = var_c->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var_c:nullable HashMapNode[Object, nullable Object](HashMapNode[Object, nullable Object])> */
 if (var7 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 333);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 334);
+show_backtrace(1);
 }
 ((void (*)(val*, val*))(var_map->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(var_map, var7) /* remove_node on <var_map:HashMap[Object, nullable Object]>*/;
 } else {
@@ -2618,8 +2618,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapValues#0, HashMapValues#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 269);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 270);
+show_backtrace(1);
 }
 self->attrs[COLOR_hash_collection__HashMapValues___64dmap].val = p0; /* @map on <self:HashMapValues[Object, nullable Object]> */
 RET_LABEL:;
@@ -2657,8 +2657,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 345);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 346);
+show_backtrace(1);
 }
 /* Covariant cast for argument 1 (v) <p1:nullable Object> isa HashMapNode#1 */
 /* <p1:nullable Object> isa HashMapNode#1 */
@@ -2678,8 +2678,8 @@ var1 = p1->type->type_table[cltype2] == idtype3;
 if (!var1) {
 var_class_name5 = p1 == NULL ? "null" : p1->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMapNode#1", var_class_name5);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 345);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 346);
+show_backtrace(1);
 }
 var_k = p0;
 var_v = p1;
@@ -2728,14 +2728,14 @@ val* var3 /* : nullable Object */;
 var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on <self:HashMapIterator[Object, nullable Object]>*/;
 if (!var1) {
 fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 358);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 359);
+show_backtrace(1);
 }
 var2 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on <self:HashMapIterator[Object, nullable Object]> */
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 359);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 360);
+show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashMapNode___value].val; /* _value on <var2:nullable HashMapNode[Object, nullable Object]> */
 var = var3;
@@ -2761,20 +2761,20 @@ val* var3 /* : Object */;
 var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on <self:HashMapIterator[Object, nullable Object]>*/;
 if (!var1) {
 fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 370);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 371);
+show_backtrace(1);
 }
 var2 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on <self:HashMapIterator[Object, nullable Object]> */
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 371);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 372);
+show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var2:nullable HashMapNode[Object, nullable Object]> */
 if (var3 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 371);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 372);
+show_backtrace(1);
 }
 var = var3;
 goto RET_LABEL;
@@ -2798,14 +2798,14 @@ val* var2 /* : nullable HashNode[Object] */;
 var = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__MapIterator__is_ok]))(self) /* is_ok on <self:HashMapIterator[Object, nullable Object]>*/;
 if (!var) {
 fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 376);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 377);
+show_backtrace(1);
 }
 var1 = self->attrs[COLOR_hash_collection__HashMapIterator___node].val; /* _node on <self:HashMapIterator[Object, nullable Object]> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 377);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 378);
+show_backtrace(1);
 }
 var2 = var1->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var1:nullable HashMapNode[Object, nullable Object]> */
 self->attrs[COLOR_hash_collection__HashMapIterator___node].val = var2; /* _node on <self:HashMapIterator[Object, nullable Object]> */
@@ -2838,8 +2838,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMapIterator#0, HashMapIterator#1]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 386);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 387);
+show_backtrace(1);
 }
 var_map = p0;
 self->attrs[COLOR_hash_collection__HashMapIterator___map].val = var_map; /* _map on <self:HashMapIterator[Object, nullable Object]> */
@@ -2922,8 +2922,8 @@ var5 = 1; /* easy <var2:Int> isa OTHER*/
 if (!var5) {
 var_class_name = type_kernel__Int.name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "OTHER", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 263);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/kernel.nit", 267);
+show_backtrace(1);
 }
 var6 = var1 > var2;
 var3 = var6;
@@ -2932,20 +2932,20 @@ RET_LABEL4:(void)0;
 }
 if (!var3) {
 fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 405);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 406);
+show_backtrace(1);
 }
 var7 = self->attrs[COLOR_hash_collection__HashCollection___first_item].val; /* _first_item on <self:HashSet[Object]> */
 if (var7 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 406);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 407);
+show_backtrace(1);
 }
 var8 = var7->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var7:nullable HashNode[Object](nullable HashSetNode[Object])> */
 if (var8 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 406);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 407);
+show_backtrace(1);
 }
 var = var8;
 goto RET_LABEL;
@@ -2986,8 +2986,8 @@ var1 = p0->type->type_table[cltype] == idtype;
 if (!var1) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 409);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 410);
+show_backtrace(1);
 }
 var_item = p0;
 var2 = ((val* (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__node_at]))(self, var_item) /* node_at on <self:HashSet[Object]>*/;
@@ -3039,8 +3039,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "SimpleCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 414);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 415);
+show_backtrace(1);
 }
 var_item = p0;
 var1 = ((long (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__index_at]))(self, var_item) /* index_at on <self:HashSet[Object]>*/;
@@ -3058,7 +3058,6 @@ var_c->attrs[COLOR_hash_collection__HashNode___key].val = var_item; /* _key on <
 } else {
 var5 = NEW_hash_collection__HashSetNode(self->type->resolution_table->types[COLOR_hash_collection__HashSetNodehash_collection__HashSet_FT0]);
 ((void (*)(val*, val*))(var5->class->vft[COLOR_hash_collection__HashSetNode__init]))(var5, var_item) /* init on <var5:HashSetNode[Object]>*/;
-CHECK_NEW_hash_collection__HashSetNode(var5);
 ((void (*)(val*, long, val*))(self->class->vft[COLOR_hash_collection__HashCollection__store]))(self, var_i, var5) /* store on <self:HashSet[Object]>*/;
 }
 RET_LABEL:;
@@ -3089,8 +3088,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "RemovableCollection#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 425);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 426);
+show_backtrace(1);
 }
 var_item = p0;
 ((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashCollection__remove_node]))(self, var_item) /* remove_node on <self:HashSet[Object]>*/;
@@ -3117,7 +3116,6 @@ val* var /* : Iterator[Object] */;
 val* var1 /* : HashSetIterator[Object] */;
 var1 = NEW_hash_collection__HashSetIterator(self->type->resolution_table->types[COLOR_hash_collection__HashSetIteratorhash_collection__HashSet_FT0]);
 ((void (*)(val*, val*))(var1->class->vft[COLOR_hash_collection__HashSetIterator__init]))(var1, self) /* init on <var1:HashSetIterator[Object]>*/;
-CHECK_NEW_hash_collection__HashSetIterator(var1);
 var = var1;
 goto RET_LABEL;
 RET_LABEL:;
@@ -3172,8 +3170,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "Collection[HashSet#0]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 438);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 439);
+show_backtrace(1);
 }
 var_coll = p0;
 ((void (*)(val*))(self->class->vft[COLOR_hash_collection__HashSet__init]))(self) /* init on <self:HashSet[Object]>*/;
@@ -3206,8 +3204,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSetNode#0", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 449);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 450);
+show_backtrace(1);
 }
 var_e = p0;
 ((void (*)(val*, val*))(self->class->vft[COLOR_hash_collection__HashNode__init]))(self, p0) /* init on <self:HashSetNode[Object]>*/;
@@ -3255,20 +3253,20 @@ val* var3 /* : Object */;
 var1 = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(self) /* is_ok on <self:HashSetIterator[Object]>*/;
 if (!var1) {
 fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 461);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 462);
+show_backtrace(1);
 }
 var2 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on <self:HashSetIterator[Object]> */
 if (var2 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 462);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 463);
+show_backtrace(1);
 }
 var3 = var2->attrs[COLOR_hash_collection__HashNode___key].val; /* _key on <var2:nullable HashSetNode[Object]> */
 if (var3 == NULL) {
 fprintf(stderr, "Runtime error: %s", "Uninitialized attribute _key");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 462);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 463);
+show_backtrace(1);
 }
 var = var3;
 goto RET_LABEL;
@@ -3292,14 +3290,14 @@ val* var2 /* : nullable HashNode[Object] */;
 var = ((short int (*)(val*))(self->class->vft[COLOR_abstract_collection__Iterator__is_ok]))(self) /* is_ok on <self:HashSetIterator[Object]>*/;
 if (!var) {
 fprintf(stderr, "Runtime error: %s", "Assert failed");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 467);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 468);
+show_backtrace(1);
 }
 var1 = self->attrs[COLOR_hash_collection__HashSetIterator___node].val; /* _node on <self:HashSetIterator[Object]> */
 if (var1 == NULL) {
-fprintf(stderr, "Runtime error: %s", "Reciever is null");
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 468);
-exit(1);
+fprintf(stderr, "Runtime error: %s", "Receiver is null");
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 469);
+show_backtrace(1);
 }
 var2 = var1->attrs[COLOR_hash_collection__HashNode___next_item].val; /* _next_item on <var1:nullable HashSetNode[Object]> */
 self->attrs[COLOR_hash_collection__HashSetIterator___node].val = var2; /* _node on <self:HashSetIterator[Object]> */
@@ -3332,8 +3330,8 @@ var = p0->type->type_table[cltype] == idtype;
 if (!var) {
 var_class_name = p0 == NULL ? "null" : p0->type->name;
 fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashSet[HashSetIterator#0]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 477);
-exit(1);
+fprintf(stderr, " (%s:%d)\n", "lib/standard/collection/hash_collection.nit", 478);
+show_backtrace(1);
 }
 var_set = p0;
 self->attrs[COLOR_hash_collection__HashSetIterator___set].val = var_set; /* _set on <self:HashSetIterator[Object]> */