pub fn gimli_x2(state: &mut [u32; 12], state2: &mut [u32; 12])