Common rewriter loops.