public Int64 ReadVariableInt64() { UInt64 n = ReadVariableUInt64(); return (Int64)(n >> 1) ^ -(long)(n & 1); // decode zigzag }