Macro loop_decreases

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