void ctl_gfx_draw_char(int x, int y, int ch);
ctl_gfx_draw_char draws the character ch at coordinate (x, y) using the active font and text color.