LOCAL
    types : SET OF STRING := TYPEOF (spc);
  END_LOCAL;
  IF  ((schema_prefix + 'FINITE_INTEGER_INTERVAL') IN  types) THEN
    RETURN  (spc\finite_integer_interval.max);
  END_IF;
  IF  ((schema_prefix + 'INTEGER_INTERVAL_TO_MAX') IN  types) THEN
    RETURN  (spc\integer_interval_to_max.max);
  END_IF;
  IF  ((schema_prefix + 'FINITE_REAL_INTERVAL') IN  types) THEN
    RETURN  (spc\finite_real_interval.max);
  END_IF;
  IF ((schema_prefix + 'REAL_INTERVAL_TO_MAX') IN types) THEN
    RETURN  (spc\real_interval_to_max.max);
  END_IF;
  RETURN (?);