idris-1.3.3: test/corecords001/expected.out

0
1
3
1
0