Thanks Nick for the clarification.  Yes, that's what I meant: supporting such code in simple JITs is a nightmare.  Perhaps more importantly, I am sure that if Python starts supporting random mutation of locals outside tracing hooks, then it would open the door to various hacks that are best not done at all, from a code quality point of view.