pub type NonNegativeInteger = u64;
Expand description