The text c4337de0d9ef, as Debian 13 (Trixie) shipped it.
get process identification
getpid(2) on Linux now
