desugar-macros preserves :as