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