__stdio_exit.c revision e1b1c592
1