simple_execve_timed
simple_execve_timed(const char *, char *const[],
return simple_execve_timed(file, args, envp, NULL, NULL, 0);