extern const int COLOR_stream__IStream__read_all;
extern const int COLOR_location__SourceFile__string_61d;
extern const int COLOR_location__SourceFile__line_starts;
+val* BOX_kernel__Int(long);
extern const int COLOR_abstract_collection__Sequence___91d_93d_61d;
void location__SourceFile__init(val* self, val* p0, val* p1);
void location__SourceFile__from_string(val* self, val* p0, val* p1);
extern const int COLOR_kernel__Comparable_VTOTHER;
extern const int COLOR_location__Location__located_in;
short int location__Location___60d(val* self, val* p0);
+val* BOX_kernel__Char(char);
+extern const int COLOR_string__AbstractString__chars;
extern const struct class class_kernel__Char;
val* NEW_string__Buffer(const struct type* type);
extern const struct type type_string__Buffer;