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))