<programlisting>
  (intr-entities
    (version Gtk "3.0")
    (types
      (Gtk Widget)
      (Gtk Window)
      (Gtk Button))
    (functions
      (Gtk init)
      (Gtk main)
      (Gtk main_quit))
    (rejected-methods
      append map get-style activate compare copy)
    (overridden-functions
      (gtk-container-child-get-property (&lt;gtk-container&gt;
        &lt;gtk-widget&gt; &lt;string&gt;)
        &lt;object&gt; nonpure)
      (gtk-container-child-set-property
        (&lt;gtk-container&gt; &lt;gtk-widget&gt; &lt;string&gt; &lt;object&gt;)
        &lt;none> nonpure)))
</programlisting>
