% $RCSfile: CollectionSecureStateBunTest.oz,v $ \insert 'Test.oz' \insert 'CollectionSecureStateBun.oz' declare C = {NewCollection} {Test {C.isEmpty} '==' true} {C.put 3} {Test {C.isEmpty} '==' false} {C.put 4} {Test {C.isEmpty} '==' false} X={C.get} {Test X '==' 4} {Test {C.isEmpty} '==' false} Y={C.get} {Test Y '==' 3} {Test {C.isEmpty} '==' true}