pub type StringDigitSubstitute = i32;