Section Header
    + name := EVENT_GUI;
    - comment :="Keyboard event.";
Section Inherit
    + parent_event:Expanded EVENT;
Section Public
    + source:INBOX;
    - make src:INBOX at dst:INBOX <-
Display.
    - display <-