exec(3) on Linux

The text 9e39d673f36b, as Debian 1.3 (Bo) shipped it.

execute a file

exec(3) on Linux now