{ global: _IO_stdin_used; local: *; };