interface FunctionActualParameterDeclarationFailed
{
  in void ia();
  
  behaviour
  {
    subint Count {0..5};
    void fn(Count c) {}
    
    on ia: fn(6);
  }
  // Simulating FunctionActualParameterDeclarationFailed =>
  //   Function actual parameter declaration failed. Range error for variable c
  // if the following trace is performed:
  //   ia
}