void draw_image(GdkGC gc, GdkImage image, int xsrc, int ysrc, int xdest, int ydest, int width, int height);