LOOP+ -> +LOOP, LEAVE? -> ?LEAVE