-extern const struct type type_standard__NativeArray__standard__Object;
-#define COLOR_standard__array__Array__with_native 73
-#define COLOR_standard__string__Object__to_s 9
-#define COLOR_standard__error__Error__message_61d 33
-#define COLOR_standard__kernel__Object__init 7
-#define COLOR_standard__stream__IOS___last_error 0
-#include "kernel_nit.h"
-#define COLOR_standard__stream__BufferedIStream___buffer 3
-void standard___standard__FlatBuffer___Buffer__clear(val* self);
-#define COLOR_standard__file__IFStream___end_reached 5
-extern const char FILE_standard__string[];
-#define COLOR_standard__string__FlatText___items 1
-#define COLOR_standard__string__FlatBuffer___capacity 7
-#define COLOR_standard__string__FlatText___length 3
-#define COLOR_standard__stream__BufferedIStream___buffer_pos 4
-void standard___standard__BufferedIStream___prepare_buffer(val* self, long p0);
+extern const struct type type_standard__NativeArray__standard__String;
+val* standard__string___Int___strerror(long self);
+#define COLOR_standard__string__NativeArray__native_to_s 16
+extern const struct type type_standard__Int;
+extern const char FILE_standard__kernel[];
+#define COLOR_standard___standard__FileReader___standard__stream__Stream__close 35
+void standard___standard__BufferedReader___buffer_reset(val* self);
+#define COLOR_standard__file__FileReader___end_reached 7
+#define COLOR_standard__stream__BufferedReader___buffer 3
+#define COLOR_standard__stream__BufferedReader___buffer_capacity 6
+#define COLOR_standard__stream__BufferedReader___buffer_length 5
+#define COLOR_standard__stream__BufferedReader___buffer_pos 4
+void standard___standard__BufferedReader___prepare_buffer(val* self, long p0);