#ifndef _COUNTER_H #define _COUNTER_H #include <stdio.h> void counter_release(void); void counter_create(unsigned long, FILE *); #endif