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