test bit_vector_write_to_file and bit_vector_read_from_file
test bit_vector_write_to_file and bit_vector_read_from_file

mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs,mancoast/cado-nfs