can we also add an assert that changing either a byte in one buffer doesn't change the other? for both permutations. I know it's clear from the code that's what's happening, but it would be nice if test that scenario.