const addRange_methodinfo: JSJitInfo;