pub const lazy_normalization_consts: Symbol;