-#define COLOR_nit__toolcontext__ToolContext___verbose_level 22
-void standard__file___Object___print(val* self, val* p0);
-#define COLOR_nit__toolcontext__ToolContext___option_context 7
-#define COLOR_nit__toolcontext__ToolContext___opt_quiet 10
-#define COLOR_nit__toolcontext__ToolContext___opt_log 11
-#define COLOR_nit__toolcontext__ToolContext___opt_log_dir 12
-#define COLOR_nit__toolcontext__ToolContext___opt_nit_dir 13
-#define COLOR_nit__toolcontext__ToolContext___opt_help 14
-#define COLOR_nit__toolcontext__ToolContext___opt_version 15
-#define COLOR_nit__toolcontext__ToolContext___opt_set_dummy_tool 16
-#define COLOR_nit__toolcontext__ToolContext___opt_verbose 17
-#define COLOR_nit__toolcontext__ToolContext___opt_bash_completion 20
-#define COLOR_nit__toolcontext__ToolContext___opt_stub_man 21
+#define COLOR_nit__toolcontext__ToolContext___verbose_level 31
+void standard__file___Sys___print(val* self, val* p0);
+#define COLOR_nit__toolcontext__ToolContext___option_context 15
+#define COLOR_nit__toolcontext__ToolContext___opt_quiet 18
+#define COLOR_nit__toolcontext__ToolContext___opt_log 19
+#define COLOR_nit__toolcontext__ToolContext___opt_log_dir 20
+#define COLOR_nit__toolcontext__ToolContext___opt_nit_dir 21
+#define COLOR_nit__toolcontext__ToolContext___opt_help 22
+#define COLOR_nit__toolcontext__ToolContext___opt_version 23
+#define COLOR_nit__toolcontext__ToolContext___opt_set_dummy_tool 24
+#define COLOR_nit__toolcontext__ToolContext___opt_verbose 25
+#define COLOR_nit__toolcontext__ToolContext___opt_keep_going 27
+#define COLOR_nit__toolcontext__ToolContext___opt_bash_completion 29
+#define COLOR_nit__toolcontext__ToolContext___opt_stub_man 30