const rangeCount_getterinfo: JSJitInfo;