1 # Convert Declets To Binary Coded Decimal
8 RA[n+8:n+19 ] <- DPD_TO_BCD( (RS)[n+12:n+21] )
9 RA[n+20:n+31] <- DPD_TO_BCD( (RS)[n+22:n+31] )
11 # Add and Generate Sixes
16 dci <- carry_out(RA[4xi:63] + RB[4xi:63])
17 c <- [dc[0]]*4 || [dc[1]]*4 || ... || [dc[15]]*4
18 RT <- (¬c) & 0x6666_6666_6666_6666
20 # Convert Binary Coded Decimal To Declets
27 RA[n+12:n+21] <- BCD_TO_DPD( (RS)[n+8:n+19] )
28 RA[n+22:n+31] <- BCD_TO_DPD( (RS)[n+20:n+31] )