/* If the character used to separate elements of the executable path
is not ':', #define this to be the appropriate character constant. */
/* If the character used to separate elements of the executable path
is not ':', #define this to be the appropriate character constant. */