idris-0.9.9: test/reg004/expected

0
1