michael@0: 
michael@0: var o4 = Object.freeze({ 
michael@0:   set: function(summary) {}       
michael@0: });