FILE *f=fopen("gtk4.h","w");
gtk_init(&argc, &argv);
builder = gtk_builder_new_from_file ("mumps.glade");

window=GTK_WINDOW(gtk_builder_get_object(builder,"window"));
{ char tmp[128]; sprintf(tmp,"%p", window);
 SymPut("window",tmp); fprintf(f," set window=\"%s\"\n",tmp); }

fixed1=GTK_FIXED(gtk_builder_get_object(builder,"fixed1"));
{ char tmp[128]; sprintf(tmp,"%p", fixed1);
 SymPut("fixed1",tmp); fprintf(f," set fixed1=\"%s\"\n",tmp); }

fluffy=GTK_BUTTON(gtk_builder_get_object(builder,"fluffy"));
{ char tmp[128]; sprintf(tmp,"%p", fluffy);
 SymPut("fluffy",tmp); fprintf(f," set fluffy=\"%s\"\n",tmp); }

g_signal_connect(window, "destroy", G_CALLBACK(gtk_main_quit), NULL);
gtk_builder_connect_signals(builder, NULL);
gtk_widget_show(GTK_WIDGET(window));
fclose(f);