Macro checked_arithmetic 

checked_arithmetic!() { /* proc-macro */ }