idris-0.9.9: test/reg002/expected

[2, 1, 4, 3, 5]