void emit_statistics_file(std::string file, statistics *s, pools *ppools, scc *pscc, int n_clients);
void emit_statistics_log(statistics *s, int n_clients, bool force_stats, int reset_counters_interval, pools *ppools, fips140 *pfips140, scc *pscc);
