Rewrites return new hints. Hints are annotated.