idris-1.3.3: test/ffi010/expected.out

start
olare
end