pub fn sum8(x: v256) -> f32