bits 64
    
    ; REX2 0
    db 0xD5, 0x00, 0x33, 0xC0
    ; REX2.W = 1
    db 0xD5, 0x08, 0x33, 0xC0
    ; REX2.B3 & REX2.B4 set
    db 0xD5, 0x19, 0x33, 0xC0
    ; REX2.R3 & REX2.R4 set
    db 0xD5, 0x4C, 0x33, 0xC0
    ; REX2.X3 & REX2.X4 set, no memory
    db 0xD5, 0x2A, 0x33, 0xC0
    ; REX2.X3 & REX2.X4 set, SIB access
    db 0xD5, 0x2A, 0x33, 0x04, 0x33
    ; JMPABS
    db 0xD5, 0x00, 0xA1, 0xBD, 0xBD, 0xBD, 0xBD, 0xBD, 0xBD, 0xBD, 0xBD
    ; PUSHP/POPP
    db 0xD5, 0x08, 0x50
    db 0xD5, 0x08, 0x58
    db 0xD5, 0x18, 0x50
    db 0xD5, 0x18, 0x58
    ; PUSH/POP
    db 0xD5, 0x00, 0x50
    db 0xD5, 0x00, 0x58
    db 0xD5, 0x10, 0x50
    db 0xD5, 0x10, 0x58
    ; NOP
    db 0xD5, 0x00, 0x90
    ; XCHG r16, rax
    db 0xD5, 0x18, 0x90
    ; RDFSBASE r31
    db 0xF3, 0xD5, 0x99, 0xAE, 0xC7