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