Constant rustc_span::symbol::SYMBOL_DIGITS_BASE

const SYMBOL_DIGITS_BASE: u32 = 1993u32;