stack-depth semantics examples