interface Siren {
  in void start();
  in void stop();
  behaviour { 
    bool b = true;
    [b] on start: b = false;
    [otherwise] on start: b = false;
    on stop: {}
  }
}