verify_and_output
verify_and_output(nadrp, trailer, lineno);
static void verify_and_output(const char *key, char *value, int lineno);