void put(data_type const & E, std::pair<uint64_t,uint64_t> const & P) { libmaus2::util::NumberSerialisation::serialiseNumber(stream,P.first); libmaus2::util::NumberSerialisation::serialiseNumber(stream,P.second); E.serialise(stream); ic += 1; }