idris-0.9.9: test/test021/testFile

HELLO!!!
WORLD!!!