pub fn explicit_bit_vect_to_u64_vec( bitvect: &SharedPtr<ExplicitBitVect>, ) -> UniquePtr<CxxVector<u64>>