Constant checked_mul 

pub const checked_mul: Symbol;