--- /dev/null
+#include "nit.common.h"
+extern const int COLOR_frontend__ToolContext___64ddummy;
+short int frontend__ToolContext__dummy(val* self);
+void frontend__ToolContext__dummy_61d(val* self, short int p0);
+extern const int COLOR_phase__ToolContext__phases;
+extern const int COLOR_simple_misc_analysis__ToolContext__simple_misc_analysis_phase;
+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;
+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);