extern void (*__stdio_exit)(void);
void __close_all(void);
void __stdio_atexit(void) { __stdio_exit = __close_all; }