interface Sensor {
  in void activate();
  in void deactivate();
  out void deactivated();
  behaviour { 

    bool negate(bool b) 
    {
      return !b;
    }
    void test(bool b) 
    {
      negate(b); 
    }
  
    on activate: {}
    on deactivate: {}
  }
}