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

  behaviour
  {
    subint State {0..3};
    void g (State s) {

    }
    on e:
    {
      g(4);
      a;
    }
  }
}