[bits 64]
rdseed bx
rdseed ebx
rdseed rbx