let w1 : bits(32) = ic0[31..24] @ ic3[23..16] @ ic2[15.. 8] @ ic3[ 7.. 0]; let oc3 : bits(32) = r1 | r2 | r3 | r4 | r5 | r6 | r7 | r8 | r9 |