void ctl_gfx_draw_circle(int x0, int y0, int radius);
ctl_gfx_draw_circle draws a circle with center coordinate (x0, y0) and radius radius using the current pen color.