use syntax-parse-with-pattern-expanders-2