+val_t NEW_FStream_stream___IOS___init();
+static const char * const LOCATE_file___IFStream___reopen = "file::IFStream::reopen";
+void file___IFStream___reopen(val_t p0);
+typedef void (*file___IFStream___reopen_t)(val_t p0);
+static const char * const LOCATE_file___IFStream___close = "file::IFStream::(stream::IOS::close)";