add sync.h header