--- /dev/null
+#include "nit.common.h"
+#define COLOR_nith__ToolContext__process_options 122
+#define COLOR_separate_compiler__ToolContext___opt_separate 58
+#define COLOR_opts__Option___value 6
+long kernel__Bool__to_i(short int self);
+#define COLOR_separate_erasure_compiler__ToolContext___opt_erasure 70
+extern const struct type type_kernel__Int;
+val* string__NativeString__to_s_with_length(char* self, long p0);
+void file__Object__print(val* self, val* p0);
+#define COLOR_opts__Option_VTVALUE 0
+extern const struct type type_kernel__Bool;
+val* BOX_kernel__Bool(short int);
+void nith__ToolContext__process_options(val* self, val* p0);