short int stream__BufferedIStream__eof(val* self);
val* NEW_string__FlatBuffer(const struct type* type);
extern const struct type type_string__FlatBuffer;
-void string__FlatBuffer__init(val* self);
+#define COLOR_kernel__Object__init 7
void stream__BufferedIStream__append_line_to(val* self, val* p0);
val* string__FlatBuffer__to_s(val* self);
val* stream__IStream__read_line(val* self);
extern const struct type type_kernel__Int;
val* string__Text__substring_from(val* self, long p0);
val* string__FlatBuffer__substring(val* self, long p0, long p1);
-#define COLOR_string__FlatBuffer___chars 5
-#define COLOR_abstract_collection__SequenceRead___91d_93d 39
+char string__FlatBuffer___91d_93d(val* self, long p0);
void string__FlatBuffer__add(val* self, char p0);
val* stream__BufferedIStream__read_all(val* self);
+#define COLOR_string__FlatBuffer___chars 6
+#define COLOR_abstract_collection__SequenceRead___91d_93d 46
extern const struct class class_kernel__Char;
void string__FlatBuffer__enlarge(val* self, long p0);
#define COLOR_file__IFStream___end_reached 4