null_found <- 0
while(!null_found) do i = 0 to 15
    null_found <- (VSR[VRB+32].byte[15-i]=0)
   VSR[VRT+32].byte[15-i] <- VSR[VRB+32].byte[1
end
do j = i to 15
    VSR[VRT+32].byte[15-j] <- 0
end
if Rc=1 then
    CR.field[6] <- 0b00 || null_found || 0b0