This is not a problem at all as long as you use very good typing because the local contract boundaries are what matter unless you use huge amounts of global sta

This is not a problem at all as long as you use very good typing because the local contract boundaries are what matter unless you use huge amounts of global state which everybody knows is a very very bad idea and has been demonized for decades