changes in synch.c