A deep dive into how Vyper's compiler models and maintains memory in the EVM