Macro out loop assertion