function error () { return true; }
window.onerror
= error;