pub type UBIT64 = u64;