pub const PCRE2_EXTRA_ASCII_DIGIT: u32 = 4096;