Debugging synch.cc