Special:EditPage/Loop-invariant code motion Source: en.wikipedia.org/wiki/Special:EditPage/Loop-invariant_code_motion