void ctl_gfx_draw_line(int x0, int y0, int x1, int y1);
ctl_gfx_draw_line draws a one-pixel-wide line from coordinate (x0, y0) to (x1, y1) using the pen color.