58   Int fd, size;  in setup_control()  local
64   fd = -1;  in setup_control()
118       fd = -1;  in setup_control()
122       fd = (Int) sr_Res(res);  in setup_control()
123   if (fd>=0) {  in setup_control()
127     WRITE_STR3(fd,  in setup_control()
134     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in setup_control()
136     WRITE_STR3(fd, "base: ", dir, "\n");  in setup_control()
137     WRITE_STR3(fd, "dumps: ", out_file, "\n");  in setup_control()
138     WRITE_STR3(fd, "control: ", command_file, "\n");  in setup_control()
139     WRITE_STR3(fd, "result: ", result_file, "\n");  in setup_control()
141     WRITE_STR2(fd, "cmd: ", VG_(args_the_exename));      in setup_control()
145 	WRITE_STR2(fd, " ", arg);  in setup_control()
147     VG_(write)(fd, "\n", 1);  in setup_control()
148     VG_(close)(fd);  in setup_control()
165 static Int createRes(Int fd)  in createRes()  argument
169     if (fd > -2) return fd;  in createRes()
180     if (sr_isError(res)) fd = -1;  in createRes()
181     else fd = (Int) sr_Res(res);  in createRes()
183     return fd;  in createRes()
187 static Int dump_info(Int fd)  in dump_info()  argument
192     if ( (fd = createRes(fd)) <0) return fd;  in dump_info()
196     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_info()
200     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_info()
204     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_info()
207     WRITE_STR3(fd, "base: ", out_file, "\n");  in dump_info()
210     WRITE_STR2(fd, "cmd: ", VG_(args_the_exename));  in dump_info()
214 	WRITE_STR2(fd, " ", arg);  in dump_info()
216     VG_(write)(fd, "\n", 1);  in dump_info()
218     return fd;  in dump_info()
285 static Int dump_state(Int fd)  in dump_state()  argument
292     if ( (fd = createRes(fd)) <0) return fd;  in dump_state()
296     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
298     if (!CLG_(instrument_state)) return fd;  in dump_state()
301     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
304     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
307     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
310     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
313     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
316     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
321     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
322     VG_(write)(fd, "\n", 1);  in dump_state()
326     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
336     VG_(write)(fd, (void*)buf, p);  in dump_state()
339     VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in dump_state()
342     dump_fd = fd;  in dump_state()
345     return fd;  in dump_state()
354     Int fd, bytesRead = 0, do_kill = 0;  in CLG_()  local
384         fd = (Int) sr_Res(res);  in CLG_()
385 	bytesRead = VG_(read)(fd,cmdBuffer,500);  in CLG_()
387 	VG_(close)(fd);  in CLG_()
395     fd = -2;  in CLG_()
486 	    fd = dump_info(fd);  in CLG_()
491 	    fd = dump_state(fd);  in CLG_()
497 	    if ( (fd = createRes(fd)) <0) break;  in CLG_()
501 	    VG_(write)(fd, (void*)buf, VG_(strlen)(buf));	      in CLG_()
504 	    VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in CLG_()
507 	    VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in CLG_()
510 	    VG_(write)(fd, (void*)buf, VG_(strlen)(buf));  in CLG_()
523     if (fd>=0) VG_(close)(fd);	      in CLG_()