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