idris-1.3.3: test/io002/expected.out

First and second? 2
1
2