void ctl_gfx_draw_rectangle_xy(int x0, int y0, int x1, int y1);
ctl_gfx_draw_rectangle_xy draws a rectangle with opposite vertexes at at coordinates (x0, y0) and (x1, y1) using the current pen color.