val* NEW_array__NativeArray(int length, const struct type* type);
extern const struct type type_array__NativeArrayopts__Option;
extern const int COLOR_array__Array__with_native;
-void CHECK_NEW_array__Array(val*);
extern const int COLOR_opts__OptionContext__add_option;
void separate_erasure_compiler__ToolContext__init(val* self);
extern const int COLOR_time__Object__get_time;
val* NEW_separate_erasure_compiler__SeparateErasureCompiler(const struct type* type);
extern const struct type type_separate_erasure_compiler__SeparateErasureCompiler;
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__init;
-void CHECK_NEW_separate_erasure_compiler__SeparateErasureCompiler(val*);
extern const int COLOR_abstract_compiler__AbstractCompiler__compile_header;
-extern const int COLOR_model_base__MModule__name;
+extern const int COLOR_mmodule__MModule__name;
extern const struct type type_array__Arraykernel__Object;
extern const struct type type_array__NativeArraykernel__Object;
extern const int COLOR_string__Object__to_s;
extern const int COLOR_abstract_compiler__AbstractCompiler__new_file;
extern const int COLOR_separate_compiler__SeparateCompiler__do_property_coloring;
-extern const int COLOR_model_base__MModule__in_importation;
+extern const int COLOR_mmodule__MModule__in_importation;
extern const int COLOR_poset__POSetElement__greaters;
extern const int COLOR_abstract_collection__Collection__iterator;
extern const int COLOR_abstract_collection__Iterator__is_ok;
extern const int COLOR_abstract_compiler__AbstractCompiler__compile_main_function;
extern const int COLOR_separate_compiler__SeparateCompiler__compile_module_to_c;
extern const int COLOR_abstract_compiler__AbstractCompiler__display_stats;
+val* BOX_kernel__Int(long);
extern const int COLOR_abstract_compiler__ModelBuilder__write_and_make;
void separate_erasure_compiler__ModelBuilder__run_separate_erasure_compiler(val* self, val* p0, val* p1);
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler___64dclass_layout;
extern const int COLOR_modelbuilder__ModelBuilder__model;
extern const int COLOR_model__Model__mclasses;
extern const int COLOR_hash_collection__HashSet__from;
-void CHECK_NEW_hash_collection__HashSet(val*);
val* NEW_layout_builders__MClassColorer(const struct type* type);
extern const struct type type_layout_builders__MClassColorer;
extern const int COLOR_layout_builders__MClassColorer__init;
-void CHECK_NEW_layout_builders__MClassColorer(val*);
extern const int COLOR_abstract_compiler__AbstractCompiler__modelbuilder;
extern const int COLOR_separate_compiler__ToolContext__opt_phmod_typing;
extern const int COLOR_opts__Option__value;
val* NEW_layout_builders__PHModOperator(const struct type* type);
extern const struct type type_layout_builders__PHModOperator;
extern const int COLOR_layout_builders__PHModOperator__init;
-void CHECK_NEW_layout_builders__PHModOperator(val*);
extern const int COLOR_layout_builders__MClassHasher__init;
-void CHECK_NEW_layout_builders__MClassHasher(val*);
extern const int COLOR_layout_builders__TypingLayoutBuilder__build_layout;
extern const int COLOR_separate_compiler__ToolContext__opt_phand_typing;
val* NEW_layout_builders__PHAndOperator(const struct type* type);
extern const struct type type_layout_builders__PHAndOperator;
extern const int COLOR_layout_builders__PHAndOperator__init;
-void CHECK_NEW_layout_builders__PHAndOperator(val*);
extern const int COLOR_separate_compiler__ToolContext__opt_bm_typing;
val* NEW_layout_builders__MClassBMizer(const struct type* type);
extern const struct type type_layout_builders__MClassBMizer;
extern const int COLOR_layout_builders__MClassBMizer__init;
-void CHECK_NEW_layout_builders__MClassBMizer(val*);
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__class_layout_61d;
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__build_class_typing_tables;
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__class_tables_61d;
val* NEW_hash_collection__HashMap(const struct type* type);
extern const struct type type_hash_collection__HashMapmodel__MClassabstract_collection__Setmodel__MVirtualTypeProp;
extern const int COLOR_hash_collection__HashMap__init;
-void CHECK_NEW_hash_collection__HashMap(val*);
extern const struct type type_hash_collection__HashSetmodel__MVirtualTypeProp;
extern const int COLOR_hash_collection__HashSet__init;
extern const int COLOR_abstract_collection__Map___91d_93d_61d;
val* NEW_layout_builders__MPropertyColorer(const struct type* type);
extern const struct type type_layout_builders__MPropertyColorermodel__MVirtualTypeProp;
extern const int COLOR_layout_builders__MPropertyColorer__init;
-void CHECK_NEW_layout_builders__MPropertyColorer(val*);
extern const int COLOR_layout_builders__PropertyLayoutBuilder__build_layout;
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__build_vt_tables;
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__vt_tables_61d;
val* NEW_range__Range(const struct type* type);
extern const struct type type_range__Rangekernel__Int;
extern const int COLOR_range__Range__without_last;
-void CHECK_NEW_range__Range(val*);
extern const int COLOR_abstract_collection__Sequence___91d_93d_61d;
extern const int COLOR_model__MProperty__mpropdefs;
extern const int COLOR_model__MPropDef__mclassdef;
extern const int COLOR_model__MClass__intro;
extern const int COLOR_model__MClassDef__bound_mtype;
extern const int COLOR_abstract_compiler__MClass__c_name;
+extern const int COLOR_separate_compiler__MClass__c_instance_name;
extern const int COLOR_separate_compiler__SeparateCompiler__method_tables;
extern const int COLOR_separate_compiler__SeparateCompiler__attr_tables;
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__class_tables;
extern const int COLOR_kernel__Object___33d_61d;
extern const int COLOR_abstract_compiler__MPropDef__c_name;
extern const int COLOR_model__MClass__intro_mmodule;
+extern const int COLOR_model__MClassType__mclass;
+extern const int COLOR_model__MClass__kind;
+extern const int COLOR_model__Object__extern_kind;
extern const int COLOR_abstract_compiler__MType__c_name;
extern const int COLOR_abstract_compiler__AbstractCompilerVisitor__add;
extern const int COLOR_abstract_compiler__AbstractCompilerVisitor__new_named_var;
extern const int COLOR_model__MClassType__arguments;
extern const int COLOR_abstract_collection__Collection__first;
extern const int COLOR_abstract_compiler__AbstractCompiler__generate_init_attr;
-extern const int COLOR_abstract_compiler__AbstractCompiler__generate_check_init_instance;
void separate_erasure_compiler__SeparateErasureCompiler__compile_class_to_c(val* self, val* p0);
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler__vt_tables;
extern const int COLOR_abstract_collection__Collection__is_empty;
extern const struct type type_model__MNullableType;
extern const int COLOR_model__MNullableType__mtype;
extern const struct type type_model__MClassType;
-extern const int COLOR_model__MClassType__mclass;
short int separate_erasure_compiler__SeparateErasureCompiler__build_class_vts_table(val* self, val* p0);
extern const int COLOR_file__Object__print;
extern const struct type type_model__MVirtualType;
val* NEW_separate_erasure_compiler__SeparateErasureCompilerVisitor(const struct type* type);
extern const struct type type_separate_erasure_compiler__SeparateErasureCompilerVisitor;
extern const int COLOR_abstract_compiler__AbstractCompilerVisitor__init;
-void CHECK_NEW_separate_erasure_compiler__SeparateErasureCompilerVisitor(val*);
extern const int COLOR_abstract_compiler__AbstractCompiler_VTVISITOR;
val* separate_erasure_compiler__SeparateErasureCompiler__new_visitor(val* self);
extern const int COLOR_separate_erasure_compiler__SeparateErasureCompiler___64dclass_tables;
extern const struct type type_array__Arrayabstract_compiler__RuntimeVariable;
extern const struct type type_array__NativeArrayabstract_compiler__RuntimeVariable;
extern const int COLOR_abstract_compiler__AbstractCompilerVisitor__send;
-extern const int COLOR_abstract_compiler__AbstractCompilerVisitor__check_init_instance;
val* separate_erasure_compiler__SeparateErasureCompilerVisitor__array_instance(val* self, val* p0, val* p1);
extern const int COLOR_abstract_compiler__AbstractCompilerVisitor__ret;
void separate_erasure_compiler__SeparateErasureCompilerVisitor__calloc_array(val* self, val* p0, val* p1);