idris-0.9.11: test/buffer001-disabled/expected

01
True
02020202