When folding away a (shl (shr)) pair, we need to check that the bits that will BECOME...