execve(2) on FreeBSD

The text c9f06d95407d, as FreeBSD 12.3-RELEASE shipped it.

execute a file

execve(2) on FreeBSD now