keep track of synch problems in debug output