#include <stdio.h>
#include <po_hi_time.h>

int current_value = 0;


void tic_spg (void)
{
  printf ("[%d] Tic last read is %i\n", milliseconds_since_epoch(), current_value);
  fflush (stdout);
}


void counter_read (int* value)
{
  printf ("Value: %d\n", *value);
  current_value=*value;
}