static void destroyMatchingTCP(SyncState* const syncState);
static void matchEventTCP(SyncState* const syncState, Event* const event);
static void destroyMatchingTCP(SyncState* const syncState);
static void matchEventTCP(SyncState* const syncState, Event* const event);
static void printMatchingStatsTCP(SyncState* const syncState);
static void writeMatchingGraphsPlotsTCPMessages(SyncState* const syncState,
const unsigned int i, const unsigned int j);
static void printMatchingStatsTCP(SyncState* const syncState);
static void writeMatchingGraphsPlotsTCPMessages(SyncState* const syncState,
const unsigned int i, const unsigned int j);