        (intr-entities
          (version Gtk "4.0")
          (types
            (Gdk Display)
            (Gtk Widget)
            (Gtk CssProvider)
            (Gtk StyleContext)
            (Gtk Application)
            (Gtk ApplicationWindow)
            (Gtk Button)
            (Gtk Box)
            (Gtk ScrolledWindow)
            (Gtk TextBuffer)
            (Gtk TextView)
            (Gtk Entry)
            (Gtk EntryBuffer)
            (Gtk Label)
            (Gtk Separator)
            (Gtk TextTagTable)
            (Gtk TextTag)
            (Gtk TextMark)))