Next steps
----------

verify() handles "typedef ... some_integer_type", but this creates
an opaque type that works like a struct (so we can't get the value
out of it).

_cffi backend for PyPy