> base + UINT_MAX+1 must access base + 0 when the index is `unsigned int`, even on a 64-bit machine. Ironically, given the topic, that's actually not true, bec

> base + UINT_MAX+1 must access base + 0 when the index is `unsigned int`, even on a 64-bit machine. Ironically, given the topic, that's actually not true, because `base + UINT_MAX+1` is `(base + UINT_MAX)+1` (with a pointer, not a unsigned int, as the temporary value). That should probably be `base + (UINT_MAX+1)`.