The text 88dfc062adc2, as Debian 10 (Buster) shipped it.
set/get process group
getpgid(2) on Linux now
