1 files changed, 5 insertions, 1 deletions

diff --git a/mps/code/testlib.h b/mps/code/testlib.h
index cf40053c2d3..2a70fa81f58 100644
--- a/mps/code/testlib.h
+++ b/mps/code/testlib.h
@@ -138,10 +138,14 @@ extern void verror(const char *format, va_list args);
 
 /* rnd -- random number generator
  *
- * rnd() generates a sequence of integers in the range [1, 2^31-1].
+ * rnd() generates a sequence of integers in the range [1, 2^31-2].
  */
 
 extern unsigned long rnd(void);
+typedef unsigned long rnd_state_t;
+extern rnd_state_t rnd_state(void);
+extern void rnd_state_set(rnd_state_t state_v3);
+extern void rnd_state_set_v2(rnd_state_t seed0_v2);  /* legacy */
 
 
 /* rnd_verify() -- checks behaviour of rnd() */