idris-1.3.3: test/ffi007/expected.out

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