summaryrefslogtreecommitdiff
path: root/dev-util/valgrind/files/support_for_TBM_bextr.patch
diff options
context:
space:
mode:
Diffstat (limited to 'dev-util/valgrind/files/support_for_TBM_bextr.patch')
-rw-r--r--dev-util/valgrind/files/support_for_TBM_bextr.patch1300
1 files changed, 1300 insertions, 0 deletions
diff --git a/dev-util/valgrind/files/support_for_TBM_bextr.patch b/dev-util/valgrind/files/support_for_TBM_bextr.patch
new file mode 100644
index 0000000..719b4e4
--- /dev/null
+++ b/dev-util/valgrind/files/support_for_TBM_bextr.patch
@@ -0,0 +1,1300 @@
+--- valgrind-orig/VEX/priv/guest_amd64_toIR.c (revision 2763)
++++ valgrind-patched/VEX/priv/guest_amd64_toIR.c (working copy)
+@@ -1,4 +1,3 @@
+-
+ /*--------------------------------------------------------------------*/
+ /*--- begin guest_amd64_toIR.c ---*/
+ /*--------------------------------------------------------------------*/
+@@ -673,6 +672,8 @@
+ #define PFX_VEXnV1 (1<<19) /* ~VEX vvvv[1], if VEX present, else 0 */
+ #define PFX_VEXnV2 (1<<20) /* ~VEX vvvv[2], if VEX present, else 0 */
+ #define PFX_VEXnV3 (1<<21) /* ~VEX vvvv[3], if VEX present, else 0 */
++#define PFX_VEXnvvvv (PFX_VEXnV0 | PFX_VEXnV1 | PFX_VEXnV2 | PFX_VEXnV3)
++#define PFX_XOP (1<<22) /* XOP prefix present (0x8F) */
+
+
+ #define PFX_EMPTY 0x55000000
+@@ -30569,6 +30570,100 @@
+
+ /*------------------------------------------------------------*/
+ /*--- ---*/
++/*--- Top-level post-escape decoders: dis_ESC_0F3A__XOP ---*/
++/*--- ---*/
++/*------------------------------------------------------------*/
++__attribute__((noinline))
++static
++Long dis_ESC_0F3A__XOP(
++ /*MB_OUT*/DisResult* dres,
++ /*OUT*/ Bool* uses_vvvv,
++ Bool (*resteerOkFn) ( /*opaque*/void*, Addr64 ),
++ Bool resteerCisOk,
++ void* callback_opaque,
++ VexArchInfo* archinfo,
++ VexAbiInfo* vbi,
++ Prefix pfx, Int sz, Long deltaIN
++ )
++{
++ IRTemp addr = IRTemp_INVALID;
++ Int alen = 0;
++ HChar dis_buf[50];
++ Long delta = deltaIN;
++ UChar opc = getUChar(delta);
++ delta++;
++ *uses_vvvv = False;
++
++ switch (opc) {
++ /* BEXTR r32b, r/m32, imm32 = XOP.0.vvvv.LZ.00 0x10 /r /id */
++ /* BEXTR r64b, r/m64, imm32 = VEX.W.vvvv.LZ.00 0x10 /r /id */
++ case 0x10:
++ if ((pfx & PFX_VEXnvvvv) == 0 && 0==getVexL(pfx)/*LZ*/) {
++ Int size = getRexW(pfx) ? 8 : 4, ctrl;
++ UChar start, len, opsize;
++ IRType ty = szToITy(size);
++ IRTemp dst = newTemp(ty);
++ IRTemp src1 = newTemp(ty);
++ UChar rm = getUChar(delta);
++
++ if (epartIsReg(rm)) {
++ delta++;
++ ctrl = getSDisp32(delta);
++ assign( src1, getIRegE(size,pfx,rm) );
++ DIP("bextr %x,%s,%s\n", ctrl,
++ nameIRegE(size,pfx,rm), nameIRegG(size,pfx,rm));
++ } else {
++ addr = disAMode ( &alen, vbi, pfx, delta, dis_buf, 0 );
++ delta += alen;
++ ctrl = getSDisp32(delta);
++ assign( src1, loadLE(ty, mkexpr(addr)) );
++ DIP("bextr %x,%s,%s\n", ctrl, dis_buf, nameIRegG(size,pfx,rm));
++ }
++
++ delta += 4; /* += control immediate */
++
++ start = ctrl & 0xff;
++ len = (ctrl >> 8) & 0xff;
++ opsize = 8*size;
++
++ if ((start + len) < opsize) {
++ if (len == 0) {
++ assign(dst, mkU(ty, 0));
++ } else {
++ assign (dst,
++ binop(mkSizedOp(ty,Iop_Shr8),
++ binop(
++ mkSizedOp(ty,Iop_Shl8),
++ mkexpr(src1),
++ mkU8(opsize-start-len)),
++ mkU8(opsize - len)));
++ }
++ } else {
++ if (start < opsize) {
++ assign(dst, binop(
++ mkSizedOp(ty,Iop_Shr8), mkexpr(src1), mkU8(start)));
++ } else {
++ assign(dst, mkU(ty, 0));
++ }
++ }
++
++ putIRegG( size, pfx, rm, mkexpr(dst) );
++ stmt( IRStmt_Put( OFFB_CC_OP, mkU64(size == 8
++ ? AMD64G_CC_OP_ANDN64
++ : AMD64G_CC_OP_ANDN32)) );
++ stmt( IRStmt_Put( OFFB_CC_DEP1, widenUto64(mkexpr(dst))) );
++ stmt( IRStmt_Put( OFFB_CC_DEP2, mkU64(0)) );
++ *uses_vvvv = True;
++ goto decode_success;
++ }
++ }
++ return deltaIN;
++decode_success:
++ return delta;
++}
++
++/*------------------------------------------------------------*/
++/*--- ---*/
+ /*--- Disassemble a single instruction ---*/
+ /*--- ---*/
+ /*------------------------------------------------------------*/
+@@ -30742,24 +30837,39 @@
+ if (archinfo->hwcaps & VEX_HWCAPS_AMD64_AVX) {
+ /* Used temporarily for holding VEX prefixes. */
+ UChar vex0 = getUChar(delta);
+- if (vex0 == 0xC4) {
+- /* 3-byte VEX */
++
++ if (vex0 == 0xC4 || vex0 == 0x8f) {
++ /* 3-byte VEX or XOP */
+ UChar vex1 = getUChar(delta+1);
+ UChar vex2 = getUChar(delta+2);
+ delta += 3;
+- pfx |= PFX_VEX;
++
++ pfx |= (vex0 == 0xC4) ? PFX_VEX : PFX_XOP;
+ /* Snarf contents of byte 1 */
+ /* R */ pfx |= (vex1 & (1<<7)) ? 0 : PFX_REXR;
+ /* X */ pfx |= (vex1 & (1<<6)) ? 0 : PFX_REXX;
+ /* B */ pfx |= (vex1 & (1<<5)) ? 0 : PFX_REXB;
+ /* m-mmmm */
+- switch (vex1 & 0x1F) {
+- case 1: esc = ESC_0F; break;
+- case 2: esc = ESC_0F38; break;
+- case 3: esc = ESC_0F3A; break;
+- /* Any other m-mmmm field will #UD */
+- default: goto decode_failure;
++ if (pfx & PFX_VEX) {
++ switch (vex1 & 0x1F) {
++ case 1: esc = ESC_0F; break;
++ case 2: esc = ESC_0F38; break;
++ case 3: esc = ESC_0F3A; break;
++ /* Any other m-mmmm field will #UD */
++ default:
++ goto decode_failure;
++ }
++ } else if (pfx & PFX_XOP) {
++ switch (vex1 & 0x1F) {
++ case 8: esc = ESC_0F; break;
++ case 9: esc = ESC_0F38; break;
++ case 10: esc = ESC_0F3A; break;
++ /* Any other m-mmmm field will #UD */
++ default: goto decode_failure;
++ }
+ }
++
++
+ /* Snarf contents of byte 2 */
+ /* W */ pfx |= (vex2 & (1<<7)) ? PFX_REXW : 0;
+ /* ~v3 */ pfx |= (vex2 & (1<<6)) ? 0 : PFX_VEXnV3;
+@@ -30800,7 +30910,7 @@
+ esc = ESC_0F;
+ }
+ /* Can't have both VEX and REX */
+- if ((pfx & PFX_VEX) && (pfx & PFX_REX))
++ if ((pfx & (PFX_VEX | PFX_XOP)) && (pfx & PFX_REX))
+ goto decode_failure; /* can't have both */
+ }
+
+@@ -30849,7 +30959,7 @@
+
+ /* Eat up opcode escape bytes, until we're really looking at the
+ primary opcode byte. But only if there's no VEX present. */
+- if (!(pfx & PFX_VEX)) {
++ if (!(pfx & (PFX_VEX | PFX_XOP))) {
+ vassert(esc == ESC_NONE);
+ pre = getUChar(delta);
+ if (pre == 0x0F) {
+@@ -30867,7 +30977,7 @@
+ byte. */
+ Long delta_at_primary_opcode = delta;
+
+- if (!(pfx & PFX_VEX)) {
++ if (!(pfx & (PFX_VEX | PFX_XOP))) {
+ /* Handle non-VEX prefixed instructions. "Legacy" (non-VEX) SSE
+ instructions preserve the upper 128 bits of YMM registers;
+ iow we can simply ignore the presence of the upper halves of
+@@ -30896,7 +31006,7 @@
+ default:
+ vassert(0);
+ }
+- } else {
++ } else if (pfx & PFX_VEX) {
+ /* VEX prefixed instruction */
+ /* Sloppy Intel wording: "An instruction encoded with a VEX.128
+ prefix that loads a YMM register operand ..." zeroes out bits
+@@ -30934,6 +31044,28 @@
+ if (getVexNvvvv(pfx) != 0)
+ goto decode_failure;
+ }
++ } else {
++ /* XOP */
++ Bool uses_vvvv = False;
++ switch (esc) {
++ case ESC_0F: goto decode_failure; /* XXX */
++ case ESC_0F38: goto decode_failure; /* XXX */
++ case ESC_0F3A:
++ delta = dis_ESC_0F3A__XOP ( &dres, &uses_vvvv,
++ resteerOkFn, resteerCisOk,
++ callback_opaque,
++ archinfo, vbi, pfx, sz, delta );
++ break;
++ case ESC_NONE: goto decode_failure;
++ default:
++ vassert(0);
++ }
++ /* If the insn doesn't use VEX.vvvv then it must be all ones. Check this. */
++ if (!uses_vvvv) {
++ if (getVexNvvvv(pfx) != 0)
++ goto decode_failure;
++
++ }
+ }
+
+ vassert(delta - delta_at_primary_opcode >= 0);
+Index: none/tests/amd64/tbm.c
+===================================================================
+--- none/tests/amd64/tbm.c (revision 0)
++++ none/tests/amd64/tbm.c (working copy)
+@@ -0,0 +1,65 @@
++#include <stdint.h>
++#include <stdio.h>
++
++#define decl_imm_bextr(t,n,k) \
++__attribute__((noinline)) \
++void do_bextr##t##_##n (/*OUT*/uint32_t* flags, /*OUT*/uint64_t* res, uint##t##_t src) \
++{ \
++ uint64_t tem, flag; \
++ __asm__ __volatile__( \
++ "movabsq $0x5555555555555555, %0" "\n\t" \
++ "bextr $" #n ", %2, %"#k "\n\t" \
++ "pushfq" "\n\t" \
++ "popq %1" "\n" \
++ : "=&r" (tem), "=&r" (flag) : "r" (src) : "cc" ); \
++ *res = tem; \
++ *flags = flag & 0x8d5; \
++ __asm__ __volatile__( \
++ "movabsq $0x5555555555555555, %0" "\n\t" \
++ "bextr $" #n ", %2, %"#k "\n\t" \
++ "pushfq" "\n\t" \
++ "popq %1" "\n" \
++ : "=&r" (tem), "=&r" (flag) : "m" (src) : "cc" ); \
++ if (*res != tem || *flags != (flag & 0x8d5)) \
++ printf ("Difference between r and m variants\n"); }
++
++#define decl_imm_bextr32(n) decl_imm_bextr(32,n,k0)
++#define decl_imm_bextr64(n) decl_imm_bextr(64,n,0)
++
++#define do_imm_bextr(t,n,flags,res,src) do_bextr##t##_##n(flags,res,src)
++
++#define decl_imm_bextr_pair(x) \
++decl_imm_bextr64(x) \
++decl_imm_bextr32(x)
++
++/* constants from libpython2.7 */
++decl_imm_bextr_pair(0x117);
++decl_imm_bextr_pair(0x404);
++decl_imm_bextr_pair(0xc08);
++decl_imm_bextr_pair(0x1f01);
++
++#define bextr_loop(t, imm) \
++ w1 = 0x57657438291CDEF0ULL; \
++ while (1) { \
++ do_imm_bextr(t, imm, &flags, &res, w1); \
++ printf("bextr"#t" %016lx -> %016lx %04x\n", w1, res, flags); \
++ if (w1 == 0) break; \
++ w1 = ((w1 >> 2) | (w1 >> 1)) + (w1 / 17ULL); \
++ }
++#define bextr_loop_pair(imm) \
++bextr_loop(32, imm) \
++bextr_loop(64, imm)
++
++int main ( void )
++{
++ uint64_t w1;
++ uint64_t res;
++ uint32_t flags;
++
++ bextr_loop_pair(0x117);
++ bextr_loop_pair(0x404);
++ bextr_loop_pair(0xc08);
++ bextr_loop_pair(0x1f01);
++
++ return 0;
++}
+Index: none/tests/amd64/tbm.stderr.exp
+===================================================================
+Index: none/tests/amd64/tbm.stdout.exp
+===================================================================
+--- none/tests/amd64/tbm.stdout.exp (revision 0)
++++ none/tests/amd64/tbm.stdout.exp (working copy)
+@@ -0,0 +1,984 @@
++bextr32 57657438291cdef0 -> 0000000000000000 0054
++bextr32 452015034e67c955 -> 0000000000000000 0054
++bextr32 37e901ef56b302d6 -> 0000000000000001 0010
++bextr32 2348b20e142667cf -> 0000000000000000 0054
++bextr32 1c09d34c26e1c212 -> 0000000000000001 0010
++bextr32 10ad37922d51847f -> 0000000000000000 0054
++bextr32 0d7b015093984564 -> 0000000000000001 0010
++bextr32 08cac1103a60926a -> 0000000000000000 0054
++bextr32 06fc5681c8cd2b10 -> 0000000000000001 0010
++bextr32 04687224d51a87fa -> 0000000000000000 0054
++bextr32 03809eacb986283a -> 0000000000000001 0010
++bextr32 02152e09a7eb825e -> 0000000000000001 0010
++bextr32 01af3c969c7725a6 -> 0000000000000000 0054
++bextr32 01193d5aad28c013 -> 0000000000000000 0054
++bextr32 00df6b2373776c4a -> 0000000000000000 0054
++bextr32 008d24457d4341d1 -> 0000000000000000 0054
++bextr32 007028a17fc8b89e -> 0000000000000001 0010
++bextr32 0042b77370e42ef0 -> 0000000000000001 0010
++bextr32 0035ecaa6c888c28 -> 0000000000000001 0010
++bextr32 00232b89c5c8c9b6 -> 0000000000000001 0010
++bextr32 001bf185a53e82dc -> 0000000000000000 0054
++bextr32 0011a1af9c2edaa2 -> 0000000000000000 0054
++bextr32 000e0282bc13b27b -> 0000000000000000 0054
++bextr32 000854daa0b4cc02 -> 0000000000000001 0010
++bextr32 0006bcf63e2fbf3d -> 0000000000000000 0054
++bextr32 000464f7852a566a -> 0000000000000000 0054
++bextr32 00037dac915ab5c5 -> 0000000000000000 0054
++bextr32 000234911b32831c -> 0000000000000000 0054
++bextr32 0001c0a2862c25c1 -> 0000000000000000 0054
++bextr32 00010addcd657882 -> 0000000000000000 0054
++bextr32 0000d7b2a9b6ab1d -> 0000000000000001 0010
++bextr32 00008cae2719cda3 -> 0000000000000000 0054
++bextr32 00006fc61694404d -> 0000000000000001 0010
++bextr32 00004686be70612c -> 0000000000000000 0054
++bextr32 0000380a0af0025a -> 0000000000000001 0010
++bextr32 000021536a829879 -> 0000000000000001 0010
++bextr32 00001af3d8f8abea -> 0000000000000001 0010
++bextr32 00001193de14a839 -> 0000000000000000 0054
++bextr32 00000df6b24569e5 -> 0000000000000000 0054
++bextr32 000008d2446cc8f9 -> 0000000000000000 0054
++bextr32 000007028a18af7d -> 0000000000000000 0054
++bextr32 0000042b77359960 -> 0000000000000000 0054
++bextr32 0000035ecaa6d9df -> 0000000000000001 0010
++bextr32 00000232b89c662a -> 0000000000000001 0010
++bextr32 000001bf185a50b0 -> 0000000000000000 0054
++bextr32 0000011a1af9c13b -> 0000000000000001 0010
++bextr32 000000e0282bc000 -> 0000000000000000 0054
++bextr32 000000854daa0a5a -> 0000000000000001 0010
++bextr32 0000006bcf63e2b5 -> 0000000000000000 0054
++bextr32 000000464f7852a0 -> 0000000000000000 0054
++bextr32 00000037dac915a7 -> 0000000000000001 0010
++bextr32 000000234911b322 -> 0000000000000000 0054
++bextr32 0000001c0a2862bc -> 0000000000000000 0054
++bextr32 00000010addcd664 -> 0000000000000001 0010
++bextr32 0000000d7b2a9b66 -> 0000000000000000 0054
++bextr32 00000008cae27197 -> 0000000000000001 0010
++bextr32 00000006fc616943 -> 0000000000000000 0054
++bextr32 00000004686be704 -> 0000000000000000 0054
++bextr32 0000000380a0aeff -> 0000000000000001 0010
++bextr32 000000021536a868 -> 0000000000000000 0054
++bextr32 00000001af3d8fad -> 0000000000000000 0054
++bextr32 00000001193de163 -> 0000000000000000 0054
++bextr32 00000000df6b2459 -> 0000000000000000 0054
++bextr32 000000008d2446ca -> 0000000000000000 0054
++bextr32 000000007028a18a -> 0000000000000000 0054
++bextr32 0000000042b77358 -> 0000000000000001 0010
++bextr32 0000000035ecaa6c -> 0000000000000001 0010
++bextr32 00000000232b89c5 -> 0000000000000000 0054
++bextr32 000000001bf185a4 -> 0000000000000001 0010
++bextr32 0000000011a1af9b -> 0000000000000001 0010
++bextr32 000000000e0282bb -> 0000000000000000 0054
++bextr32 000000000854daa0 -> 0000000000000000 0054
++bextr32 0000000006bcf63d -> 0000000000000001 0010
++bextr32 000000000464f784 -> 0000000000000000 0054
++bextr32 00000000037dac90 -> 0000000000000000 0054
++bextr32 000000000234911a -> 0000000000000000 0054
++bextr32 0000000001c0a285 -> 0000000000000001 0010
++bextr32 00000000010addcc -> 0000000000000000 0054
++bextr32 0000000000d7b2a8 -> 0000000000000001 0010
++bextr32 00000000008cae26 -> 0000000000000001 0010
++bextr32 00000000006fc615 -> 0000000000000000 0054
++bextr32 00000000004686bd -> 0000000000000000 0054
++bextr32 0000000000380a0a -> 0000000000000000 0054
++bextr32 0000000000215369 -> 0000000000000000 0054
++bextr32 00000000001af3d7 -> 0000000000000000 0054
++bextr32 00000000001193de -> 0000000000000000 0054
++bextr32 00000000000df6b1 -> 0000000000000000 0054
++bextr32 000000000008d242 -> 0000000000000000 0054
++bextr32 0000000000070287 -> 0000000000000000 0054
++bextr32 0000000000042b72 -> 0000000000000000 0054
++bextr32 0000000000035ec7 -> 0000000000000000 0054
++bextr32 00000000000232b3 -> 0000000000000000 0054
++bextr32 000000000001bf16 -> 0000000000000000 0054
++bextr32 0000000000011a1b -> 0000000000000000 0054
++bextr32 000000000000e027 -> 0000000000000000 0054
++bextr32 000000000000854a -> 0000000000000000 0054
++bextr32 0000000000006bce -> 0000000000000000 0054
++bextr32 000000000000464e -> 0000000000000000 0054
++bextr32 00000000000037d9 -> 0000000000000000 0054
++bextr32 0000000000002347 -> 0000000000000000 0054
++bextr32 0000000000001c06 -> 0000000000000000 0054
++bextr32 00000000000010a9 -> 0000000000000000 0054
++bextr32 0000000000000d78 -> 0000000000000000 0054
++bextr32 00000000000008c8 -> 0000000000000000 0054
++bextr32 00000000000006fa -> 0000000000000000 0054
++bextr32 0000000000000468 -> 0000000000000000 0054
++bextr32 0000000000000380 -> 0000000000000000 0054
++bextr32 0000000000000214 -> 0000000000000000 0054
++bextr32 00000000000001ae -> 0000000000000000 0054
++bextr32 0000000000000118 -> 0000000000000000 0054
++bextr32 00000000000000de -> 0000000000000000 0054
++bextr32 000000000000008c -> 0000000000000000 0054
++bextr32 000000000000006f -> 0000000000000000 0054
++bextr32 0000000000000045 -> 0000000000000000 0054
++bextr32 0000000000000037 -> 0000000000000000 0054
++bextr32 0000000000000022 -> 0000000000000000 0054
++bextr32 000000000000001b -> 0000000000000000 0054
++bextr32 0000000000000010 -> 0000000000000000 0054
++bextr32 000000000000000c -> 0000000000000000 0054
++bextr32 0000000000000007 -> 0000000000000000 0054
++bextr32 0000000000000003 -> 0000000000000000 0054
++bextr32 0000000000000001 -> 0000000000000000 0054
++bextr32 0000000000000000 -> 0000000000000000 0054
++bextr64 57657438291cdef0 -> 0000000000000000 0054
++bextr64 452015034e67c955 -> 0000000000000000 0054
++bextr64 37e901ef56b302d6 -> 0000000000000001 0010
++bextr64 2348b20e142667cf -> 0000000000000000 0054
++bextr64 1c09d34c26e1c212 -> 0000000000000001 0010
++bextr64 10ad37922d51847f -> 0000000000000000 0054
++bextr64 0d7b015093984564 -> 0000000000000001 0010
++bextr64 08cac1103a60926a -> 0000000000000000 0054
++bextr64 06fc5681c8cd2b10 -> 0000000000000001 0010
++bextr64 04687224d51a87fa -> 0000000000000000 0054
++bextr64 03809eacb986283a -> 0000000000000001 0010
++bextr64 02152e09a7eb825e -> 0000000000000001 0010
++bextr64 01af3c969c7725a6 -> 0000000000000000 0054
++bextr64 01193d5aad28c013 -> 0000000000000000 0054
++bextr64 00df6b2373776c4a -> 0000000000000000 0054
++bextr64 008d24457d4341d1 -> 0000000000000000 0054
++bextr64 007028a17fc8b89e -> 0000000000000001 0010
++bextr64 0042b77370e42ef0 -> 0000000000000001 0010
++bextr64 0035ecaa6c888c28 -> 0000000000000001 0010
++bextr64 00232b89c5c8c9b6 -> 0000000000000001 0010
++bextr64 001bf185a53e82dc -> 0000000000000000 0054
++bextr64 0011a1af9c2edaa2 -> 0000000000000000 0054
++bextr64 000e0282bc13b27b -> 0000000000000000 0054
++bextr64 000854daa0b4cc02 -> 0000000000000001 0010
++bextr64 0006bcf63e2fbf3d -> 0000000000000000 0054
++bextr64 000464f7852a566a -> 0000000000000000 0054
++bextr64 00037dac915ab5c5 -> 0000000000000000 0054
++bextr64 000234911b32831c -> 0000000000000000 0054
++bextr64 0001c0a2862c25c1 -> 0000000000000000 0054
++bextr64 00010addcd657882 -> 0000000000000000 0054
++bextr64 0000d7b2a9b6ab1d -> 0000000000000001 0010
++bextr64 00008cae2719cda3 -> 0000000000000000 0054
++bextr64 00006fc61694404d -> 0000000000000001 0010
++bextr64 00004686be70612c -> 0000000000000000 0054
++bextr64 0000380a0af0025a -> 0000000000000001 0010
++bextr64 000021536a829879 -> 0000000000000001 0010
++bextr64 00001af3d8f8abea -> 0000000000000001 0010
++bextr64 00001193de14a839 -> 0000000000000000 0054
++bextr64 00000df6b24569e5 -> 0000000000000000 0054
++bextr64 000008d2446cc8f9 -> 0000000000000000 0054
++bextr64 000007028a18af7d -> 0000000000000000 0054
++bextr64 0000042b77359960 -> 0000000000000000 0054
++bextr64 0000035ecaa6d9df -> 0000000000000001 0010
++bextr64 00000232b89c662a -> 0000000000000001 0010
++bextr64 000001bf185a50b0 -> 0000000000000000 0054
++bextr64 0000011a1af9c13b -> 0000000000000001 0010
++bextr64 000000e0282bc000 -> 0000000000000000 0054
++bextr64 000000854daa0a5a -> 0000000000000001 0010
++bextr64 0000006bcf63e2b5 -> 0000000000000000 0054
++bextr64 000000464f7852a0 -> 0000000000000000 0054
++bextr64 00000037dac915a7 -> 0000000000000001 0010
++bextr64 000000234911b322 -> 0000000000000000 0054
++bextr64 0000001c0a2862bc -> 0000000000000000 0054
++bextr64 00000010addcd664 -> 0000000000000001 0010
++bextr64 0000000d7b2a9b66 -> 0000000000000000 0054
++bextr64 00000008cae27197 -> 0000000000000001 0010
++bextr64 00000006fc616943 -> 0000000000000000 0054
++bextr64 00000004686be704 -> 0000000000000000 0054
++bextr64 0000000380a0aeff -> 0000000000000001 0010
++bextr64 000000021536a868 -> 0000000000000000 0054
++bextr64 00000001af3d8fad -> 0000000000000000 0054
++bextr64 00000001193de163 -> 0000000000000000 0054
++bextr64 00000000df6b2459 -> 0000000000000000 0054
++bextr64 000000008d2446ca -> 0000000000000000 0054
++bextr64 000000007028a18a -> 0000000000000000 0054
++bextr64 0000000042b77358 -> 0000000000000001 0010
++bextr64 0000000035ecaa6c -> 0000000000000001 0010
++bextr64 00000000232b89c5 -> 0000000000000000 0054
++bextr64 000000001bf185a4 -> 0000000000000001 0010
++bextr64 0000000011a1af9b -> 0000000000000001 0010
++bextr64 000000000e0282bb -> 0000000000000000 0054
++bextr64 000000000854daa0 -> 0000000000000000 0054
++bextr64 0000000006bcf63d -> 0000000000000001 0010
++bextr64 000000000464f784 -> 0000000000000000 0054
++bextr64 00000000037dac90 -> 0000000000000000 0054
++bextr64 000000000234911a -> 0000000000000000 0054
++bextr64 0000000001c0a285 -> 0000000000000001 0010
++bextr64 00000000010addcc -> 0000000000000000 0054
++bextr64 0000000000d7b2a8 -> 0000000000000001 0010
++bextr64 00000000008cae26 -> 0000000000000001 0010
++bextr64 00000000006fc615 -> 0000000000000000 0054
++bextr64 00000000004686bd -> 0000000000000000 0054
++bextr64 0000000000380a0a -> 0000000000000000 0054
++bextr64 0000000000215369 -> 0000000000000000 0054
++bextr64 00000000001af3d7 -> 0000000000000000 0054
++bextr64 00000000001193de -> 0000000000000000 0054
++bextr64 00000000000df6b1 -> 0000000000000000 0054
++bextr64 000000000008d242 -> 0000000000000000 0054
++bextr64 0000000000070287 -> 0000000000000000 0054
++bextr64 0000000000042b72 -> 0000000000000000 0054
++bextr64 0000000000035ec7 -> 0000000000000000 0054
++bextr64 00000000000232b3 -> 0000000000000000 0054
++bextr64 000000000001bf16 -> 0000000000000000 0054
++bextr64 0000000000011a1b -> 0000000000000000 0054
++bextr64 000000000000e027 -> 0000000000000000 0054
++bextr64 000000000000854a -> 0000000000000000 0054
++bextr64 0000000000006bce -> 0000000000000000 0054
++bextr64 000000000000464e -> 0000000000000000 0054
++bextr64 00000000000037d9 -> 0000000000000000 0054
++bextr64 0000000000002347 -> 0000000000000000 0054
++bextr64 0000000000001c06 -> 0000000000000000 0054
++bextr64 00000000000010a9 -> 0000000000000000 0054
++bextr64 0000000000000d78 -> 0000000000000000 0054
++bextr64 00000000000008c8 -> 0000000000000000 0054
++bextr64 00000000000006fa -> 0000000000000000 0054
++bextr64 0000000000000468 -> 0000000000000000 0054
++bextr64 0000000000000380 -> 0000000000000000 0054
++bextr64 0000000000000214 -> 0000000000000000 0054
++bextr64 00000000000001ae -> 0000000000000000 0054
++bextr64 0000000000000118 -> 0000000000000000 0054
++bextr64 00000000000000de -> 0000000000000000 0054
++bextr64 000000000000008c -> 0000000000000000 0054
++bextr64 000000000000006f -> 0000000000000000 0054
++bextr64 0000000000000045 -> 0000000000000000 0054
++bextr64 0000000000000037 -> 0000000000000000 0054
++bextr64 0000000000000022 -> 0000000000000000 0054
++bextr64 000000000000001b -> 0000000000000000 0054
++bextr64 0000000000000010 -> 0000000000000000 0054
++bextr64 000000000000000c -> 0000000000000000 0054
++bextr64 0000000000000007 -> 0000000000000000 0054
++bextr64 0000000000000003 -> 0000000000000000 0054
++bextr64 0000000000000001 -> 0000000000000000 0054
++bextr64 0000000000000000 -> 0000000000000000 0054
++bextr32 57657438291cdef0 -> 000000000000000f 0014
++bextr32 452015034e67c955 -> 0000000000000005 0014
++bextr32 37e901ef56b302d6 -> 000000000000000d 0010
++bextr32 2348b20e142667cf -> 000000000000000c 0014
++bextr32 1c09d34c26e1c212 -> 0000000000000001 0010
++bextr32 10ad37922d51847f -> 0000000000000007 0010
++bextr32 0d7b015093984564 -> 0000000000000006 0014
++bextr32 08cac1103a60926a -> 0000000000000006 0014
++bextr32 06fc5681c8cd2b10 -> 0000000000000001 0010
++bextr32 04687224d51a87fa -> 000000000000000f 0014
++bextr32 03809eacb986283a -> 0000000000000003 0014
++bextr32 02152e09a7eb825e -> 0000000000000005 0014
++bextr32 01af3c969c7725a6 -> 000000000000000a 0014
++bextr32 01193d5aad28c013 -> 0000000000000001 0010
++bextr32 00df6b2373776c4a -> 0000000000000004 0010
++bextr32 008d24457d4341d1 -> 000000000000000d 0010
++bextr32 007028a17fc8b89e -> 0000000000000009 0014
++bextr32 0042b77370e42ef0 -> 000000000000000f 0014
++bextr32 0035ecaa6c888c28 -> 0000000000000002 0010
++bextr32 00232b89c5c8c9b6 -> 000000000000000b 0010
++bextr32 001bf185a53e82dc -> 000000000000000d 0010
++bextr32 0011a1af9c2edaa2 -> 000000000000000a 0014
++bextr32 000e0282bc13b27b -> 0000000000000007 0010
++bextr32 000854daa0b4cc02 -> 0000000000000000 0054
++bextr32 0006bcf63e2fbf3d -> 0000000000000003 0014
++bextr32 000464f7852a566a -> 0000000000000006 0014
++bextr32 00037dac915ab5c5 -> 000000000000000c 0014
++bextr32 000234911b32831c -> 0000000000000001 0010
++bextr32 0001c0a2862c25c1 -> 000000000000000c 0014
++bextr32 00010addcd657882 -> 0000000000000008 0010
++bextr32 0000d7b2a9b6ab1d -> 0000000000000001 0010
++bextr32 00008cae2719cda3 -> 000000000000000a 0014
++bextr32 00006fc61694404d -> 0000000000000004 0010
++bextr32 00004686be70612c -> 0000000000000002 0010
++bextr32 0000380a0af0025a -> 0000000000000005 0014
++bextr32 000021536a829879 -> 0000000000000007 0010
++bextr32 00001af3d8f8abea -> 000000000000000e 0010
++bextr32 00001193de14a839 -> 0000000000000003 0014
++bextr32 00000df6b24569e5 -> 000000000000000e 0010
++bextr32 000008d2446cc8f9 -> 000000000000000f 0014
++bextr32 000007028a18af7d -> 0000000000000007 0010
++bextr32 0000042b77359960 -> 0000000000000006 0014
++bextr32 0000035ecaa6d9df -> 000000000000000d 0010
++bextr32 00000232b89c662a -> 0000000000000002 0010
++bextr32 000001bf185a50b0 -> 000000000000000b 0010
++bextr32 0000011a1af9c13b -> 0000000000000003 0014
++bextr32 000000e0282bc000 -> 0000000000000000 0054
++bextr32 000000854daa0a5a -> 0000000000000005 0014
++bextr32 0000006bcf63e2b5 -> 000000000000000b 0010
++bextr32 000000464f7852a0 -> 000000000000000a 0014
++bextr32 00000037dac915a7 -> 000000000000000a 0014
++bextr32 000000234911b322 -> 0000000000000002 0010
++bextr32 0000001c0a2862bc -> 000000000000000b 0010
++bextr32 00000010addcd664 -> 0000000000000006 0014
++bextr32 0000000d7b2a9b66 -> 0000000000000006 0014
++bextr32 00000008cae27197 -> 0000000000000009 0014
++bextr32 00000006fc616943 -> 0000000000000004 0010
++bextr32 00000004686be704 -> 0000000000000000 0054
++bextr32 0000000380a0aeff -> 000000000000000f 0014
++bextr32 000000021536a868 -> 0000000000000006 0014
++bextr32 00000001af3d8fad -> 000000000000000a 0014
++bextr32 00000001193de163 -> 0000000000000006 0014
++bextr32 00000000df6b2459 -> 0000000000000005 0014
++bextr32 000000008d2446ca -> 000000000000000c 0014
++bextr32 000000007028a18a -> 0000000000000008 0010
++bextr32 0000000042b77358 -> 0000000000000005 0014
++bextr32 0000000035ecaa6c -> 0000000000000006 0014
++bextr32 00000000232b89c5 -> 000000000000000c 0014
++bextr32 000000001bf185a4 -> 000000000000000a 0014
++bextr32 0000000011a1af9b -> 0000000000000009 0014
++bextr32 000000000e0282bb -> 000000000000000b 0010
++bextr32 000000000854daa0 -> 000000000000000a 0014
++bextr32 0000000006bcf63d -> 0000000000000003 0014
++bextr32 000000000464f784 -> 0000000000000008 0010
++bextr32 00000000037dac90 -> 0000000000000009 0014
++bextr32 000000000234911a -> 0000000000000001 0010
++bextr32 0000000001c0a285 -> 0000000000000008 0010
++bextr32 00000000010addcc -> 000000000000000c 0014
++bextr32 0000000000d7b2a8 -> 000000000000000a 0014
++bextr32 00000000008cae26 -> 0000000000000002 0010
++bextr32 00000000006fc615 -> 0000000000000001 0010
++bextr32 00000000004686bd -> 000000000000000b 0010
++bextr32 0000000000380a0a -> 0000000000000000 0054
++bextr32 0000000000215369 -> 0000000000000006 0014
++bextr32 00000000001af3d7 -> 000000000000000d 0010
++bextr32 00000000001193de -> 000000000000000d 0010
++bextr32 00000000000df6b1 -> 000000000000000b 0010
++bextr32 000000000008d242 -> 0000000000000004 0010
++bextr32 0000000000070287 -> 0000000000000008 0010
++bextr32 0000000000042b72 -> 0000000000000007 0010
++bextr32 0000000000035ec7 -> 000000000000000c 0014
++bextr32 00000000000232b3 -> 000000000000000b 0010
++bextr32 000000000001bf16 -> 0000000000000001 0010
++bextr32 0000000000011a1b -> 0000000000000001 0010
++bextr32 000000000000e027 -> 0000000000000002 0010
++bextr32 000000000000854a -> 0000000000000004 0010
++bextr32 0000000000006bce -> 000000000000000c 0014
++bextr32 000000000000464e -> 0000000000000004 0010
++bextr32 00000000000037d9 -> 000000000000000d 0010
++bextr32 0000000000002347 -> 0000000000000004 0010
++bextr32 0000000000001c06 -> 0000000000000000 0054
++bextr32 00000000000010a9 -> 000000000000000a 0014
++bextr32 0000000000000d78 -> 0000000000000007 0010
++bextr32 00000000000008c8 -> 000000000000000c 0014
++bextr32 00000000000006fa -> 000000000000000f 0014
++bextr32 0000000000000468 -> 0000000000000006 0014
++bextr32 0000000000000380 -> 0000000000000008 0010
++bextr32 0000000000000214 -> 0000000000000001 0010
++bextr32 00000000000001ae -> 000000000000000a 0014
++bextr32 0000000000000118 -> 0000000000000001 0010
++bextr32 00000000000000de -> 000000000000000d 0010
++bextr32 000000000000008c -> 0000000000000008 0010
++bextr32 000000000000006f -> 0000000000000006 0014
++bextr32 0000000000000045 -> 0000000000000004 0010
++bextr32 0000000000000037 -> 0000000000000003 0014
++bextr32 0000000000000022 -> 0000000000000002 0010
++bextr32 000000000000001b -> 0000000000000001 0010
++bextr32 0000000000000010 -> 0000000000000001 0010
++bextr32 000000000000000c -> 0000000000000000 0054
++bextr32 0000000000000007 -> 0000000000000000 0054
++bextr32 0000000000000003 -> 0000000000000000 0054
++bextr32 0000000000000001 -> 0000000000000000 0054
++bextr32 0000000000000000 -> 0000000000000000 0054
++bextr64 57657438291cdef0 -> 000000000000000f 0014
++bextr64 452015034e67c955 -> 0000000000000005 0014
++bextr64 37e901ef56b302d6 -> 000000000000000d 0010
++bextr64 2348b20e142667cf -> 000000000000000c 0014
++bextr64 1c09d34c26e1c212 -> 0000000000000001 0010
++bextr64 10ad37922d51847f -> 0000000000000007 0010
++bextr64 0d7b015093984564 -> 0000000000000006 0014
++bextr64 08cac1103a60926a -> 0000000000000006 0014
++bextr64 06fc5681c8cd2b10 -> 0000000000000001 0010
++bextr64 04687224d51a87fa -> 000000000000000f 0014
++bextr64 03809eacb986283a -> 0000000000000003 0014
++bextr64 02152e09a7eb825e -> 0000000000000005 0014
++bextr64 01af3c969c7725a6 -> 000000000000000a 0014
++bextr64 01193d5aad28c013 -> 0000000000000001 0010
++bextr64 00df6b2373776c4a -> 0000000000000004 0010
++bextr64 008d24457d4341d1 -> 000000000000000d 0010
++bextr64 007028a17fc8b89e -> 0000000000000009 0014
++bextr64 0042b77370e42ef0 -> 000000000000000f 0014
++bextr64 0035ecaa6c888c28 -> 0000000000000002 0010
++bextr64 00232b89c5c8c9b6 -> 000000000000000b 0010
++bextr64 001bf185a53e82dc -> 000000000000000d 0010
++bextr64 0011a1af9c2edaa2 -> 000000000000000a 0014
++bextr64 000e0282bc13b27b -> 0000000000000007 0010
++bextr64 000854daa0b4cc02 -> 0000000000000000 0054
++bextr64 0006bcf63e2fbf3d -> 0000000000000003 0014
++bextr64 000464f7852a566a -> 0000000000000006 0014
++bextr64 00037dac915ab5c5 -> 000000000000000c 0014
++bextr64 000234911b32831c -> 0000000000000001 0010
++bextr64 0001c0a2862c25c1 -> 000000000000000c 0014
++bextr64 00010addcd657882 -> 0000000000000008 0010
++bextr64 0000d7b2a9b6ab1d -> 0000000000000001 0010
++bextr64 00008cae2719cda3 -> 000000000000000a 0014
++bextr64 00006fc61694404d -> 0000000000000004 0010
++bextr64 00004686be70612c -> 0000000000000002 0010
++bextr64 0000380a0af0025a -> 0000000000000005 0014
++bextr64 000021536a829879 -> 0000000000000007 0010
++bextr64 00001af3d8f8abea -> 000000000000000e 0010
++bextr64 00001193de14a839 -> 0000000000000003 0014
++bextr64 00000df6b24569e5 -> 000000000000000e 0010
++bextr64 000008d2446cc8f9 -> 000000000000000f 0014
++bextr64 000007028a18af7d -> 0000000000000007 0010
++bextr64 0000042b77359960 -> 0000000000000006 0014
++bextr64 0000035ecaa6d9df -> 000000000000000d 0010
++bextr64 00000232b89c662a -> 0000000000000002 0010
++bextr64 000001bf185a50b0 -> 000000000000000b 0010
++bextr64 0000011a1af9c13b -> 0000000000000003 0014
++bextr64 000000e0282bc000 -> 0000000000000000 0054
++bextr64 000000854daa0a5a -> 0000000000000005 0014
++bextr64 0000006bcf63e2b5 -> 000000000000000b 0010
++bextr64 000000464f7852a0 -> 000000000000000a 0014
++bextr64 00000037dac915a7 -> 000000000000000a 0014
++bextr64 000000234911b322 -> 0000000000000002 0010
++bextr64 0000001c0a2862bc -> 000000000000000b 0010
++bextr64 00000010addcd664 -> 0000000000000006 0014
++bextr64 0000000d7b2a9b66 -> 0000000000000006 0014
++bextr64 00000008cae27197 -> 0000000000000009 0014
++bextr64 00000006fc616943 -> 0000000000000004 0010
++bextr64 00000004686be704 -> 0000000000000000 0054
++bextr64 0000000380a0aeff -> 000000000000000f 0014
++bextr64 000000021536a868 -> 0000000000000006 0014
++bextr64 00000001af3d8fad -> 000000000000000a 0014
++bextr64 00000001193de163 -> 0000000000000006 0014
++bextr64 00000000df6b2459 -> 0000000000000005 0014
++bextr64 000000008d2446ca -> 000000000000000c 0014
++bextr64 000000007028a18a -> 0000000000000008 0010
++bextr64 0000000042b77358 -> 0000000000000005 0014
++bextr64 0000000035ecaa6c -> 0000000000000006 0014
++bextr64 00000000232b89c5 -> 000000000000000c 0014
++bextr64 000000001bf185a4 -> 000000000000000a 0014
++bextr64 0000000011a1af9b -> 0000000000000009 0014
++bextr64 000000000e0282bb -> 000000000000000b 0010
++bextr64 000000000854daa0 -> 000000000000000a 0014
++bextr64 0000000006bcf63d -> 0000000000000003 0014
++bextr64 000000000464f784 -> 0000000000000008 0010
++bextr64 00000000037dac90 -> 0000000000000009 0014
++bextr64 000000000234911a -> 0000000000000001 0010
++bextr64 0000000001c0a285 -> 0000000000000008 0010
++bextr64 00000000010addcc -> 000000000000000c 0014
++bextr64 0000000000d7b2a8 -> 000000000000000a 0014
++bextr64 00000000008cae26 -> 0000000000000002 0010
++bextr64 00000000006fc615 -> 0000000000000001 0010
++bextr64 00000000004686bd -> 000000000000000b 0010
++bextr64 0000000000380a0a -> 0000000000000000 0054
++bextr64 0000000000215369 -> 0000000000000006 0014
++bextr64 00000000001af3d7 -> 000000000000000d 0010
++bextr64 00000000001193de -> 000000000000000d 0010
++bextr64 00000000000df6b1 -> 000000000000000b 0010
++bextr64 000000000008d242 -> 0000000000000004 0010
++bextr64 0000000000070287 -> 0000000000000008 0010
++bextr64 0000000000042b72 -> 0000000000000007 0010
++bextr64 0000000000035ec7 -> 000000000000000c 0014
++bextr64 00000000000232b3 -> 000000000000000b 0010
++bextr64 000000000001bf16 -> 0000000000000001 0010
++bextr64 0000000000011a1b -> 0000000000000001 0010
++bextr64 000000000000e027 -> 0000000000000002 0010
++bextr64 000000000000854a -> 0000000000000004 0010
++bextr64 0000000000006bce -> 000000000000000c 0014
++bextr64 000000000000464e -> 0000000000000004 0010
++bextr64 00000000000037d9 -> 000000000000000d 0010
++bextr64 0000000000002347 -> 0000000000000004 0010
++bextr64 0000000000001c06 -> 0000000000000000 0054
++bextr64 00000000000010a9 -> 000000000000000a 0014
++bextr64 0000000000000d78 -> 0000000000000007 0010
++bextr64 00000000000008c8 -> 000000000000000c 0014
++bextr64 00000000000006fa -> 000000000000000f 0014
++bextr64 0000000000000468 -> 0000000000000006 0014
++bextr64 0000000000000380 -> 0000000000000008 0010
++bextr64 0000000000000214 -> 0000000000000001 0010
++bextr64 00000000000001ae -> 000000000000000a 0014
++bextr64 0000000000000118 -> 0000000000000001 0010
++bextr64 00000000000000de -> 000000000000000d 0010
++bextr64 000000000000008c -> 0000000000000008 0010
++bextr64 000000000000006f -> 0000000000000006 0014
++bextr64 0000000000000045 -> 0000000000000004 0010
++bextr64 0000000000000037 -> 0000000000000003 0014
++bextr64 0000000000000022 -> 0000000000000002 0010
++bextr64 000000000000001b -> 0000000000000001 0010
++bextr64 0000000000000010 -> 0000000000000001 0010
++bextr64 000000000000000c -> 0000000000000000 0054
++bextr64 0000000000000007 -> 0000000000000000 0054
++bextr64 0000000000000003 -> 0000000000000000 0054
++bextr64 0000000000000001 -> 0000000000000000 0054
++bextr64 0000000000000000 -> 0000000000000000 0054
++bextr32 57657438291cdef0 -> 0000000000000cde 0014
++bextr32 452015034e67c955 -> 00000000000007c9 0014
++bextr32 37e901ef56b302d6 -> 0000000000000302 0010
++bextr32 2348b20e142667cf -> 0000000000000667 0010
++bextr32 1c09d34c26e1c212 -> 00000000000001c2 0010
++bextr32 10ad37922d51847f -> 0000000000000184 0014
++bextr32 0d7b015093984564 -> 0000000000000845 0010
++bextr32 08cac1103a60926a -> 0000000000000092 0010
++bextr32 06fc5681c8cd2b10 -> 0000000000000d2b 0014
++bextr32 04687224d51a87fa -> 0000000000000a87 0014
++bextr32 03809eacb986283a -> 0000000000000628 0014
++bextr32 02152e09a7eb825e -> 0000000000000b82 0014
++bextr32 01af3c969c7725a6 -> 0000000000000725 0010
++bextr32 01193d5aad28c013 -> 00000000000008c0 0014
++bextr32 00df6b2373776c4a -> 000000000000076c 0014
++bextr32 008d24457d4341d1 -> 0000000000000341 0014
++bextr32 007028a17fc8b89e -> 00000000000008b8 0014
++bextr32 0042b77370e42ef0 -> 000000000000042e 0014
++bextr32 0035ecaa6c888c28 -> 000000000000088c 0010
++bextr32 00232b89c5c8c9b6 -> 00000000000008c9 0014
++bextr32 001bf185a53e82dc -> 0000000000000e82 0014
++bextr32 0011a1af9c2edaa2 -> 0000000000000eda 0010
++bextr32 000e0282bc13b27b -> 00000000000003b2 0014
++bextr32 000854daa0b4cc02 -> 00000000000004cc 0014
++bextr32 0006bcf63e2fbf3d -> 0000000000000fbf 0010
++bextr32 000464f7852a566a -> 0000000000000a56 0014
++bextr32 00037dac915ab5c5 -> 0000000000000ab5 0010
++bextr32 000234911b32831c -> 0000000000000283 0010
++bextr32 0001c0a2862c25c1 -> 0000000000000c25 0010
++bextr32 00010addcd657882 -> 0000000000000578 0014
++bextr32 0000d7b2a9b6ab1d -> 00000000000006ab 0010
++bextr32 00008cae2719cda3 -> 00000000000009cd 0010
++bextr32 00006fc61694404d -> 0000000000000440 0010
++bextr32 00004686be70612c -> 0000000000000061 0010
++bextr32 0000380a0af0025a -> 0000000000000002 0010
++bextr32 000021536a829879 -> 0000000000000298 0010
++bextr32 00001af3d8f8abea -> 00000000000008ab 0010
++bextr32 00001193de14a839 -> 00000000000004a8 0010
++bextr32 00000df6b24569e5 -> 0000000000000569 0014
++bextr32 000008d2446cc8f9 -> 0000000000000cc8 0010
++bextr32 000007028a18af7d -> 00000000000008af 0014
++bextr32 0000042b77359960 -> 0000000000000599 0014
++bextr32 0000035ecaa6d9df -> 00000000000006d9 0010
++bextr32 00000232b89c662a -> 0000000000000c66 0014
++bextr32 000001bf185a50b0 -> 0000000000000a50 0014
++bextr32 0000011a1af9c13b -> 00000000000009c1 0010
++bextr32 000000e0282bc000 -> 0000000000000bc0 0014
++bextr32 000000854daa0a5a -> 0000000000000a0a 0014
++bextr32 0000006bcf63e2b5 -> 00000000000003e2 0014
++bextr32 000000464f7852a0 -> 0000000000000852 0010
++bextr32 00000037dac915a7 -> 0000000000000915 0010
++bextr32 000000234911b322 -> 00000000000001b3 0010
++bextr32 0000001c0a2862bc -> 0000000000000862 0010
++bextr32 00000010addcd664 -> 0000000000000cd6 0010
++bextr32 0000000d7b2a9b66 -> 0000000000000a9b 0010
++bextr32 00000008cae27197 -> 0000000000000271 0014
++bextr32 00000006fc616943 -> 0000000000000169 0014
++bextr32 00000004686be704 -> 0000000000000be7 0014
++bextr32 0000000380a0aeff -> 00000000000000ae 0010
++bextr32 000000021536a868 -> 00000000000006a8 0010
++bextr32 00000001af3d8fad -> 0000000000000d8f 0010
++bextr32 00000001193de163 -> 0000000000000de1 0014
++bextr32 00000000df6b2459 -> 0000000000000b24 0014
++bextr32 000000008d2446ca -> 0000000000000446 0010
++bextr32 000000007028a18a -> 00000000000008a1 0010
++bextr32 0000000042b77358 -> 0000000000000773 0010
++bextr32 0000000035ecaa6c -> 0000000000000caa 0014
++bextr32 00000000232b89c5 -> 0000000000000b89 0010
++bextr32 000000001bf185a4 -> 0000000000000185 0010
++bextr32 0000000011a1af9b -> 00000000000001af 0014
++bextr32 000000000e0282bb -> 0000000000000282 0014
++bextr32 000000000854daa0 -> 00000000000004da 0010
++bextr32 0000000006bcf63d -> 0000000000000cf6 0014
++bextr32 000000000464f784 -> 00000000000004f7 0010
++bextr32 00000000037dac90 -> 0000000000000dac 0014
++bextr32 000000000234911a -> 0000000000000491 0010
++bextr32 0000000001c0a285 -> 00000000000000a2 0010
++bextr32 00000000010addcc -> 0000000000000add 0014
++bextr32 0000000000d7b2a8 -> 00000000000007b2 0014
++bextr32 00000000008cae26 -> 0000000000000cae 0010
++bextr32 00000000006fc615 -> 0000000000000fc6 0014
++bextr32 00000000004686bd -> 0000000000000686 0010
++bextr32 0000000000380a0a -> 000000000000080a 0014
++bextr32 0000000000215369 -> 0000000000000153 0014
++bextr32 00000000001af3d7 -> 0000000000000af3 0014
++bextr32 00000000001193de -> 0000000000000193 0014
++bextr32 00000000000df6b1 -> 0000000000000df6 0014
++bextr32 000000000008d242 -> 00000000000008d2 0014
++bextr32 0000000000070287 -> 0000000000000702 0010
++bextr32 0000000000042b72 -> 000000000000042b 0014
++bextr32 0000000000035ec7 -> 000000000000035e 0010
++bextr32 00000000000232b3 -> 0000000000000232 0010
++bextr32 000000000001bf16 -> 00000000000001bf 0010
++bextr32 0000000000011a1b -> 000000000000011a 0010
++bextr32 000000000000e027 -> 00000000000000e0 0010
++bextr32 000000000000854a -> 0000000000000085 0010
++bextr32 0000000000006bce -> 000000000000006b 0010
++bextr32 000000000000464e -> 0000000000000046 0010
++bextr32 00000000000037d9 -> 0000000000000037 0010
++bextr32 0000000000002347 -> 0000000000000023 0010
++bextr32 0000000000001c06 -> 000000000000001c 0010
++bextr32 00000000000010a9 -> 0000000000000010 0010
++bextr32 0000000000000d78 -> 000000000000000d 0010
++bextr32 00000000000008c8 -> 0000000000000008 0010
++bextr32 00000000000006fa -> 0000000000000006 0014
++bextr32 0000000000000468 -> 0000000000000004 0010
++bextr32 0000000000000380 -> 0000000000000003 0014
++bextr32 0000000000000214 -> 0000000000000002 0010
++bextr32 00000000000001ae -> 0000000000000001 0010
++bextr32 0000000000000118 -> 0000000000000001 0010
++bextr32 00000000000000de -> 0000000000000000 0054
++bextr32 000000000000008c -> 0000000000000000 0054
++bextr32 000000000000006f -> 0000000000000000 0054
++bextr32 0000000000000045 -> 0000000000000000 0054
++bextr32 0000000000000037 -> 0000000000000000 0054
++bextr32 0000000000000022 -> 0000000000000000 0054
++bextr32 000000000000001b -> 0000000000000000 0054
++bextr32 0000000000000010 -> 0000000000000000 0054
++bextr32 000000000000000c -> 0000000000000000 0054
++bextr32 0000000000000007 -> 0000000000000000 0054
++bextr32 0000000000000003 -> 0000000000000000 0054
++bextr32 0000000000000001 -> 0000000000000000 0054
++bextr32 0000000000000000 -> 0000000000000000 0054
++bextr64 57657438291cdef0 -> 0000000000000cde 0014
++bextr64 452015034e67c955 -> 00000000000007c9 0014
++bextr64 37e901ef56b302d6 -> 0000000000000302 0010
++bextr64 2348b20e142667cf -> 0000000000000667 0010
++bextr64 1c09d34c26e1c212 -> 00000000000001c2 0010
++bextr64 10ad37922d51847f -> 0000000000000184 0014
++bextr64 0d7b015093984564 -> 0000000000000845 0010
++bextr64 08cac1103a60926a -> 0000000000000092 0010
++bextr64 06fc5681c8cd2b10 -> 0000000000000d2b 0014
++bextr64 04687224d51a87fa -> 0000000000000a87 0014
++bextr64 03809eacb986283a -> 0000000000000628 0014
++bextr64 02152e09a7eb825e -> 0000000000000b82 0014
++bextr64 01af3c969c7725a6 -> 0000000000000725 0010
++bextr64 01193d5aad28c013 -> 00000000000008c0 0014
++bextr64 00df6b2373776c4a -> 000000000000076c 0014
++bextr64 008d24457d4341d1 -> 0000000000000341 0014
++bextr64 007028a17fc8b89e -> 00000000000008b8 0014
++bextr64 0042b77370e42ef0 -> 000000000000042e 0014
++bextr64 0035ecaa6c888c28 -> 000000000000088c 0010
++bextr64 00232b89c5c8c9b6 -> 00000000000008c9 0014
++bextr64 001bf185a53e82dc -> 0000000000000e82 0014
++bextr64 0011a1af9c2edaa2 -> 0000000000000eda 0010
++bextr64 000e0282bc13b27b -> 00000000000003b2 0014
++bextr64 000854daa0b4cc02 -> 00000000000004cc 0014
++bextr64 0006bcf63e2fbf3d -> 0000000000000fbf 0010
++bextr64 000464f7852a566a -> 0000000000000a56 0014
++bextr64 00037dac915ab5c5 -> 0000000000000ab5 0010
++bextr64 000234911b32831c -> 0000000000000283 0010
++bextr64 0001c0a2862c25c1 -> 0000000000000c25 0010
++bextr64 00010addcd657882 -> 0000000000000578 0014
++bextr64 0000d7b2a9b6ab1d -> 00000000000006ab 0010
++bextr64 00008cae2719cda3 -> 00000000000009cd 0010
++bextr64 00006fc61694404d -> 0000000000000440 0010
++bextr64 00004686be70612c -> 0000000000000061 0010
++bextr64 0000380a0af0025a -> 0000000000000002 0010
++bextr64 000021536a829879 -> 0000000000000298 0010
++bextr64 00001af3d8f8abea -> 00000000000008ab 0010
++bextr64 00001193de14a839 -> 00000000000004a8 0010
++bextr64 00000df6b24569e5 -> 0000000000000569 0014
++bextr64 000008d2446cc8f9 -> 0000000000000cc8 0010
++bextr64 000007028a18af7d -> 00000000000008af 0014
++bextr64 0000042b77359960 -> 0000000000000599 0014
++bextr64 0000035ecaa6d9df -> 00000000000006d9 0010
++bextr64 00000232b89c662a -> 0000000000000c66 0014
++bextr64 000001bf185a50b0 -> 0000000000000a50 0014
++bextr64 0000011a1af9c13b -> 00000000000009c1 0010
++bextr64 000000e0282bc000 -> 0000000000000bc0 0014
++bextr64 000000854daa0a5a -> 0000000000000a0a 0014
++bextr64 0000006bcf63e2b5 -> 00000000000003e2 0014
++bextr64 000000464f7852a0 -> 0000000000000852 0010
++bextr64 00000037dac915a7 -> 0000000000000915 0010
++bextr64 000000234911b322 -> 00000000000001b3 0010
++bextr64 0000001c0a2862bc -> 0000000000000862 0010
++bextr64 00000010addcd664 -> 0000000000000cd6 0010
++bextr64 0000000d7b2a9b66 -> 0000000000000a9b 0010
++bextr64 00000008cae27197 -> 0000000000000271 0014
++bextr64 00000006fc616943 -> 0000000000000169 0014
++bextr64 00000004686be704 -> 0000000000000be7 0014
++bextr64 0000000380a0aeff -> 00000000000000ae 0010
++bextr64 000000021536a868 -> 00000000000006a8 0010
++bextr64 00000001af3d8fad -> 0000000000000d8f 0010
++bextr64 00000001193de163 -> 0000000000000de1 0014
++bextr64 00000000df6b2459 -> 0000000000000b24 0014
++bextr64 000000008d2446ca -> 0000000000000446 0010
++bextr64 000000007028a18a -> 00000000000008a1 0010
++bextr64 0000000042b77358 -> 0000000000000773 0010
++bextr64 0000000035ecaa6c -> 0000000000000caa 0014
++bextr64 00000000232b89c5 -> 0000000000000b89 0010
++bextr64 000000001bf185a4 -> 0000000000000185 0010
++bextr64 0000000011a1af9b -> 00000000000001af 0014
++bextr64 000000000e0282bb -> 0000000000000282 0014
++bextr64 000000000854daa0 -> 00000000000004da 0010
++bextr64 0000000006bcf63d -> 0000000000000cf6 0014
++bextr64 000000000464f784 -> 00000000000004f7 0010
++bextr64 00000000037dac90 -> 0000000000000dac 0014
++bextr64 000000000234911a -> 0000000000000491 0010
++bextr64 0000000001c0a285 -> 00000000000000a2 0010
++bextr64 00000000010addcc -> 0000000000000add 0014
++bextr64 0000000000d7b2a8 -> 00000000000007b2 0014
++bextr64 00000000008cae26 -> 0000000000000cae 0010
++bextr64 00000000006fc615 -> 0000000000000fc6 0014
++bextr64 00000000004686bd -> 0000000000000686 0010
++bextr64 0000000000380a0a -> 000000000000080a 0014
++bextr64 0000000000215369 -> 0000000000000153 0014
++bextr64 00000000001af3d7 -> 0000000000000af3 0014
++bextr64 00000000001193de -> 0000000000000193 0014
++bextr64 00000000000df6b1 -> 0000000000000df6 0014
++bextr64 000000000008d242 -> 00000000000008d2 0014
++bextr64 0000000000070287 -> 0000000000000702 0010
++bextr64 0000000000042b72 -> 000000000000042b 0014
++bextr64 0000000000035ec7 -> 000000000000035e 0010
++bextr64 00000000000232b3 -> 0000000000000232 0010
++bextr64 000000000001bf16 -> 00000000000001bf 0010
++bextr64 0000000000011a1b -> 000000000000011a 0010
++bextr64 000000000000e027 -> 00000000000000e0 0010
++bextr64 000000000000854a -> 0000000000000085 0010
++bextr64 0000000000006bce -> 000000000000006b 0010
++bextr64 000000000000464e -> 0000000000000046 0010
++bextr64 00000000000037d9 -> 0000000000000037 0010
++bextr64 0000000000002347 -> 0000000000000023 0010
++bextr64 0000000000001c06 -> 000000000000001c 0010
++bextr64 00000000000010a9 -> 0000000000000010 0010
++bextr64 0000000000000d78 -> 000000000000000d 0010
++bextr64 00000000000008c8 -> 0000000000000008 0010
++bextr64 00000000000006fa -> 0000000000000006 0014
++bextr64 0000000000000468 -> 0000000000000004 0010
++bextr64 0000000000000380 -> 0000000000000003 0014
++bextr64 0000000000000214 -> 0000000000000002 0010
++bextr64 00000000000001ae -> 0000000000000001 0010
++bextr64 0000000000000118 -> 0000000000000001 0010
++bextr64 00000000000000de -> 0000000000000000 0054
++bextr64 000000000000008c -> 0000000000000000 0054
++bextr64 000000000000006f -> 0000000000000000 0054
++bextr64 0000000000000045 -> 0000000000000000 0054
++bextr64 0000000000000037 -> 0000000000000000 0054
++bextr64 0000000000000022 -> 0000000000000000 0054
++bextr64 000000000000001b -> 0000000000000000 0054
++bextr64 0000000000000010 -> 0000000000000000 0054
++bextr64 000000000000000c -> 0000000000000000 0054
++bextr64 0000000000000007 -> 0000000000000000 0054
++bextr64 0000000000000003 -> 0000000000000000 0054
++bextr64 0000000000000001 -> 0000000000000000 0054
++bextr64 0000000000000000 -> 0000000000000000 0054
++bextr32 57657438291cdef0 -> 00000000148e6f78 0014
++bextr32 452015034e67c955 -> 000000002733e4aa 0014
++bextr32 37e901ef56b302d6 -> 000000002b59816b 0010
++bextr32 2348b20e142667cf -> 000000000a1333e7 0014
++bextr32 1c09d34c26e1c212 -> 000000001370e109 0014
++bextr32 10ad37922d51847f -> 0000000016a8c23f 0014
++bextr32 0d7b015093984564 -> 0000000049cc22b2 0014
++bextr32 08cac1103a60926a -> 000000001d304935 0014
++bextr32 06fc5681c8cd2b10 -> 0000000064669588 0014
++bextr32 04687224d51a87fa -> 000000006a8d43fd 0010
++bextr32 03809eacb986283a -> 000000005cc3141d 0014
++bextr32 02152e09a7eb825e -> 0000000053f5c12f 0010
++bextr32 01af3c969c7725a6 -> 000000004e3b92d3 0010
++bextr32 01193d5aad28c013 -> 0000000056946009 0014
++bextr32 00df6b2373776c4a -> 0000000039bbb625 0010
++bextr32 008d24457d4341d1 -> 000000003ea1a0e8 0014
++bextr32 007028a17fc8b89e -> 000000003fe45c4f 0010
++bextr32 0042b77370e42ef0 -> 0000000038721778 0014
++bextr32 0035ecaa6c888c28 -> 0000000036444614 0014
++bextr32 00232b89c5c8c9b6 -> 0000000062e464db 0014
++bextr32 001bf185a53e82dc -> 00000000529f416e 0010
++bextr32 0011a1af9c2edaa2 -> 000000004e176d51 0010
++bextr32 000e0282bc13b27b -> 000000005e09d93d 0010
++bextr32 000854daa0b4cc02 -> 00000000505a6601 0010
++bextr32 0006bcf63e2fbf3d -> 000000001f17df9e 0010
++bextr32 000464f7852a566a -> 0000000042952b35 0014
++bextr32 00037dac915ab5c5 -> 0000000048ad5ae2 0014
++bextr32 000234911b32831c -> 000000000d99418e 0014
++bextr32 0001c0a2862c25c1 -> 00000000431612e0 0010
++bextr32 00010addcd657882 -> 0000000066b2bc41 0014
++bextr32 0000d7b2a9b6ab1d -> 0000000054db558e 0014
++bextr32 00008cae2719cda3 -> 00000000138ce6d1 0014
++bextr32 00006fc61694404d -> 000000000b4a2026 0010
++bextr32 00004686be70612c -> 000000005f383096 0014
++bextr32 0000380a0af0025a -> 000000000578012d 0014
++bextr32 000021536a829879 -> 0000000035414c3c 0014
++bextr32 00001af3d8f8abea -> 000000006c7c55f5 0014
++bextr32 00001193de14a839 -> 000000006f0a541c 0010
++bextr32 00000df6b24569e5 -> 000000005922b4f2 0010
++bextr32 000008d2446cc8f9 -> 000000002236647c 0010
++bextr32 000007028a18af7d -> 00000000450c57be 0014
++bextr32 0000042b77359960 -> 000000003b9accb0 0010
++bextr32 0000035ecaa6d9df -> 0000000065536cef 0010
++bextr32 00000232b89c662a -> 000000005c4e3315 0010
++bextr32 000001bf185a50b0 -> 000000000c2d2858 0010
++bextr32 0000011a1af9c13b -> 000000000d7ce09d 0010
++bextr32 000000e0282bc000 -> 000000001415e000 0014
++bextr32 000000854daa0a5a -> 0000000026d5052d 0014
++bextr32 0000006bcf63e2b5 -> 0000000067b1f15a 0014
++bextr32 000000464f7852a0 -> 0000000027bc2950 0014
++bextr32 00000037dac915a7 -> 000000006d648ad3 0010
++bextr32 000000234911b322 -> 000000002488d991 0010
++bextr32 0000001c0a2862bc -> 000000000514315e 0010
++bextr32 00000010addcd664 -> 0000000056ee6b32 0010
++bextr32 0000000d7b2a9b66 -> 000000003d954db3 0010
++bextr32 00000008cae27197 -> 00000000657138cb 0010
++bextr32 00000006fc616943 -> 000000007e30b4a1 0010
++bextr32 00000004686be704 -> 000000003435f382 0014
++bextr32 0000000380a0aeff -> 000000004050577f 0010
++bextr32 000000021536a868 -> 000000000a9b5434 0010
++bextr32 00000001af3d8fad -> 00000000579ec7d6 0010
++bextr32 00000001193de163 -> 000000000c9ef0b1 0014
++bextr32 00000000df6b2459 -> 000000006fb5922c 0010
++bextr32 000000008d2446ca -> 0000000046922365 0014
++bextr32 000000007028a18a -> 00000000381450c5 0014
++bextr32 0000000042b77358 -> 00000000215bb9ac 0014
++bextr32 0000000035ecaa6c -> 000000001af65536 0014
++bextr32 00000000232b89c5 -> 000000001195c4e2 0014
++bextr32 000000001bf185a4 -> 000000000df8c2d2 0014
++bextr32 0000000011a1af9b -> 0000000008d0d7cd 0010
++bextr32 000000000e0282bb -> 000000000701415d 0010
++bextr32 000000000854daa0 -> 00000000042a6d50 0014
++bextr32 0000000006bcf63d -> 00000000035e7b1e 0014
++bextr32 000000000464f784 -> 0000000002327bc2 0010
++bextr32 00000000037dac90 -> 0000000001bed648 0014
++bextr32 000000000234911a -> 00000000011a488d 0014
++bextr32 0000000001c0a285 -> 0000000000e05142 0014
++bextr32 00000000010addcc -> 0000000000856ee6 0010
++bextr32 0000000000d7b2a8 -> 00000000006bd954 0010
++bextr32 00000000008cae26 -> 0000000000465713 0010
++bextr32 00000000006fc615 -> 000000000037e30a 0014
++bextr32 00000000004686bd -> 000000000023435e 0010
++bextr32 0000000000380a0a -> 00000000001c0505 0014
++bextr32 0000000000215369 -> 000000000010a9b4 0014
++bextr32 00000000001af3d7 -> 00000000000d79eb 0014
++bextr32 00000000001193de -> 000000000008c9ef 0010
++bextr32 00000000000df6b1 -> 000000000006fb58 0010
++bextr32 000000000008d242 -> 0000000000046921 0014
++bextr32 0000000000070287 -> 0000000000038143 0010
++bextr32 0000000000042b72 -> 00000000000215b9 0010
++bextr32 0000000000035ec7 -> 000000000001af63 0014
++bextr32 00000000000232b3 -> 0000000000011959 0014
++bextr32 000000000001bf16 -> 000000000000df8b 0014
++bextr32 0000000000011a1b -> 0000000000008d0d 0010
++bextr32 000000000000e027 -> 0000000000007013 0010
++bextr32 000000000000854a -> 00000000000042a5 0014
++bextr32 0000000000006bce -> 00000000000035e7 0014
++bextr32 000000000000464e -> 0000000000002327 0014
++bextr32 00000000000037d9 -> 0000000000001bec 0010
++bextr32 0000000000002347 -> 00000000000011a3 0014
++bextr32 0000000000001c06 -> 0000000000000e03 0014
++bextr32 00000000000010a9 -> 0000000000000854 0010
++bextr32 0000000000000d78 -> 00000000000006bc 0010
++bextr32 00000000000008c8 -> 0000000000000464 0010
++bextr32 00000000000006fa -> 000000000000037d 0014
++bextr32 0000000000000468 -> 0000000000000234 0010
++bextr32 0000000000000380 -> 00000000000001c0 0014
++bextr32 0000000000000214 -> 000000000000010a 0014
++bextr32 00000000000001ae -> 00000000000000d7 0014
++bextr32 0000000000000118 -> 000000000000008c 0010
++bextr32 00000000000000de -> 000000000000006f 0014
++bextr32 000000000000008c -> 0000000000000046 0010
++bextr32 000000000000006f -> 0000000000000037 0010
++bextr32 0000000000000045 -> 0000000000000022 0014
++bextr32 0000000000000037 -> 000000000000001b 0014
++bextr32 0000000000000022 -> 0000000000000011 0014
++bextr32 000000000000001b -> 000000000000000d 0010
++bextr32 0000000000000010 -> 0000000000000008 0010
++bextr32 000000000000000c -> 0000000000000006 0014
++bextr32 0000000000000007 -> 0000000000000003 0014
++bextr32 0000000000000003 -> 0000000000000001 0010
++bextr32 0000000000000001 -> 0000000000000000 0054
++bextr32 0000000000000000 -> 0000000000000000 0054
++bextr64 57657438291cdef0 -> 00000000148e6f78 0014
++bextr64 452015034e67c955 -> 000000002733e4aa 0014
++bextr64 37e901ef56b302d6 -> 000000002b59816b 0010
++bextr64 2348b20e142667cf -> 000000000a1333e7 0014
++bextr64 1c09d34c26e1c212 -> 000000001370e109 0014
++bextr64 10ad37922d51847f -> 0000000016a8c23f 0014
++bextr64 0d7b015093984564 -> 0000000049cc22b2 0014
++bextr64 08cac1103a60926a -> 000000001d304935 0014
++bextr64 06fc5681c8cd2b10 -> 0000000064669588 0014
++bextr64 04687224d51a87fa -> 000000006a8d43fd 0010
++bextr64 03809eacb986283a -> 000000005cc3141d 0014
++bextr64 02152e09a7eb825e -> 0000000053f5c12f 0010
++bextr64 01af3c969c7725a6 -> 000000004e3b92d3 0010
++bextr64 01193d5aad28c013 -> 0000000056946009 0014
++bextr64 00df6b2373776c4a -> 0000000039bbb625 0010
++bextr64 008d24457d4341d1 -> 000000003ea1a0e8 0014
++bextr64 007028a17fc8b89e -> 000000003fe45c4f 0010
++bextr64 0042b77370e42ef0 -> 0000000038721778 0014
++bextr64 0035ecaa6c888c28 -> 0000000036444614 0014
++bextr64 00232b89c5c8c9b6 -> 0000000062e464db 0014
++bextr64 001bf185a53e82dc -> 00000000529f416e 0010
++bextr64 0011a1af9c2edaa2 -> 000000004e176d51 0010
++bextr64 000e0282bc13b27b -> 000000005e09d93d 0010
++bextr64 000854daa0b4cc02 -> 00000000505a6601 0010
++bextr64 0006bcf63e2fbf3d -> 000000001f17df9e 0010
++bextr64 000464f7852a566a -> 0000000042952b35 0014
++bextr64 00037dac915ab5c5 -> 0000000048ad5ae2 0014
++bextr64 000234911b32831c -> 000000000d99418e 0014
++bextr64 0001c0a2862c25c1 -> 00000000431612e0 0010
++bextr64 00010addcd657882 -> 0000000066b2bc41 0014
++bextr64 0000d7b2a9b6ab1d -> 0000000054db558e 0014
++bextr64 00008cae2719cda3 -> 00000000138ce6d1 0014
++bextr64 00006fc61694404d -> 000000000b4a2026 0010
++bextr64 00004686be70612c -> 000000005f383096 0014
++bextr64 0000380a0af0025a -> 000000000578012d 0014
++bextr64 000021536a829879 -> 0000000035414c3c 0014
++bextr64 00001af3d8f8abea -> 000000006c7c55f5 0014
++bextr64 00001193de14a839 -> 000000006f0a541c 0010
++bextr64 00000df6b24569e5 -> 000000005922b4f2 0010
++bextr64 000008d2446cc8f9 -> 000000002236647c 0010
++bextr64 000007028a18af7d -> 00000000450c57be 0014
++bextr64 0000042b77359960 -> 000000003b9accb0 0010
++bextr64 0000035ecaa6d9df -> 0000000065536cef 0010
++bextr64 00000232b89c662a -> 000000005c4e3315 0010
++bextr64 000001bf185a50b0 -> 000000000c2d2858 0010
++bextr64 0000011a1af9c13b -> 000000000d7ce09d 0010
++bextr64 000000e0282bc000 -> 000000001415e000 0014
++bextr64 000000854daa0a5a -> 0000000026d5052d 0014
++bextr64 0000006bcf63e2b5 -> 0000000067b1f15a 0014
++bextr64 000000464f7852a0 -> 0000000027bc2950 0014
++bextr64 00000037dac915a7 -> 000000006d648ad3 0010
++bextr64 000000234911b322 -> 000000002488d991 0010
++bextr64 0000001c0a2862bc -> 000000000514315e 0010
++bextr64 00000010addcd664 -> 0000000056ee6b32 0010
++bextr64 0000000d7b2a9b66 -> 000000003d954db3 0010
++bextr64 00000008cae27197 -> 00000000657138cb 0010
++bextr64 00000006fc616943 -> 000000007e30b4a1 0010
++bextr64 00000004686be704 -> 000000003435f382 0014
++bextr64 0000000380a0aeff -> 000000004050577f 0010
++bextr64 000000021536a868 -> 000000000a9b5434 0010
++bextr64 00000001af3d8fad -> 00000000579ec7d6 0010
++bextr64 00000001193de163 -> 000000000c9ef0b1 0014
++bextr64 00000000df6b2459 -> 000000006fb5922c 0010
++bextr64 000000008d2446ca -> 0000000046922365 0014
++bextr64 000000007028a18a -> 00000000381450c5 0014
++bextr64 0000000042b77358 -> 00000000215bb9ac 0014
++bextr64 0000000035ecaa6c -> 000000001af65536 0014
++bextr64 00000000232b89c5 -> 000000001195c4e2 0014
++bextr64 000000001bf185a4 -> 000000000df8c2d2 0014
++bextr64 0000000011a1af9b -> 0000000008d0d7cd 0010
++bextr64 000000000e0282bb -> 000000000701415d 0010
++bextr64 000000000854daa0 -> 00000000042a6d50 0014
++bextr64 0000000006bcf63d -> 00000000035e7b1e 0014
++bextr64 000000000464f784 -> 0000000002327bc2 0010
++bextr64 00000000037dac90 -> 0000000001bed648 0014
++bextr64 000000000234911a -> 00000000011a488d 0014
++bextr64 0000000001c0a285 -> 0000000000e05142 0014
++bextr64 00000000010addcc -> 0000000000856ee6 0010
++bextr64 0000000000d7b2a8 -> 00000000006bd954 0010
++bextr64 00000000008cae26 -> 0000000000465713 0010
++bextr64 00000000006fc615 -> 000000000037e30a 0014
++bextr64 00000000004686bd -> 000000000023435e 0010
++bextr64 0000000000380a0a -> 00000000001c0505 0014
++bextr64 0000000000215369 -> 000000000010a9b4 0014
++bextr64 00000000001af3d7 -> 00000000000d79eb 0014
++bextr64 00000000001193de -> 000000000008c9ef 0010
++bextr64 00000000000df6b1 -> 000000000006fb58 0010
++bextr64 000000000008d242 -> 0000000000046921 0014
++bextr64 0000000000070287 -> 0000000000038143 0010
++bextr64 0000000000042b72 -> 00000000000215b9 0010
++bextr64 0000000000035ec7 -> 000000000001af63 0014
++bextr64 00000000000232b3 -> 0000000000011959 0014
++bextr64 000000000001bf16 -> 000000000000df8b 0014
++bextr64 0000000000011a1b -> 0000000000008d0d 0010
++bextr64 000000000000e027 -> 0000000000007013 0010
++bextr64 000000000000854a -> 00000000000042a5 0014
++bextr64 0000000000006bce -> 00000000000035e7 0014
++bextr64 000000000000464e -> 0000000000002327 0014
++bextr64 00000000000037d9 -> 0000000000001bec 0010
++bextr64 0000000000002347 -> 00000000000011a3 0014
++bextr64 0000000000001c06 -> 0000000000000e03 0014
++bextr64 00000000000010a9 -> 0000000000000854 0010
++bextr64 0000000000000d78 -> 00000000000006bc 0010
++bextr64 00000000000008c8 -> 0000000000000464 0010
++bextr64 00000000000006fa -> 000000000000037d 0014
++bextr64 0000000000000468 -> 0000000000000234 0010
++bextr64 0000000000000380 -> 00000000000001c0 0014
++bextr64 0000000000000214 -> 000000000000010a 0014
++bextr64 00000000000001ae -> 00000000000000d7 0014
++bextr64 0000000000000118 -> 000000000000008c 0010
++bextr64 00000000000000de -> 000000000000006f 0014
++bextr64 000000000000008c -> 0000000000000046 0010
++bextr64 000000000000006f -> 0000000000000037 0010
++bextr64 0000000000000045 -> 0000000000000022 0014
++bextr64 0000000000000037 -> 000000000000001b 0014
++bextr64 0000000000000022 -> 0000000000000011 0014
++bextr64 000000000000001b -> 000000000000000d 0010
++bextr64 0000000000000010 -> 0000000000000008 0010
++bextr64 000000000000000c -> 0000000000000006 0014
++bextr64 0000000000000007 -> 0000000000000003 0014
++bextr64 0000000000000003 -> 0000000000000001 0010
++bextr64 0000000000000001 -> 0000000000000000 0054
++bextr64 0000000000000000 -> 0000000000000000 0054
+Index: none/tests/amd64/tbm.vgtest
+===================================================================
+--- none/tests/amd64/tbm.vgtest (revision 0)
++++ none/tests/amd64/tbm.vgtest (working copy)
+@@ -0,0 +1,3 @@
++prog: tbm
++prereq: test -x tbm && ../../../tests/x86_amd64_features amd64-avx
++vgopts: -q