idris-1.3.3: test/reg032/expected.out

hello, world!