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