public long ReadInt64() { Int64 lo = (UInt32)ReadInt32(); Int64 hi = (UInt32)ReadInt32(); return (hi << 32) + lo; }