with-redefs debugging fix5?