Macro checked_arithmetic

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