with-redefs debugging fix2?