cffi_backend: use intptr_t instead of void* everywhere, gets rid of casting