Using CFFI: dealing with a writeback buffer