idris-1.3.3: test/reg004/expected.out

0
1