idris-1.3.3: test/effects001/expected.out

["HELLO!!!\n", "WORLD!!!\n", ""]
3
7
Answer: 91