idris-1.3.3: test/io001/expected.out

Reading testfile
Hello!
World!
...
3
4
Last line

---
Hello!
World!
...
3
4
Last line
---