diff --git a/src/basic/random-util.c b/src/basic/random-util.c
index a8bcee1843..810eeab4d5 100644
--- a/src/basic/random-util.c
+++ b/src/basic/random-util.c
@@ -114,7 +114,7 @@ void initialize_srand(void) {
 
         auxv = (void*) getauxval(AT_RANDOM);
         if (auxv) {
-                assert_cc(sizeof(x) < 16);
+                assert_cc(sizeof(x) <= 16);
                 memcpy(&x, auxv, sizeof(x));
         } else
 #endif