optimize: we did not use ffi.typeof to cache the ctype obj for the C type "uintptr_t".