verbessern

I think this happens, because some implementations are locking the whole memory length for an atomic operation, thus memory corruption cannot occur per variable (no tear can occur, and all...

Not only the code size is improved, but also the readability of the code, the speed of the direct interpretation, also there will be no need of a local variable...

I think that a combination of the validation logic that applies to `local.tee + local.get` should be the base for creating the validation logic of `dup`, by making the local...

I'm not convinced that the losing of the stack polymorphism is a good idea. I think its a nice thing to have.