pub const htsExactFormat_empty_format: htsExactFormat = 15;