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

int execve(const char *file, char *const argv[], char *const envp[])
{
	return syscall(execve, file, argv, envp);
}