#53 VarintIntCodec doesn't work when the integer to be encoded is not greater than 127