CHECK_FILE (stdout, EOF); return _IO_putc_unlocked (c, stdout);
CHECK_FILE (_IO_stdout, EOF); return _IO_putc_unlocked (c, _IO_stdout);
putchar_unlocked (c)     int c;{  CHECK_FILE (stdout, EOF);  return _IO_putc_unlocked (c, stdout);}