forloop_rewriter2linted2