The text ee3dd95c9f5c, as Debian 10 (Buster) shipped it.
set effective user or group ID
seteuid(2) on Linux now
