idris-0.9.18: test/ffi001/expected

0.9995736030415051