with-redefs debugging