These are currently broken because pushReplace() doesn't update the lengthDifference Change-Id: If0b611b7228c54ed15551514e773865be343e63a