void core__file___Sys___print(val* self, val* p0);
#define COLOR_opts__Option__VALUE 0
extern const struct type type_core__Bool;
void core__file___Sys___print(val* self, val* p0);
#define COLOR_opts__Option__VALUE 0
extern const struct type type_core__Bool;