pub const htsExactFormat_binary_format: u32 = 1; // 1u32