--- a/src/core/random-variable.cc	Thu Sep 11 11:44:39 2008 +0100
+++ b/src/core/random-variable.cc	Thu Sep 11 15:21:19 2008 +0100
@@ -196,7 +196,9 @@
         {
           for (int i = 0; i < 6; ++i)
             {
-              read(RandomVariableBase::devRandom, &seeds[i], sizeof(seeds[i]));
+              ssize_t bytes_read = read (RandomVariableBase::devRandom,
+                                         &seeds[i], sizeof (seeds[i]));
+              NS_ASSERT (bytes_read == sizeof (seeds[i]));
             }
           if (RngStream::CheckSeed(seeds)) break; // Got a valid one
         }