bits 64
    
    vpgatherqq xmm2, [rbx+xmm2*8+0x1000], xmm13