idris-1.3.2: test/ffi012/expected

Hello?