Maybe we could have `writeVLong(trippedCount + 1)` and `trippedCount = readVLong() - 1`?