(function () {
  dump("ERROR\n");
})();