@@ -875,11 +875,12 @@
 #ifdef __cplusplus
 extern "C" {
 #endif
 extern id of_alloc_object(Class class_, size_t extraSize, size_t extraAlignment,
     void **extra);
+extern uint32_t of_random(void);
 extern size_t of_pagesize;
 extern size_t of_num_cpus;
 extern uint32_t of_hash_seed;
 #ifdef __cplusplus
 }
 #endif