PRINT_HEADER_PREFIX
(void) fprintf(args.pa_printfile, PRINT_HEADER_PREFIX);
extra_width = sizeof(PRINT_HEADER_PREFIX) - 1;