idris-0.9.18: test/reg063/expected