Constant rustc_span::symbol::SYMBOL_DIGITS_BASE

const SYMBOL_DIGITS_BASE: u32 = 2007u32;