Sly rewrite