Symbol: stdio_restore