michael@0: try { (function() {
michael@0:     var o = {};
michael@0:     with (o) o='recorder not started, ';
michael@0:     ('arguments' in o, false,
michael@0:                   "property deletion observable")
michael@0: })() } catch (e) {}