const pause_methodinfo: JSJitInfo;