execve(2) on FreeBSD

The text 79291301ac7f, as FreeBSD 14.5-RELEASE shipped it.

execute a file

execve(2) on FreeBSD now