const exitFormalActivationState_methodinfo: JSJitInfo;