idris-0.9.11: test/io002/expected

First and second? 2
1
2