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

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

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

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

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

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