#ifndef _COUNTER_H
#define _COUNTER_H

#include <stdio.h>

void counter_release(void);
void counter_create(unsigned long, FILE *);

#endif