#module std.random

primitive random_u32(out<u32> generator, u32 min, u32 max) { #builtin }