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