uint64_t book_color_key(const Position &pos);
uint64_t read_integer(FILE *file, int size);
-
+ uint16_t read_small_integer(FILE *file, int size);
}
}
entry.key = read_integer(bookFile, 8);
- entry.move = read_integer(bookFile, 2);
- entry.count = read_integer(bookFile, 2);
- entry.n = read_integer(bookFile, 2);
- entry.sum = read_integer(bookFile, 2);
+ entry.move = read_small_integer(bookFile, 2);
+ entry.count = read_small_integer(bookFile, 2);
+ entry.n = read_small_integer(bookFile, 2);
+ entry.sum = read_small_integer(bookFile, 2);
}
uint64_t read_integer(FILE *file, int size) {
- uint64_t n = 0ULL;;
+ uint64_t n = 0ULL;
int i;
int b;
return n;
}
+ uint16_t read_small_integer(FILE *file, int size) {
+
+ assert(size > 0 && size <= 5); // 16 bit integer
+ uint64_t n = read_integer(file, size);
+ assert(n == (uint16_t)n);
+ return (uint16_t)n;
+ }
+
}