let make_vector = fun size -> fun vec -> let new_vec = fun i -> if i >= 0 && i < size then vec i else raise (Value_operation "vector overflow") in v_memory (return_Vec (size, new_vec))