idris-0.9.9.3: test/reg024/expected

The answer is 42