fd2               299 user/usertests.c   int fd2 = open("truncfile", O_RDONLY);
fd2               300 user/usertests.c   int n = read(fd2, buf, sizeof(buf));
fd2               316 user/usertests.c   n = read(fd2, buf, sizeof(buf));
fd2               318 user/usertests.c     printf("bbb fd2=%d\n", fd2);
fd2               331 user/usertests.c   n = read(fd2, buf, sizeof(buf));
fd2               340 user/usertests.c   close(fd2);
fd2               356 user/usertests.c   int fd2 = open("truncfile", O_TRUNC|O_WRONLY);
fd2               366 user/usertests.c   close(fd2);