modified procedure rewriter