idris-0.99/test/reg076/expected