extern const int COLOR_abstract_collection__Sequence__append;
extern const int COLOR_environ__String__environ;
extern const int COLOR_abstract_collection__Collection__is_empty;
+val* BOX_kernel__Char(char);
extern const int COLOR_string_search__String__split_with;
extern const struct type type_array__Arraykernel__Object;
extern const int COLOR_array__Array__with_capacity;
extern const int COLOR_modelbuilder__ModelBuilder__load_module;
extern const int COLOR_modelbuilder__AModule__mmodule;
extern const struct type type_array__NativeArraykernel__Object;
+val* BOX_kernel__Int(long);
extern const int COLOR_toolcontext__ToolContext__check_errors;
val* modelbuilder__ModelBuilder__parse(val* self, val* p0);
extern const int COLOR_model__Model__get_mclasses_by_name;
extern const int COLOR_modelbuilder__ModulePath__name;
extern const int COLOR_modelbuilder__ModelBuilder__build_a_mmodule;
extern const int COLOR_modelbuilder__ModulePath__mmodule_61d;
+extern const int COLOR_modelbuilder__ModelBuilder__build_module_importation;
val* modelbuilder__ModelBuilder__load_module(val* self, val* p0);
val* NEW_mmodule__MModule(const struct type* type);
extern const struct type type_mmodule__MModule;
extern const int COLOR_parser_nodes__AModuledecl__n_name;
extern const int COLOR_parser_nodes__AModuleName__n_id;
extern const int COLOR_parser_nodes__Token__text;
-extern const int COLOR_modelbuilder__ModelBuilder__build_module_importation;
val* modelbuilder__ModelBuilder__build_a_mmodule(val* self, val* p0, val* p1, val* p2);
extern const int COLOR_modelbuilder__AModule__is_importation_done;
extern const int COLOR_modelbuilder__AModule__is_importation_done_61d;
extern const int COLOR_modelbuilder__AVisibility__mvisibility;
extern const int COLOR_model_base__Object__protected_visibility;
extern const int COLOR_kernel__Object___61d_61d;
+extern const int COLOR_poset__POSetElement___60d;
extern const int COLOR_model_base__Object__public_visibility;
void modelbuilder__ModelBuilder__build_module_importation(val* self, val* p0);
extern const int COLOR_modelbuilder__ModelBuilder___64dnmodules;