interface irange_member
{
  in void e();

  behaviour
  {
    subint State {0..3};

    State state = 2+2;

    on e: {state = 0;}
  }
}

component range_member
{
  provides irange_member p;
  behaviour
  {
    subint State {0..3};

    State state = 2+2;

    on p.e(): {}
  }
}