write_char
write_char(c, fg_c, bg_c);
write_char(' ', fg_c, bg_c);
void write_char(int c, int fg, int bg);
if (!write_char (c))
if (!write_char (c))
int write_char(int c);