use with-redefs