idris-1.2.0: test/ffi007/expected

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