While working on a performance improvement that turned out not to be, I
wrote these additional specs to prove correctness in a test gap. Might
as well keep them.