/* execve.c */
/* This and the other exec*.c files in this directory require
the target to provide the _execve syscall. */
int
execve (const char *path, char * const argv[], char * const envp[])
{
return _execve (path, argv, envp);
}