pub const unchecked_mul: Symbol;