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