void Gtk_menu_set_monitor(int ARI, ei_x_buff *XBUF, char *B, int *I){
gboolean Gtk_menu_set_monitor(int ARI, ei_x_buff *XBUF, char *B, int *I){
void Gtk_menu_set_monitor(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkMenu* object;  gint monitor_num;  /* no return value */  if ( ! gn_check_arity(XBUF, 2, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_MENU, (GObject**)&object) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &monitor_num) ) return;  gtk_menu_set_monitor(object, monitor_num);  gn_put_void(XBUF);}