return TRUE;
void Gdk_draw_image(int ARI, ei_x_buff *XBUF, char *B, int *I){  GdkDrawable* drawable;  GdkGC* gc;  GdkImage* image;  gint xsrc;  gint ysrc;  gint xdest;  gint ydest;  gint width;  gint height;  /* no return value */  if ( ! gn_check_arity(XBUF, 9, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GDK_TYPE_DRAWABLE, (GObject**)&drawable) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GDK_TYPE_GC, (GObject**)&gc) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GDK_TYPE_IMAGE, (GObject**)&image) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &xsrc) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &ysrc) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &xdest) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &ydest) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &width) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &height) ) return;  gdk_draw_image(drawable, gc, image, xsrc, ysrc, xdest, ydest, width, height);  gn_put_void(XBUF);}