/* Return the name of the executable file as a string.
ERR nonzero means get error if there is none specified;
otherwise return 0 in that case. */
/* Return the name of the executable file as a string.
ERR nonzero means get error if there is none specified;
otherwise return 0 in that case. */
/* Return the inferior's current working directory. If nothing has
been set, then return NULL. */
/* Return the inferior's current working directory. If nothing has
been set, then return NULL. */