> Great. I've fixed the prodcons bug, but mutex is still failing. I think I confused myself. Both prodcons and mutex now work, with and without -g. I have checked in the fix. I confused myself because I thought there was deadlock or some other bug causing mutex not to finish, but in fact, it is just really slow when compiled -g (~15 minutes).