Questions about cffi's c2ffi support