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