pub fn belt_compress( x1: [u32; 4], x2: [u32; 4], x34: [u32; 8] ) -> ([u32; 4], [u32; 8])
Compression function described in the section 6.3.2