public interface SensorUser extends MsgHandler {
    void globalPredicateTrue(int v[]);
    void globalPredicateFalse(int pid);
}