const alert_methodinfo: JSJitInfo;