pub type NonNegativeIntegerDefaultZero = i64;