idris-0.9.18: test/ffi003/expected

testtest