% $RCSfile: CollectionSecureStateUnbunTest.oz,v $ \insert 'Test.oz' \insert 'CollectionSecureStateUnbun.oz' declare C X Y C = {Collection.new} {Test {Collection.isEmpty C} '==' true} {Collection.put C 3} {Test {Collection.isEmpty C} '==' false} {Collection.put C 4} {Test {Collection.isEmpty C} '==' false} X = {Collection.get C} {Test X '==' 4} {Test {Collection.isEmpty C} '==' false} Y = {Collection.get C} {Test Y '==' 3} {Test {Collection.isEmpty C} '==' true}