pub fn log2i(x: v256i) -> v256