cffi should support void *