There is no need to ask the user for a local name. You can generate one using `gensym`.