[Cffi-devel] possible cffi bug