pub type NonNegativeInteger = i64;