provider Number {
    probe hit(int value);
};