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


void tac_spg (void)
{
  printf ("[%d] Tac\n", milliseconds_since_epoch());
  fflush (stdout);
}


void counter_write (int* value)
{
  int v = *value;
  v++;
  *value = v;
  printf ("Value Write : %d\n", *value);
}