+val* NEW_file__IFStream(const struct type* type);
+extern const struct type type_file__IFStream;
+extern const int COLOR_file__IFStream__open;
+val* NEW_file__OFStream(const struct type* type);
+extern const struct type type_file__OFStream;
+extern const int COLOR_file__OFStream__open;
+extern const int COLOR_stream__IStream__read;
+void file__String__file_copy_to(val* self, val* p0);