execve(2) on Linux

The text 7ce4cf563a17, as Debian 3.1 (Sarge) shipped it.

execute program

execve(2) on Linux now