Design comments added to various functions in synch.c