Macro safe_add_impl 

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