% $RCSfile: StackStateBunTest.oz,v $ \insert 'Test.oz' declare S X Y S = {NewStack} {Test {S.isEmpty} '==' true} {S.push 3} {Test {S.isEmpty} '==' false} {S.push 4} {Test {S.isEmpty} '==' false} {S.pop X} {Test X '==' 4} {Test {S.isEmpty} '==' false} {S.pop Y} {Test Y '==' 3} {Test {S.isEmpty} '==' true}