pub fn random_int() -> u32