modified:   threads/synch.cc
	new file:   threads/synch.cc.orig
	modified:   threads/synch.h
	new file:   threads/synch.h.orig