/*-------------------------------------------------------------------------
  Header file for the counter driver for the Risoe ECB system.
 
  copyright: see file COPYRIGHT

  Mark Koennecke, January 2003
  -------------------------------------------------------------------------*/

#ifndef ECBCOUNTER
#define ECBCOUNTER

#include "countdriv.h"

pCounterDriver MakeECBCounter(char *ecb);
void KillECBCounter(CounterDriver * pDriv);

#endif