idris-1.2.0: test/st003/testFile

HELLO!!
WORLD!!