    bits 64
    
    db             0x0F, 0x38, 0xFC, 0x00                                ; AADD      dword ptr [rax], eax
    db             0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AADD      dword ptr [rax+0x0], eax        
    db             0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AADD      dword ptr [rax+0x0], eax
    db       0x48, 0x0F, 0x38, 0xFC, 0x00                                ; AADD      qword ptr [rax], rax
    db       0x48, 0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AADD      qword ptr [rax+0x0], rax        
    db       0x48, 0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AADD      qword ptr [rax+0x0], rax
    
    db       0x66, 0x0F, 0x38, 0xFC, 0x00                                ; AAND      dword ptr [rax], eax
    db       0x66, 0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AAND      dword ptr [rax+0x0], eax   
    db       0x66, 0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AAND      dword ptr [rax+0x0], eax
    db 0x66, 0x48, 0x0F, 0x38, 0xFC, 0x00                                ; AAND      qword ptr [rax], rax
    db 0x66, 0x48, 0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AAND      qword ptr [rax+0x0], rax   
    db 0x66, 0x48, 0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AAND      qword ptr [rax+0x0], rax
    
    db       0xF2, 0x0F, 0x38, 0xFC, 0x00                                ; AOR       dword ptr [rax], eax
    db       0xF2, 0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AOR       dword ptr [rax+0x0], eax  
    db       0xF2, 0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AOR       dword ptr [rax+0x0], eax
    db 0xF2, 0x48, 0x0F, 0x38, 0xFC, 0x00                                ; AOR       qword ptr [rax], rax
    db 0xF2, 0x48, 0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AOR       qword ptr [rax+0x0], rax  
    db 0xF2, 0x48, 0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AOR       qword ptr [rax+0x0], rax
    
    db       0xF3, 0x0F, 0x38, 0xFC, 0x00                                ; AXOR      dword ptr [rax], eax
    db       0xF3, 0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AXOR      dword ptr [rax+0x0], eax   
    db       0xF3, 0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AXOR      dword ptr [rax+0x0], eax
    db 0xF3, 0x48, 0x0F, 0x38, 0xFC, 0x00                                ; AXOR      qword ptr [rax], rax
    db 0xF3, 0x48, 0x0F, 0x38, 0xFC, 0x40, 0x00                          ; AXOR      qword ptr [rax+0x0], rax   
    db 0xF3, 0x48, 0x0F, 0x38, 0xFC, 0x80, 0x00, 0x00, 0x00, 0x00        ; AXOR      qword ptr [rax+0x0], rax