The stack is balanced if everything pushed at a given level of scope is popped as that scope closes. This precludes variable-stack-effect sequences as one migh

The stack is balanced if everything pushed at a given level of scope is popped as that scope closes. This precludes variable-stack-effect sequences as one might have in a Forth definition like: : ?drop dup if drop then ;