+ execvp (execargv[0], execargv);
+
+ /* Something went wrong. */
+ fprintf (stderr, "In execvp of %s: %s\n",
+ execargv[0], strerror (errno));
+
+ /* Exit directly instead of throwing, because otherwise this
+ process may keep on running. Use exit status 127, like
+ shells in this case, as per POSIX
+ <http://pubs.opengroup.org/onlinepubs/007904875/utilities/xcu_chap02.html#tag_02_09_01_01>. */
+ _exit (127);