extern xint $int$;

interface i
{
  in void e();
  out void f();
  out void g(xint a);

  behaviour
  {
    on e: {}
  }
}

component hello_alpha
{
  provides i p;
  requires i r;

  behaviour
  {
    xint a;
    {
      on r.f, r.g: illegal;
      on r.g(x): a = x;
    }
  }
}