Python - C ffi