/** Read an {@code int64} field value from the stream. */ public long readInt64() throws IOException { return readRawVarint64(); }
/** Read a {@code uint64} field value from the stream. */ public long readUInt64() throws IOException { return readRawVarint64(); }
/** Read an {@code sint64} field value from the stream. */ public long readSInt64() throws IOException { return decodeZigZag64(readRawVarint64()); }