const rangeOverflow_getterinfo: JSJitInfo;