console_putchar
console_putchar (c);
console_putchar ('\r');
console_putchar ('\n');
console_putchar (c);
console_putchar,
console_putchar (c);
void console_putchar (int c);