remove_process   1143 src/process.c    remove_process (process);
remove_process   2073 src/process.c      remove_process (proc);
remove_process   2418 src/process.c    record_unwind_protect (remove_process, proc);
remove_process   3167 src/process.c    record_unwind_protect (remove_process, proc);
remove_process   4219 src/process.c    record_unwind_protect (remove_process, proc);
remove_process   7655 src/process.c  		remove_process (proc);