idris-0.9.14: test/basic001/expected

1f4o1b4a1r1b3a1z
1f4o1b4a1r1b3a1z