The text dc9a50661502, as Debian 7 (Wheezy) shipped it.
is the mutex locked
mutex_is_locked(9) on Linux now
