Re: RFC on plans to implement a c2ffi->cffi generator