interface Sensor {
  enum Value{ New, Old };
  in void enable();
  out Value triggered();
  behaviour { 
    on enable: {}
  }
}