Function stark::sail::core::u32_init

pub fn u32_init(reg: *mut Region, val: u32) -> *mut SlHead