(dp1 Vseqno p2 I3 sVvalue p3 I0 s.