path: root/test/files/run/bug2552.check

p(0)
0
p(1)
1
p(2)
2
p(3)
3
p(4)
4
p(5)
5
p(6)
6
p(7)
7
p(8)
8
p(9)
9
p(10)
p(0)
true
true
0
p(1)
true
1
p(2)
false
p(2)
false
p(0)
true
true
0
p(1)
p(2)
2
p(3)
p(4)
4
p(5)
p(6)
6
p(7)
p(8)
8
p(9)