remove_process   1149 src/process.c    remove_process (process);
remove_process   2079 src/process.c      remove_process (proc);
remove_process   2424 src/process.c    record_unwind_protect (remove_process, proc);
remove_process   3173 src/process.c    record_unwind_protect (remove_process, proc);
remove_process   4225 src/process.c    record_unwind_protect (remove_process, proc);
remove_process   7683 src/process.c  		remove_process (proc);