#module std.random

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