let print_header_version x = print_tag_value' "VN" x