EHALT
case EHALT:
(Err.severity == EHALT || Err.severity == EERROR)))) {
errmsg(EHALT, gettext("program error"));