pub const htsExactFormat_format_maximum: htsExactFormat = 32767;