typedef int semaphore; semaphore t = 0; int x = 5; void procedure1(void) { int y; y = 2*x; x = y; up(&t); } void procedure2(void) { int z; down(&t); z = x+1; x = z; }