History hurd/hurdlock.h