sem a=0;
sem c=0
thread T1{
    A();
    signal(a);
    wait(c);
    E();
    F();
}


thread T2{
    B();
    wait(a);
    c();
    signal(c);
    D();
}