extern Int $int$;

interface Sensor {
  enum Code { ok, nok };
  in Code activate(Code c);
  in void deactivate();
  behaviour { 

    on activate: reply(Code.ok);
    on activate: reply(Code.nok);
    on deactivate: {}
  }
}