--- /dev/null
+#include "nit.common.h"
+#define COLOR_nit__nith___ToolContext___process_options 145
+#define COLOR_nit__separate_compiler__ToolContext___opt_separate 72
+extern const char FILE_nit__separate_compiler[];
+#define COLOR_opts__Option___value 6
+long standard___standard__Bool___to_i(short int self);
+#define COLOR_nit__separate_erasure_compiler__ToolContext___opt_erasure 85
+extern const char FILE_nit__separate_erasure_compiler[];
+extern const struct type type_standard__Int;
+extern const char FILE_standard__kernel[];
+val* standard___standard__NativeString___to_s_with_length(char* self, long p0);
+void standard__file___Object___print(val* self, val* p0);
+#define COLOR_opts__Option__VALUE 0
+extern const struct type type_standard__Bool;
+extern const char FILE_opts[];
+val* BOX_standard__Bool(short int);