const verify_methodinfo: JSJitInfo;