diff --git a/src/util/Sidekick_util.ml b/src/util/Sidekick_util.ml
new file mode 100644
index 00000000..809afae7
--- /dev/null
+++ b/src/util/Sidekick_util.ml
@@ -0,0 +1,11 @@
+
+(* re-exports *)
+module Fmt = CCFormat
+module Vec = Msat.Vec
+module Log = Msat.Log
+
+module Util = Util
+module Backtrack_stack = Backtrack_stack
+module Error = Error
+module IArray = IArray
+module Intf = Intf