synchro_wait debugged