extern long $long$;
interface Sensor {
  enum Status { OK, NOK };
  in Status activate(long l);
  behaviour { 
    on activate: { reply(Status.OK); }
  }
}
component SensorComp {
  provides Sensor sensor1;
  requires Sensor sensor2;
  behaviour {
    long l = $0.0$;
    Sensor.Status s = Sensor.Status.OK;
    bool b= true;
    on sensor1.activate(l): {
      Sensor.Status s2 = sensor2.activate(u <- l);
      if (s2 == Sensor.Status.OK) { }
      reply(s2);
    }
  }
}