with-redefs debugging fix3?