#include <syscall.h> // for __syscall_3, syscall
#include <unistd.h>  // for execv

extern char **environ;

int execv(const char *path, char *const argv[])
{
	return syscall(execve, path, argv, environ);
}