*copyc jmc$min_ecc
?? FMT (FORMAT := OFF) ??

  CONST
    jme$input_was_recovered         = jmc$min_ecc + 4297;
    {I The input file +P was recovered.}

?? FMT (FORMAT := ON) ??
