[{0, 1, 2}]([{3, 4, 5}] p0)->[0 .. 5] p0
