remove_tracee     570 exec/trace.c     remove_tracee (tracee);
remove_tracee    1027 exec/trace.c   	  remove_tracee (tracee);
remove_tracee    1140 exec/trace.c       remove_tracee (tracee);
remove_tracee    1353 exec/trace.c   	  remove_tracee (tracee);
remove_tracee    1417 exec/trace.c   	remove_tracee (tracee);