interface Intf {
  in void evt();
  behaviour {
    on evt: { return; }
  }
}