michael@0: // This file exists just to ensure that we load it with the correct flags.
michael@0: dump("bug909218.js loaded\n");