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);
}