Synchronizer Debugged