Formerly mach/hurd/sync.c.~4~