static void printProcessingStatsText(SyncState* const syncState);
static void writeProcessingTraceTimeOptionsText(SyncState* const syncState,
const unsigned int i, const unsigned int j);
static void printProcessingStatsText(SyncState* const syncState);
static void writeProcessingTraceTimeOptionsText(SyncState* const syncState,
const unsigned int i, const unsigned int j);