Ah, yes, likely so. I only checked that the macroexpansion looked reasonable -- I didn't run it. Sorry!