int a;
mutex b;
mutex a;

void f(void)
 {
	acquire(c);
	release(c); 
 }

mutex c,d,f ;

task main()
 {
	acquire(a);
	release(a);

	acquire(b);
	release(b); 
 }