On Tue, Feb 8, 2022 at 1:51 PM Thomas Munro <thomas(dot)munro(at)gmail(dot)com> wrote:
> (and one day we should make it dynamic and change udata to hold
> an index instead of a pointer...)
Here's a patch like that.
I'd originally sketched this out for another project, but I don't
think I need it for that anymore. After this exchange I couldn't
resist fleshing it out for a commitfest, just on useability grounds.
Thoughts?