gensym for builtin wrapper args