+ ASSERT(kfile_reopen(&fd1.fd) == &fd1.fd);
+ ASSERT(fd1.fd.size == PAGE_FILL * 2);
+ ASSERT(fd1.fd.seek_pos == 0);
+ ASSERT(fd1.mode == MODE);
+ ASSERT(fd1.inode == INODE);
+ ASSERT(fd1.start == &disk->page_array[0]);
+ ASSERT(fd1.disk == disk);
+ ASSERT(LIST_HEAD(&disk->file_opened_list) == &fd1.link);
+