sem Y=1;
sem Z=1;


thread1
{
    cnum w;
    P(Y);
    w=add(x,y);
    V(Y);
    ...
}

thread2
{
    cnum w;
    P(Y);
    P(Z):
    w=add(y,z);
    V(Y);
    V(Z);
    ...
}

thread3
{
    cnum w;
    w.a=1;
    w.b=2;
    P(Z);
    z=add(z,w);
    V(Z);
    P(Y);
    y=add(y,w);
    V(Y);
}