return TRUE;
void Gtk_notebook_set_menu_label_text(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkNotebook* object;  GtkWidget* child;  gchar* menu_text;  /* no return value */  if ( ! gn_check_arity(XBUF, 3, ARI) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_NOTEBOOK, (GObject**)&object) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_WIDGET, (GObject**)&child) ) return;  if ( ! gn_get_arg_gchar(XBUF, B, I, &menu_text) ) return;  gtk_notebook_set_menu_label_text(object, child, menu_text);  free(menu_text);  gn_put_void(XBUF);}