int readUint64(List<int> buff, int p) => (readUint(buff, p) * (0xffffffff + 1) + readUint(buff, p + 4));