diff --git a/std/std.random.pdl b/std/std.random.pdl
new file mode 100644
index 0000000000000000000000000000000000000000..840e195232766dd8441b9ecb3ae89210e339739d
--- /dev/null
+++ b/std/std.random.pdl
@@ -0,0 +1,3 @@
+#module std.random
+
+primitive random_u32(out<u32> generator, u32 min, u32 max, u32 num_sends) { #builtin }