interface Sensor {
  in void enable();
  in void disable();
  out void triggered();
  out void disabled();
}