Add examples of auto-gensym