-#define COLOR_nit__phase__ToolContext___opt_disable_phase 27
-#define COLOR_nit__phase__ToolContext___opt_sloppy 28
-#define COLOR_nit__phase___ToolContext___standard__kernel__Object__init 157
-#define COLOR_nit__toolcontext__ToolContext___option_context 7
+#define COLOR_nit__phase__ToolContext___opt_disable_phase 36
+#define COLOR_nit__phase__ToolContext___opt_sloppy 37
+#define COLOR_nit__phase___ToolContext___standard__kernel__Object__init 154
+#define COLOR_nit__toolcontext__ToolContext___option_context 15
extern const char FILE_nit__toolcontext[];
val* NEW_standard__Array(const struct type* type);
extern const struct type type_standard__Array__opts__Option;
val* NEW_standard__NativeArray(int length, const struct type* type);
extern const struct type type_standard__NativeArray__opts__Option;
extern const char FILE_nit__toolcontext[];
val* NEW_standard__Array(const struct type* type);
extern const struct type type_standard__Array__opts__Option;
val* NEW_standard__NativeArray(int length, const struct type* type);
extern const struct type type_standard__NativeArray__opts__Option;
#define COLOR_opts__Option___value 6
val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self);
short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self);
val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self);
val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
#define COLOR_opts__Option___value 6
val* standard___standard__AbstractArrayRead___standard__abstract_collection__Collection__iterator(val* self);
short int standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__is_ok(val* self);
val* standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__item(val* self);
val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
-#define COLOR_standard__abstract_collection__Collection__iterator 37
-#define COLOR_standard__abstract_collection__Iterator__is_ok 34
-#define COLOR_standard__abstract_collection__Iterator__item 32
+#define COLOR_standard__abstract_collection__Collection__iterator 25
+#define COLOR_standard__abstract_collection__Iterator__is_ok 16
+#define COLOR_standard__abstract_collection__Iterator__item 17
#define COLOR_nit__phase__Phase___in_hierarchy 1
val* poset___poset__POSetElement___direct_greaters(val* self);
#define COLOR_nit__phase__Phase___in_hierarchy 1
val* poset___poset__POSetElement___direct_greaters(val* self);
-#define COLOR_standard__abstract_collection__Collection__is_empty 38
-void standard__file___Object___print(val* self, val* p0);
+#define COLOR_standard__abstract_collection__Collection__is_empty 24
+void standard__file___Sys___print(val* self, val* p0);
+extern const struct type type_standard__NativeArray__standard__String;
+#define COLOR_standard__string__Object__to_s 3
-extern const struct type type_standard__Array__standard__Object;
-extern const struct type type_standard__NativeArray__standard__Object;
-#define COLOR_standard__string__Object__to_s 9
-#define COLOR_standard__abstract_collection__Iterator__next 33
+#define COLOR_standard__string__NativeArray__native_to_s 16
+#define COLOR_standard__abstract_collection__Iterator__next 18
+#define COLOR_standard__abstract_collection__Iterator__finish 19
val* poset___poset__POSet___standard__abstract_collection__Collection__iterator(val* self);
val* nit___nit__Phase___standard__string__Object__to_s(val* self);
#define COLOR_nit__phase__Phase___disabled 3
void nit___nit__ToolContext___fatal_error(val* self, val* p0, val* p1);
void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self);
val* poset___poset__POSet___standard__abstract_collection__Collection__iterator(val* self);
val* nit___nit__Phase___standard__string__Object__to_s(val* self);
#define COLOR_nit__phase__Phase___disabled 3
void nit___nit__ToolContext___fatal_error(val* self, val* p0, val* p1);
void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__next(val* self);
-#define COLOR_nit__phase__ToolContext___semantize_is_lazy 31
-#define COLOR_nit__phase__ToolContext___phases_list 29
+void standard__array___standard__array__ArrayIterator___standard__abstract_collection__Iterator__finish(val* self);
+#define COLOR_nit__phase__ToolContext___semantize_is_lazy 40
+#define COLOR_nit__phase__ToolContext___phases_list 38
val* standard__array___Collection___to_a(val* self);
void standard___standard__Comparator___sort(val* self, val* p0);
val* standard__array___Collection___to_a(val* self);
void standard___standard__Comparator___sort(val* self, val* p0);
#include "time_nit.h"
void nit___nit__ToolContext___info(val* self, val* p0, long p1);
short int standard___standard__HashSet___standard__abstract_collection__Collection__has(val* self, val* p0);
#include "time_nit.h"
void nit___nit__ToolContext___info(val* self, val* p0, long p1);
short int standard___standard__HashSet___standard__abstract_collection__Collection__has(val* self, val* p0);
extern const char FILE_nit__parser_nodes[];
#define COLOR_nit__location__Location___file 0
extern const char FILE_nit__location[];
extern const char FILE_nit__parser_nodes[];
#define COLOR_nit__location__Location___file 0
extern const char FILE_nit__location[];
val* NEW_nit__phase__AnnotationPhaseVisitor(const struct type* type);
extern const struct type type_nit__phase__AnnotationPhaseVisitor;
void nit___nit__Visitor___enter_visit(val* self, val* p0);
#define COLOR_nit__phase__Phase___toolcontext 0
val* NEW_nit__phase__AnnotationPhaseVisitor(const struct type* type);
extern const struct type type_nit__phase__AnnotationPhaseVisitor;
void nit___nit__Visitor___enter_visit(val* self, val* p0);
#define COLOR_nit__phase__Phase___toolcontext 0
-#define COLOR_nit__toolcontext__ToolContext___error_count 0
-#define COLOR_nit__phase__Phase__process_nmodule 40
+#define COLOR_nit__toolcontext__ToolContext___error_count 7
+#define COLOR_nit__phase__Phase__process_nmodule 23
void nit__phase___ToolContext___phase_process_npropdef(val* self, val* p0, val* p1);
#define COLOR_nit__phase__AnnotationPhaseVisitor___annotations 1
#define COLOR_nit__parser_nodes__ANode___parent 1
void nit__phase___ToolContext___phase_process_npropdef(val* self, val* p0, val* p1);
#define COLOR_nit__phase__AnnotationPhaseVisitor___annotations 1
#define COLOR_nit__parser_nodes__ANode___parent 1
-val* BOX_standard__Int(long);
-void nit___nit__ToolContext___errors_info(val* self);
-#define COLOR_nit__phase__Phase__process_npropdef 42
-#define COLOR_nit__phase__APropdef___is_phased 13
-#define COLOR_nit__parser_nodes__ANode__visit_all 40
+val* standard__string___Int___Object__to_s(long self);
+#define COLOR_nit__phase__Phase__process_npropdef 26
+#define COLOR_nit__phase__APropdef___is_phased 5
+#define COLOR_nit__parser_nodes__ANode__visit_all 20
extern const struct type type_nit__AAnnotation;
void standard___standard__Array___standard__abstract_collection__SimpleCollection__add(val* self, val* p0);
#define COLOR_nit__phase__Phase___depends 2
extern const struct type type_nit__AAnnotation;
void standard___standard__Array___standard__abstract_collection__SimpleCollection__add(val* self, val* p0);
#define COLOR_nit__phase__Phase___depends 2
void poset___poset__POSet___add_edge(val* self, val* p0, val* p1);
val* standard__string___Object___class_name(val* self);
val* standard__file___String___strip_extension(val* self, val* p0);
void poset___poset__POSet___add_edge(val* self, val* p0, val* p1);
val* standard__string___Object___class_name(val* self);
val* standard__file___String___strip_extension(val* self, val* p0);