forloop_rewriter