extern const int COLOR_modelize_property__ToolContext__modelize_property_phase;
extern const int COLOR_poset__POSet__add_edge;
extern const int COLOR_scope__ToolContext__scope_phase;
+extern const int COLOR_literal__ToolContext__literal_phase;
+extern const int COLOR_serialization_phase__ToolContext__serialization_phase;
short int frontend__ToolContext__do_dummy(val* self);
-extern const int COLOR_phase__ToolContext__phases_list;
-extern const int COLOR_abstract_collection__Collection__iterator;
-extern const int COLOR_abstract_collection__Iterator__is_ok;
-extern const int COLOR_abstract_collection__Iterator__item;
-extern const int COLOR_frontend__Phase__process_mainmodule;
-extern const int COLOR_abstract_collection__Iterator__next;
-void frontend__ToolContext__run_global_phases(val* self, val* p0);
-void frontend__Phase__process_mainmodule(val* self, val* p0);