const onbeforeunload_setterinfo: JSJitInfo;