gensym and display