idris-0.10.3: test/ffi008/expected

True
True
a: 122 b: 0
4
00000010