use with-syntax instead of #:with