idris-0.9.17: test/ffi006/expected

Ready to show...
[10, 20, 30, 40]