extern void file_io_init(); extern void file_io_shutdown();