+ uint16_t read_integer16(std::ifstream& file) {
+
+ uint64_t n = read_integer(file, 2);
+ assert(n == (uint16_t)n);
+ return (uint16_t)n;
+ }
+
+
+ uint64_t read_integer64(std::ifstream& file) {
+
+ return read_integer(file, 8);
+ }
+
+
+ uint64_t read_integer(std::ifstream& file, int size) {