-/* method more_collections#HashMap2#level1 for (self: Object): HashMap[Object, HashMap[Object, nullable Object]] */
-val* VIRTUAL_more_collections__HashMap2__level1(val* self) {
-val* var /* : HashMap[Object, HashMap[Object, nullable Object]] */;
-val* var1 /* : HashMap[Object, HashMap[Object, nullable Object]] */;
-var1 = more_collections__HashMap2__level1(self);
-var = var1;
-RET_LABEL:;
-return var;
-}
-/* method more_collections#HashMap2#level1= for (self: HashMap2[Object, Object, nullable Object], HashMap[Object, HashMap[Object, nullable Object]]) */
-void more_collections__HashMap2__level1_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 (level1) <p0:HashMap[Object, HashMap[Object, nullable Object]]> isa HashMap[HashMap2#0, HashMap[HashMap2#1, HashMap2#2]] */
-/* <p0:HashMap[Object, HashMap[Object, nullable Object]]> isa HashMap[HashMap2#0, HashMap[HashMap2#1, HashMap2#2]] */
-type_struct = self->type->resolution_table->types[COLOR_hash_collection__HashMapmore_collections__HashMap2_FT0hash_collection__HashMapmore_collections__HashMap2_FT1more_collections__HashMap2_FT2];
-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 (!var) {
-var_class_name = p0 == NULL ? "null" : p0->type->name;
-fprintf(stderr, "Runtime error: Cast failed. Expected `%s`, got `%s`", "HashMap[HashMap2#0, HashMap[HashMap2#1, HashMap2#2]]", var_class_name);
-fprintf(stderr, " (%s:%d)\n", "lib/more_collections.nit", 57);
-show_backtrace(1);
-}
-self->attrs[COLOR_more_collections__HashMap2___64dlevel1].val = p0; /* @level1 on <self:HashMap2[Object, Object, nullable Object]> */
-RET_LABEL:;
-}
-/* method more_collections#HashMap2#level1= for (self: Object, HashMap[Object, HashMap[Object, nullable Object]]) */
-void VIRTUAL_more_collections__HashMap2__level1_61d(val* self, val* p0) {
-more_collections__HashMap2__level1_61d(self, p0);
-RET_LABEL:;
-}
-/* method more_collections#HashMap2#[] for (self: HashMap2[Object, Object, nullable Object], Object, Object): nullable Object */
-val* more_collections__HashMap2___91d_93d(val* self, val* p0, val* p1) {