Macro loop_invariant 

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