Macro loop_decreases 

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