bits 64
    
    db       0x0F, 0x38, 0x8B, 0x00
    db 0x48, 0x0F, 0x38, 0x8B, 0x10
    db 0x66, 0x0F, 0x38, 0x8B, 0x10
    db       0x0F, 0x38, 0x8A, 0x00
    db 0x48, 0x0F, 0x38, 0x8A, 0x10
    db 0x66, 0x0F, 0x38, 0x8A, 0x10
    db       0x0F, 0x18, 0x20