1/* The current function scope was opened via post-js-header.js, which
2   gets prepended to this at build-time. This file closes that
3   scope. */
4})/*postRun.push(...)*/;
5