idris-0.10.3: test/ffi007/expected

8
5
Before calling callback
In an Idris callback
After calling callback
00000377
I'm dynamic 3
6
7