const rangeMax_getterinfo: JSJitInfo;