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

  CONST
    jme$cannot_change_bad_profile   = jmc$min_ecc + 7005;
    {E The current profile can only be changed with activate_profile.}

?? FMT (FORMAT := ON) ??
