pub const StringDigitSubstituteUser: StringDigitSubstitute = 0i32;