(void*)int_vector_free -> int_vector_free__()