idris-1.3.3: test/st001/expected.out

# test001:
--test IO:
["HELLO!!\n", "WORLD!!"]
2
--test IOExcept:
["HELLO!!\n", "WORLD!!"]
2
()