pub const htsExactFormat_json: htsExactFormat = 14;