SANITY CHECK: rewrite OK