Constant htsExactFormat_empty_format 

pub const htsExactFormat_empty_format: u32 = 15 /* 15u32 */;