-val* BOX_kernel__Int(long);
-extern const int COLOR_opts__Option__value_61d;
-extern const int COLOR_string__Object__args;
-extern const int COLOR_opts__OptionContext__parse;
-extern const int COLOR_toolcontext__ToolContext__verbose_level_61d;
-extern const int COLOR_toolcontext__ToolContext__log_directory_61d;
-extern const int COLOR_toolcontext__ToolContext__log_directory;
-extern const int COLOR_file__String__mkdir;
-void toolcontext__ToolContext__process_options(val* self);
+#define COLOR_toolcontext__ToolContext___tooldescription 20
+#define COLOR_toolcontext__ToolContext___accept_no_arguments 21
+void opts__OptionContext__usage(val* self);
+void toolcontext__ToolContext__usage(val* self);
+#define COLOR_opts__Option_VTVALUE 0
+void opts__OptionContext__parse(val* self, val* p0);
+val* toolcontext__ToolContext__version(val* self);
+val* NEW_toolcontext__BashCompletion(const struct type* type);
+extern const struct type type_toolcontext__BashCompletion;
+void toolcontext__BashCompletion__init(val* self, val* p0);
+#define COLOR_file__Sys___stdout 2
+void template__Template__write_to(val* self, val* p0);
+val* toolcontext__ToolContext__toolname(val* self);
+val* string__FlatString__to_upper(val* self);
+val* string_search__Text__split(val* self, val* p0);
+val* array__Array___91d_93d(val* self, long p0);
+#define COLOR_opts__OptionContext___options 0
+#define COLOR_opts__Option___names 0
+void file__Object__printn(val* self, val* p0);
+#define COLOR_opts__Option___helptext 1
+val* opts__OptionContext__get_errors(val* self);
+short int array__AbstractArrayRead__is_empty(val* self);
+#define COLOR_opts__OptionContext___rest 1
+void file__String__mkdir(val* self);
+val* toolcontext__ToolContext__compute_nit_dir(val* self);
+#define COLOR_toolcontext__ToolContext___nit_dir 22
+void toolcontext__ToolContext__process_options(val* self, val* p0);
+val* version__Object__nit_version(val* self);
+val* string__Sys__program_name(val* self);
+val* file__String__basename(val* self, val* p0);
+val* environ__String__environ(val* self);
+short int string__Text__is_empty(val* self);
+val* file__String__dirname(val* self);
+short int file__String__file_exists(val* self);
+val* file__String__simplify_path(val* self);
+val* file__String__realpath(val* self);
+val* file__String__join_path(val* self, val* p0);
+#define COLOR_toolcontext__BashCompletion___toolcontext 4
+extern const struct type type_array__Arraystring__String;
+short int string__Text__has_prefix(val* self, val* p0);
+val* toolcontext__BashCompletion__extract_options_names(val* self);
+void template__Template__addn(val* self, val* p0);
+val* string__Collection__join(val* self, val* p0);
+void toolcontext__BashCompletion__rendering(val* self);