void putchar_ (char x) { (void)x; }