
?? FMT (FORMAT := OFF) ??
  CONST
    ave$unknown_security_option = avc$min_ecc + 200;
    {E +P1 is not a valid security option.}

?? FMT (FORMAT := ON) ??
*copyc avc$min_ecc
