idris-0.9.10: test/test021/expected

["HELLO!!!\n", "WORLD!!!\n", ""]
3
15
Answer: 99