idris-1.3.3: test/reg013/expected.out

5
1
0