interface range_function
{
  in void e();

  behaviour
  {
    subint State {0..3};

    void f(State s) {}

    on e: { f(4); }
  }
}