return TRUE;
void Gdk_draw_point(int ARI, ei_x_buff *XBUF, char *B, int *I){  GdkDrawable* drawable;  GdkGC* gc;  gint x;  gint y;  /* no return value */  if ( ! gn_check_arity(XBUF, 4, 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_gint(XBUF, B, I, &x) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &y) ) return;  gdk_draw_point(drawable, gc, x, y);  gn_put_void(XBUF);}