Jasper Yu says to YSITD
v5 = *v2 >> 32 v6 = *v2