delete_child     8659 src/w32.c      		delete_child (cp);
delete_child      141 src/w32.h      extern void delete_child (child_process *cp);
delete_child     1123 src/w32proc.c    delete_child (cp);
delete_child     1459 src/w32proc.c      delete_child (cp);
delete_child     2265 src/w32proc.c        delete_child (cp);