interface I
{
  in void e();

  behaviour
  {
    on e: {}
  }
}

interface II
{
  in void e();
  out void add();

  behaviour
  {
    on e: {}
  }
}

component range_runaway
{
  provides I p;
  requires II r;

  behaviour {
     subint Sub {0..4};
     Sub n = 5;
     on p.e(): { r.e();}
     on r.add(): { n=n+1;}
  }
}