Function stark::sail::core::stdvec_init

pub fn stdvec_init(reg: *mut Region, val: &[*mut SlHead]) -> *mut SlHead