Fix in 64 bit: SmiTag the wrong register as result