let (+~) v1 v2 = v_add v1 v2