Source position: gnometypebuiltins.inc line 7
var GTK_TYPE_GNOME_UI_INFO_CONFIGURABLE_TYPES: TGtkType;