shared: int mutex = 1;
        // this is the one that we know doesn't work


  Any process
---------------------
  while (mutex == 1)
    pause();
  mutex = 1;
  C.S.
  mutex = 0;