rewrite_ok