idris-1.3.3: test/interfaces003/expected.out

10
9