] ←00000000000000000000000000000000H
ELSE
    DEST[15:0]←ZeroExtend(SRC[15:0] &gt;&gt; COUNT);
    (* Repeat shift operation for 2nd through 7th words *)
    DEST[127:112]←ZeroExtend(SRC[127:112] &gt;&gt; COUNT);
FI;
LOGICAL_RIGHT_SHIFT_DWORDS_256b(SRC, COUNT_SRC)
COUNT ←COUNT_SRC[63:0];
IF (COUNT &gt; 31)
THEN
    DEST[255:0] ←0
ELSE
    DEST[31:0]←ZeroExtend(SRC[31:0] &gt;&gt; COUNT);
    (* Repeat shift operation for 2nd through 3rd words *)
    DEST[255:224]←ZeroExtend(SRC[255:224] &gt;&gt