#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);
}



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


int current_value = 0;


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