+extern const struct type type_array__NativeArrayopts__Option;
+#define COLOR_array__Array__with_native 74
+void opts__OptionContext__add_option(val* self, val* p0);
+void phase__ToolContext__init(val* self);
+#define COLOR_phase__ToolContext__process_options 144
+#define COLOR_opts__Option___value 6
+val* array__AbstractArrayRead__iterator(val* self);
+short int array__ArrayIterator__is_ok(val* self);
+val* array__ArrayIterator__item(val* self);
+val* string__NativeString__to_s_with_length(char* self, long p0);
+short int string__FlatString___61d_61d(val* self, val* p0);
+val* phase__ToolContext__phases_list(val* self);
+#define COLOR_abstract_collection__Collection__iterator 37
+#define COLOR_abstract_collection__Iterator__is_ok 33
+#define COLOR_abstract_collection__Iterator__item 31
+#define COLOR_phase__Phase___in_hierarchy 1
+val* poset__POSetElement__direct_greaters(val* self);
+#define COLOR_abstract_collection__Collection__is_empty 38
+void file__Object__print(val* self, val* p0);
+val* string__Collection__join(val* self, val* p0);
+extern const struct type type_array__Arraykernel__Object;