avoid using syntax-quote