pub const new_upper_exp: Symbol;