michael@0: // Define something in here or the script may get collected
michael@0: window.addEventListener("unload", function() {
michael@0:   window.foo = "bar";
michael@0: });