let v_of s = s.v