idris-1.3.3: test/reg002/expected.out

[2, 1, 4, 3, 5]