doremove           60 user/bin/rm/rm.c 		doremove(argv[i]);
doremove          873 user/testbin/psort/psort.c 			doremove(binname(i, j));
doremove          887 user/testbin/psort/psort.c 		doremove(mergedname(i));
doremove         1039 user/testbin/psort/psort.c 		doremove(validname(i));
doremove         1059 user/testbin/psort/psort.c 	doremove(PATH_KEYS);
doremove         1060 user/testbin/psort/psort.c 	doremove(PATH_SORTED);