synch debugging