inline get_args_execve()