idris-0.9.11: test/reg032/expected

hello, world!