/* This library maintains an object that maintains a simple counter. */

typedef struct {
  int count;  // keeps track of the count
} Counter;

extern Counter *new_counter();  // creates a new counter object
extern int counter_get_value(Counter *);  // returns the current count
// increments and returns the value of the current count
extern int counter_increment(Counter *);