--- /dev/null
+#include "nit.common.h"
+#define COLOR_nitc__nith___ToolContext___process_options 140
+#define COLOR_nitc__separate_compiler__ToolContext___opt_separate 54
+extern const char FILE_nitc__separate_compiler[];
+#define COLOR_opts__Option___value 6
+long core___core__Bool___to_i(short int self);
+#define COLOR_nitc__separate_erasure_compiler__ToolContext___opt_erasure 50
+extern const char FILE_nitc__separate_erasure_compiler[];
+extern const struct type type_core__Int;
+extern const char FILE_core__kernel[];
+val* core__flat___NativeString___to_s_full(char* self, long p0, long p1);
+void core__file___Sys___print(val* self, val* p0);
+#define COLOR_opts__Option__VALUE 0
+extern const struct type type_core__Bool;
+extern const char FILE_opts[];