learning to use python's cffi