Show how to use `rewrite`.