execve(2) on Linux

The text a7c59f80e2a6, as Debian 12 (Bookworm) shipped it.

execute program

execve(2) on Linux now