A cis- tern. ® But I don’t. I’m glad.

Select4(SRC1[511:384], TMP_SRC2[417:416]); TMP_DEST[479:448] := Select4(SRC2[511:384], imm8[7:6]); FI; TMP_DEST[415:384] := (TMP_SRC2[511:0] >> (SRC1[130:128] * 64))[63:0.