% $RCSfile: StackSecureDeclBunTest.oz,v $ \insert 'Test.oz' \insert 'StackSecureDeclBun.oz' declare S1 S2 S3 S4 S5 X Y S1 = {NewStack} {Test {S1.isEmpty} '==' true} S2 = {S1.push 3} {Test {S2.isEmpty} '==' false} S3 = {S2.push 4} {Test {S3.isEmpty} '==' false} S4 = {S3.pop X} {Test X '==' 4} {Test {S4.isEmpty} '==' false} S5 = {S4.pop Y} {Test Y '==' 3} {Test {S5.isEmpty} '==' true}