interface IExtern
{
  extern xint $int$;

  in void e();

  behaviour
  {
    on e: {}
  }
}

component Extern
{
  provides IExtern port;

  behaviour
  {
    IExtern.xint i = $0$;
    IExtern.xint j;
    on port.e(): {}
  }
}