[cffi-devel] Semantics of defctype*