pub type binder_size_t = u64;