idris-0.99.1: test/interfaces007/expected

(2, 6)