fd2               304 user/usertests.c   int fd2 = open("truncfile", O_RDONLY);
fd2               305 user/usertests.c   int n = read(fd2, buf, sizeof(buf));
fd2               321 user/usertests.c   n = read(fd2, buf, sizeof(buf));
fd2               323 user/usertests.c     printf("bbb fd2=%d\n", fd2);
fd2               336 user/usertests.c   n = read(fd2, buf, sizeof(buf));
fd2               345 user/usertests.c   close(fd2);
fd2               361 user/usertests.c   int fd2 = open("truncfile", O_TRUNC | O_WRONLY);
fd2               371 user/usertests.c   close(fd2);