Debugging synch.cc
All thread tests appear to run correctly