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

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

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

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

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

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