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.