interface range_member
{
  in void e();

  behaviour
  {
    subint State {0..3};

    State state = 2+2;

    on e: {}
  }
}