[cffi-devel] user: cffi in saved core?