execve(2) on FreeBSD

The text a0ebd39c6adc, as FreeBSD 7.4-RELEASE shipped it.

execute a file

execve(2) on FreeBSD now