internal bool IsValidFd(int fd) { Contract.Ensures(Contract.Result <bool>() == Files.IsValidFd(fd)); return(Files.IsValidFd(fd)); }