input int values = 2;

process a(key i) {
    int x;
    int b,c,d,e,f,g,h;
    state a;
    init a;
    trans a->a {effect x = (x + 1)%values;};
}

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

system async;
