void ctl_stats_print(CTL_STREAM_t s, const char *group);
ctl_stats_print prints the statistics group group to the stream s.