The text fc82a3ad4e71, as Debian 7 (Wheezy) shipped it.
get process identification
getpid(2) on Linux now
