                                                 /* orr.w r10,r10,r10 */) {
              /* R3 = client_request ( R4 ) */
              DIP("r3 = client_request ( %%r4 )\n");
-@@ -14845,7 +14863,7 @@ DisResult disInstr_THUMB_WRK (
+@@ -14845,7 +14863,7 @@
           }
           else
           // 0x 0B 0B EA 4B

 
    if (0) vex_printf("insn: 0x%x\n", insn);
 
@@ -12622,12 +12640,12 @@ DisResult disInstr_ARM_WRK (
       UInt word2 = 0xE1A0C6EC;
       UInt word3 = 0xE1A0CEEC;
       UInt word4 = 0xE1A0C9EC;

          host_word_type    = Ity_I32;
          vassert(are_valid_hwcaps(VexArchARM, vta->archinfo_host.hwcaps));
          break;
@@ -749,115 +759,115 @@
                    " Instruction selection "
                    "------------------------\n");
 
