idris-0.9.9: test/test021/expected

[HELLO!!!
, WORLD!!!
, ]
3
15
Answer: 99