interface Intf {
  extern xint $int$;

  in void evt();
  out void callback(inout xint val);
  
  behaviour {
    on evt: {}
  }
}