pub fn bit_vector_set_bit(buf: &mut [u32], index: usize, value: bool)