Constant lazy_normalization_consts 

pub const lazy_normalization_consts: Symbol;