updated synch.h