On 2018-09-13 20:47, Joel Brobecker wrote: > Or would people rather I use a different idiom for managing the memory > where the symbols are stored? What you have here is fine, I didn't want to focus the discussion on this detail :). Simon