modffi: 64-bit cleanness (fixes actual bug in callback arg handling).
tests: Add testcase for ffi callbacks.