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

int main()
{
  int i;
  for (i=0; i<10; i++) 
    inc_counter();
  printf("Counter is %d\n", counter);
  return (0);
}