Ah fair enough - Cython assumes (and enforces) a one-to-one mapping but of course that isn’t generally true. That doesn’t change my opinion on the rest of it (which can be summarised “this seems like an acceptable amount of disruption to solve a problem that is blocking freethreading+stable ABI”)