input int values = 2;

process a(key i,limit) {
    int x;
    int b;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values, b = (a(1)->b + 1)%limit;};
}

process a(1,3);
process a(2,2);
process a(3,1);

system async;
