const pauseOnExit_setterinfo: JSJitInfo;