let v_of p = p.v