let v_sub v1 v2 = v_add v1 (v_neg v2)