pub fn sum8i(x: v256i) -> i32