Export for CFFI