#include <stdio.h>
#include "writestat.h"

void writestat (int * stat)
{
	int i = 0;
	for (i=0; i<MAXSIGS; ++i) {
		printf ("Signal:%3d\n   Count: %4d\n", i, stat[i]);
	}
	fflush (stdout);
}