interface Intf { in void evt(); behaviour { on evt: {} } } component Comp { provides Intf i; behaviour { on i.evt(): {} } } component System { provides Intf i; system { Comp comp; } }