On Fri, Feb 4, 2022, 16:03 Guido van Rossum <guido@python.org> wrote:

I wonder if a better solution than that PR wouldn't be to somehow change the implementation of _Py_IDENTIFIER() to do that,

Yeah, I had the same realization today. I'm going to try it out.

-eric