WIP: CFFI example loads libs but fails to verify C functions.