interface range_assign
{
  in void e();
  out void a();

  behaviour
  {
    subint State {0..3};
    State state = 3;
    on e:
    {
      state = 4;
      a;
    }
  }
}