void ctl_gfx_draw_pixel(int x, int y);
ctl_gfx_draw_pixel draws a single pixel using the pen color at coordinate (x, y).