PRINT_HEADER
PRINT_HEADER;
pflags = (pflags & ~(PRINT_HEADER | PRINT_VERBOSE)) |
~(PRINT_HEADER | PRINT_NAMEVAL | PRINT_SKIP)) |
if (pflags & (PRINT_HEADER | PRINT_NAMEVAL))
else if (pflags & PRINT_HEADER) {