Design weaknesses in WebAssembly: mutable locals require liveness analysis: https://troubles.md/posts/wasm-is-not-a-stack-machine/