void copy_area(int src_x, int src_y, int width, int height, GdkPixbuf dest_pixbuf, int dest_x, int dest_y);