void Gtk_notebook_insert_page_menu(int ARI, ei_x_buff *XBUF, char *B, int *I){
gboolean Gtk_notebook_insert_page_menu(int ARI, ei_x_buff *XBUF, char *B, int *I){
void Gtk_notebook_insert_page_menu(int ARI, ei_x_buff *XBUF, char *B, int *I){  GtkNotebook* object;  GtkWidget* child;  GtkWidget* tab_label;  GtkWidget* menu_label;  gint position;  gint R; /* return value */  if ( ! gn_check_arity(XBUF, 5, 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_object(XBUF, B, I, GTK_TYPE_WIDGET, (GObject**)&tab_label) ) return;  if ( ! gn_get_arg_object(XBUF, B, I, GTK_TYPE_WIDGET, (GObject**)&menu_label) ) return;  if ( ! gn_get_arg_gint(XBUF, B, I, &position) ) return;  R = gtk_notebook_insert_page_menu(object, child, tab_label, menu_label, position);  gn_put_longlong(XBUF,(long long)R);}