Change semantics of wAlloc to empty stack/locals when there is NotEnoughSpace