idris-1.3.3: test/reg031/expected.out

[10, 128, 201, 255, 10, 51, 10, 52]