> > Anyways, I'm going to start on debugging simple. Matthew, can you look at > > prodcons and mutex? > > Sure, give me the non-deterministic programs. ;) I flipped a coin and that's how it came up :-)