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