execve(2) on Linux

The text df8104a150d1, as Debian 13 (Trixie) shipped it.

execute program

execve(2) on Linux now