Use native strings to the CFFI verifier