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

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

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