io_file_write     301 lib_io.c         return io_file_write(L, io_tofile(L)->fp, 1);
io_file_write     450 lib_io.c         return io_file_write(L, io_stdfile(L, GCROOT_IO_OUTPUT), 0);