internal void InstallFd(int fd, File file) { Contract.Requires(file != null); Contract.Requires(file.GhostOwner == this); Contract.Requires(Files.IsAvailableFd(fd)); Files.Add(fd, file); }