fn decode_interleaved(encoded: &[u8; 16]) -> ([u8; 8], [u8; 8])