simple_execvp_timed
#define simple_execvp_timed rk_simple_execvp_timed
simple_execvp_timed(const char *file, char *const args[],
