diff --git a/src/include/deepstate/DeepState.h b/src/include/deepstate/DeepState.h
index ef57123..8bc925e 100644
--- a/src/include/deepstate/DeepState.h
+++ b/src/include/deepstate/DeepState.h
@@ -48,8 +48,10 @@
 #define assume DeepState_Assume
 #define check DeepState_Check
 
+#ifdef DEEPSTATE_TAKEOVER_RAND
 #define rand DeepState_Int
 #define srand DeepState_Warn_srand
+#endif
 
 #define MAYBE(...) \
     if (DeepState_Bool()) { \