with-redefs isnt sufficient, must redefine macroexpand-1 fully