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

  behaviour
  {
    subint State {0..3};
    on e:
    {
      State x = 6;
      a;
    }
  }
}