const pushState_methodinfo: JSJitInfo;