Type Definition wll_sys::UBIT64

type UBIT64 = u64;