code: def append_sint32(self, value):
          
          zigzag_value = wire_format.zig_zag_encode(value)
          self._stream.append_var_uint32(zigzag_value)
docs: Appends a 32-bit integer to our buffer, zigzag-encoded and then
          varint-encoded.