fd3               313 user/usertests.c   int fd3 = open("truncfile", O_RDONLY);
fd3               314 user/usertests.c   n = read(fd3, buf, sizeof(buf));
fd3               316 user/usertests.c     printf("aaa fd3=%d\n", fd3);
fd3               330 user/usertests.c   n = read(fd3, buf, sizeof(buf));
fd3               346 user/usertests.c   close(fd3);