29 R5 = Deposit (r3, r2);
30 r0 = DEPOSIT (r7, R6) (X);
35 r4 = extract (r2, r1.L) (z);
36 R2 = EXTRACT (r0, r2.l) (Z);
38 r7 = ExtracT (r3, r4.L) (X);
39 r5 = ExtRACt (R6, R1.L) (x);
44 BITMUX(R1, R0, A0) (ASR);
45 Bitmux (r2, R3, a0) (aSr);
47 bitmux (r4, r5, a0) (asl);
48 BiTMux (R7, r6, a0) (ASl);