idris-1.3.2: test/ffi013/expected

success
confirmed
success
confirmed