simple_execvp_timed
ret = simple_execvp_timed(argv[1], argv+1,
simple_execvp_timed(const char *, char *const[],
return simple_execvp_timed(file, args, NULL, NULL, 0);