get_respfile
char *resppath = get_respfile();
get_respfile());
extern char *get_respfile __P((void));