void writec(char c) { // }