Re[2]: Using CFFI: dealing with a writeback buffer