int read_ndr_integer() { std::int32_t val; read_int32_ndr(&data[pos], val); pos += 4; return val; }
inline int read_ndr_integer() { char b[4]; file_.read(b, 4); std::int32_t val; read_int32_ndr(b, val); return val; }