pub fn bit_vector_get_bit(buf: &[u32], index: usize) -> bool