with-redefs debugging fix4?