On Wed, Oct 25, 2023, 21:52 Stefan Monnier <monnier@iro.umontreal.ca> wrote:

and then get rid of the hash-table altogether?

Stefan, again we think alike, I'm taking care of that, the hash table and the gensym aren't needed at all.