pub type user_size_t = u_int64_t;