Synch debugging