config.c: mark die_bad_number as NORETURN