pub type binder_uintptr_t = u64;