Revised contract of function bit_vector_sim