Something like this could work. I wonder if I can avoid maintaining the stack in the majority of calls that don't use super, probably not.

I also need to work out all the corner cases to be sure that it can't be confused. If an accessor calls another accessor via super, etc.

Thank you