MAX_SEVERITY
static char *severity_names[MAX_SEVERITY-MIN_SEVERITY+1] = {
if (severity < MIN_SEVERITY || MAX_SEVERITY < severity)