#include <cstdint>
#include <ostream>

#include "infra/pipetrace.h"

namespace infra {
    std::ostream *pt::ptfile = nullptr;
    std::uint64_t pt::next_record = 0;
}