cl1.in revision 74b23191c8f49798f7513f324bbdbbe32f8a1db2
[{0, 1, 2}]([{3, 4, 5}] p0)->[0 .. 5] p0