fd2               302 user/usertests.c   int fd2 = open("truncfile", O_RDONLY);
fd2               303 user/usertests.c   int n = read(fd2, buf, sizeof(buf));
fd2               319 user/usertests.c   n = read(fd2, buf, sizeof(buf));
fd2               321 user/usertests.c     printf("bbb fd2=%d\n", fd2);
fd2               334 user/usertests.c   n = read(fd2, buf, sizeof(buf));
fd2               343 user/usertests.c   close(fd2);
fd2               359 user/usertests.c   int fd2 = open("truncfile", O_TRUNC|O_WRONLY);
fd2               369 user/usertests.c   close(fd2);