pclose           4199 gc/os_dep.c    		  if (pipe != NULL) pclose(pipe);
pclose           4208 gc/os_dep.c    		    pclose(pipe);
pclose           4227 gc/os_dep.c    		pclose(pipe);