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