-val* file__String__files(val* self);
-long file__FileStat__mode(void* self);
-long file__FileStat__atime(void* self);
-long file__FileStat__ctime(void* self);
-long file__FileStat__mtime(void* self);
-long file__FileStat__size(void* self);
-short int file__FileStat__is_reg(void* self);
-short int file__FileStat__is_dir(void* self);
-short int file__FileStat__is_chr(void* self);
-short int file__FileStat__is_blk(void* self);
-short int file__FileStat__is_fifo(void* self);
-short int file__FileStat__is_lnk(void* self);
-short int file__FileStat__is_sock(void* self);
-long file__NativeFile__io_read(void* self, char* p0, long p1);
-long file__NativeFile__io_write(void* self, char* p0, long p1);
-long file__NativeFile__io_close(void* self);
-void* file__NativeFile__file_stat(void* self);
-val* NEW_file__Stdin(const struct type* type);
-extern const struct type type_file__Stdin;
-extern const int COLOR_file__Stdin__init;
-val* file__Object__stdin(val* self);
-val* NEW_file__Stdout(const struct type* type);
-extern const struct type type_file__Stdout;
-extern const int COLOR_file__Stdout__init;
-val* file__Object__stdout(val* self);
-val* NEW_file__Stderr(const struct type* type);
-extern const struct type type_file__Stderr;
-extern const int COLOR_file__Stderr__init;
-val* file__Object__stderr(val* self);
+val* BOX_kernel__Pointer(void*);
+extern const struct class class_file__NativeFile;
+#define COLOR_file__Sys___stdout 2
+#define COLOR_file__Sys___stderr 3
+val* string__Array__to_s(val* self);
+val* string__NativeString__to_s(char* self);