print_unknown_header_warning
print_unknown_header_warning(0, header);
print_unknown_header_warning(4, header);