idris-0.9.9: test/test028/expected

hello, world!