Constant mul_with_overflow 

pub const mul_with_overflow: Symbol;