#include <unistd.h>
#include <errno.h>

void __procfdname(char *, unsigned);

int fexecve(int fd, char *const argv[], char *const envp[])
{
	char buf[15 + 3*sizeof(int)];
	__procfdname(buf, fd);
	execve(buf, argv, envp);
	if (errno == ENOENT) errno = EBADF;
	return -1;
}