extern const int COLOR_location__SourceFile__string;
extern const int COLOR_abstract_collection__Collection__length;
extern const struct type type_kernel__Int;
+extern const int COLOR_string__AbstractString__chars;
extern const int COLOR_abstract_collection__SequenceRead___91d_93d;
extern const int COLOR_lexer__Lexer___cr;
extern const int COLOR_location__SourceFile__line_starts;
+val* BOX_kernel__Int(long);
extern const int COLOR_abstract_collection__Sequence___91d_93d_61d;
extern const int COLOR_tables__TablesCapable__lexer_goto;
extern const int COLOR_tables__TablesCapable__lexer_accept;