extern void file_io_shutdown();