pub const NORMALIZATION_BUFFER_LEN: usize = 2 + MAX_NONSTARTERS + 2; // 0x0000_0022usize