docat              88 user/bin/cat/cat.c 		docat("stdin", STDIN_FILENO);
docat             100 user/bin/cat/cat.c 	docat(file, fd);
docat             110 user/bin/cat/cat.c 		docat("stdin", STDIN_FILENO);