idris-0.9.9: test/test015/expected

00101010
01011001
010000011