Macro safe_mul_impl 

macro_rules! safe_mul_impl {
    ($type_name: ident) => { ... };
}