pub const htsExactFormat_crai: htsExactFormat = 7;