3MCRJULOVO35LWV32HECCGSJNRLHWWMNISXXWWHNKGMDYANWHSPQC // Here's a confusing thing: if the first element of `c1` is the// last element of a page, we may be updating its right child (in// which case m.r > 0) rather than its left child like for all// other elements.//// This case only ever happens for this function when we're// updating the last child of a page p, and then merging p with// its right neighbour.