pushVarint32 method

void pushVarint32(int v)

Append a varint32 */

Implementation

void pushVarint32(int v) {
  pushVaruint32((v << 1) ^ (v >> 31));
}