fd3               308 user/usertests.c   int fd3 = open("truncfile", O_RDONLY);
fd3               309 user/usertests.c   n = read(fd3, buf, sizeof(buf));
fd3               311 user/usertests.c     printf("aaa fd3=%d\n", fd3);
fd3               325 user/usertests.c   n = read(fd3, buf, sizeof(buf));
fd3               341 user/usertests.c   close(fd3);