• repeatable_reader_t : tracereader.cc