#module std.random

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