idris-1.3.3: test/st005/expected.out

# test005:
--test IO:
--test IOExcept:
()
HELLO!!
WORLD!!