none/tests/mips64/extract_insert_bit_field.stdout.exp-mips64r2

   1 --- INS ---
   2 ins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 1
   3 ins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffffffffe, pos: 0, size: 1
   4 ins :: in 0x0, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 1
   5 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865420, pos: 0, size: 1
   6 ins :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 0, size: 1
   7 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 1
   8 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765433, pos: 0, size: 1
   9 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 1
  10 ins :: in 0x98765432, in1 0x0, out 0x0, pos: 0, size: 1
  11 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffffffffe, pos: 0, size: 1
  12 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 1
  13 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865420, pos: 0, size: 1
  14 ins :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 1
  15 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 1
  16 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765433, pos: 0, size: 1
  17 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 1
  18 ins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 4
  19 ins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffffffff0, pos: 0, size: 4
  20 ins :: in 0x0, in1 0x98765432, out 0xffffffff98765430, pos: 0, size: 4
  21 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865420, pos: 0, size: 4
  22 ins :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 0, size: 4
  23 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 4
  24 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff9876543f, pos: 0, size: 4
  25 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff86542f, pos: 0, size: 4
  26 ins :: in 0x98765432, in1 0x0, out 0x2, pos: 0, size: 4
  27 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffffffff2, pos: 0, size: 4
  28 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 4
  29 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865422, pos: 0, size: 4
  30 ins :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 4
  31 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffffffffff1, pos: 0, size: 4
  32 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765431, pos: 0, size: 4
  33 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 4
  34 ins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 16
  35 ins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffffffff0000, pos: 0, size: 16
  36 ins :: in 0x0, in1 0x98765432, out 0xffffffff98760000, pos: 0, size: 16
  37 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff860000, pos: 0, size: 16
  38 ins :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 0, size: 16
  39 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 16
  40 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff9876ffff, pos: 0, size: 16
  41 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff86ffff, pos: 0, size: 16
  42 ins :: in 0x98765432, in1 0x0, out 0x5432, pos: 0, size: 16
  43 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffffffff5432, pos: 0, size: 16
  44 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 16
  45 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865432, pos: 0, size: 16
  46 ins :: in 0xffffffffff865421, in1 0x0, out 0x5421, pos: 0, size: 16
  47 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffff5421, pos: 0, size: 16
  48 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765421, pos: 0, size: 16
  49 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 16
  50 ins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 32
  51 ins :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 32
  52 ins :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 32
  53 ins :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 32
  54 ins :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffffffff, pos: 0, size: 32
  55 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 32
  56 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 32
  57 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 32
  58 ins :: in 0x98765432, in1 0x0, out 0xffffffff98765432, pos: 0, size: 32
  59 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 32
  60 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 32
  61 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 32
  62 ins :: in 0xffffffffff865421, in1 0x0, out 0xffffffffff865421, pos: 0, size: 32
  63 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 32
  64 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 32
  65 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 32
  66 ins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 1
  67 ins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffffffffffef, pos: 4, size: 1
  68 ins :: in 0x0, in1 0x98765432, out 0xffffffff98765422, pos: 4, size: 1
  69 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 4, size: 1
  70 ins :: in 0xffffffffffffffff, in1 0x0, out 0x10, pos: 4, size: 1
  71 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 1
  72 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 4, size: 1
  73 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865431, pos: 4, size: 1
  74 ins :: in 0x98765432, in1 0x0, out 0x0, pos: 4, size: 1
  75 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffffffffffef, pos: 4, size: 1
  76 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765422, pos: 4, size: 1
  77 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 4, size: 1
  78 ins :: in 0xffffffffff865421, in1 0x0, out 0x10, pos: 4, size: 1
  79 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 1
  80 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 4, size: 1
  81 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865431, pos: 4, size: 1
  82 ins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 4
  83 ins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffffffffff0f, pos: 4, size: 4
  84 ins :: in 0x0, in1 0x98765432, out 0xffffffff98765402, pos: 4, size: 4
  85 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865401, pos: 4, size: 4
  86 ins :: in 0xffffffffffffffff, in1 0x0, out 0xf0, pos: 4, size: 4
  87 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 4
  88 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff987654f2, pos: 4, size: 4
  89 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff8654f1, pos: 4, size: 4
  90 ins :: in 0x98765432, in1 0x0, out 0x20, pos: 4, size: 4
  91 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffffffffff2f, pos: 4, size: 4
  92 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765422, pos: 4, size: 4
  93 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 4, size: 4
  94 ins :: in 0xffffffffff865421, in1 0x0, out 0x10, pos: 4, size: 4
  95 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffff1f, pos: 4, size: 4
  96 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765412, pos: 4, size: 4
  97 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865411, pos: 4, size: 4
  98 ins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 16
  99 ins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffff0000f, pos: 4, size: 16
 100 ins :: in 0x0, in1 0x98765432, out 0xffffffff98700002, pos: 4, size: 16
 101 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff800001, pos: 4, size: 16
 102 ins :: in 0xffffffffffffffff, in1 0x0, out 0xffff0, pos: 4, size: 16
 103 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 16
 104 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff987ffff2, pos: 4, size: 16
 105 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff8ffff1, pos: 4, size: 16
 106 ins :: in 0x98765432, in1 0x0, out 0x54320, pos: 4, size: 16
 107 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffff5432f, pos: 4, size: 16
 108 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98754322, pos: 4, size: 16
 109 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff854321, pos: 4, size: 16
 110 ins :: in 0xffffffffff865421, in1 0x0, out 0x54210, pos: 4, size: 16
 111 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffffff5421f, pos: 4, size: 16
 112 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98754212, pos: 4, size: 16
 113 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff854211, pos: 4, size: 16
 114 ins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 28
 115 ins :: in 0x0, in1 0xffffffffffffffff, out 0xf, pos: 4, size: 28
 116 ins :: in 0x0, in1 0x98765432, out 0x2, pos: 4, size: 28
 117 ins :: in 0x0, in1 0xffffffffff865421, out 0x1, pos: 4, size: 28
 118 ins :: in 0xffffffffffffffff, in1 0x0, out 0xfffffffffffffff0, pos: 4, size: 28
 119 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 28
 120 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff2, pos: 4, size: 28
 121 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff1, pos: 4, size: 28
 122 ins :: in 0x98765432, in1 0x0, out 0xffffffff87654320, pos: 4, size: 28
 123 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff8765432f, pos: 4, size: 28
 124 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff87654322, pos: 4, size: 28
 125 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff87654321, pos: 4, size: 28
 126 ins :: in 0xffffffffff865421, in1 0x0, out 0xfffffffff8654210, pos: 4, size: 28
 127 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffff865421f, pos: 4, size: 28
 128 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffff8654212, pos: 4, size: 28
 129 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffff8654211, pos: 4, size: 28
 130 ins :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 1
 131 ins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffffeffff, pos: 16, size: 1
 132 ins :: in 0x0, in1 0x98765432, out 0xffffffff98765432, pos: 16, size: 1
 133 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 16, size: 1
 134 ins :: in 0xffffffffffffffff, in1 0x0, out 0x10000, pos: 16, size: 1
 135 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 1
 136 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98775432, pos: 16, size: 1
 137 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff875421, pos: 16, size: 1
 138 ins :: in 0x98765432, in1 0x0, out 0x0, pos: 16, size: 1
 139 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffffeffff, pos: 16, size: 1
 140 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 16, size: 1
 141 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 16, size: 1
 142 ins :: in 0xffffffffff865421, in1 0x0, out 0x10000, pos: 16, size: 1
 143 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 1
 144 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98775432, pos: 16, size: 1
 145 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff875421, pos: 16, size: 1
 146 ins :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 4
 147 ins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffff0ffff, pos: 16, size: 4
 148 ins :: in 0x0, in1 0x98765432, out 0xffffffff98705432, pos: 16, size: 4
 149 ins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff805421, pos: 16, size: 4
 150 ins :: in 0xffffffffffffffff, in1 0x0, out 0xf0000, pos: 16, size: 4
 151 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 4
 152 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff987f5432, pos: 16, size: 4
 153 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff8f5421, pos: 16, size: 4
 154 ins :: in 0x98765432, in1 0x0, out 0x20000, pos: 16, size: 4
 155 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffff2ffff, pos: 16, size: 4
 156 ins :: in 0x98765432, in1 0x98765432, out 0xffffffff98725432, pos: 16, size: 4
 157 ins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff825421, pos: 16, size: 4
 158 ins :: in 0xffffffffff865421, in1 0x0, out 0x10000, pos: 16, size: 4
 159 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffffff1ffff, pos: 16, size: 4
 160 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98715432, pos: 16, size: 4
 161 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff815421, pos: 16, size: 4
 162 ins :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 16
 163 ins :: in 0x0, in1 0xffffffffffffffff, out 0xffff, pos: 16, size: 16
 164 ins :: in 0x0, in1 0x98765432, out 0x5432, pos: 16, size: 16
 165 ins :: in 0x0, in1 0xffffffffff865421, out 0x5421, pos: 16, size: 16
 166 ins :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffff0000, pos: 16, size: 16
 167 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 16
 168 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff5432, pos: 16, size: 16
 169 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff5421, pos: 16, size: 16
 170 ins :: in 0x98765432, in1 0x0, out 0x54320000, pos: 16, size: 16
 171 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0x5432ffff, pos: 16, size: 16
 172 ins :: in 0x98765432, in1 0x98765432, out 0x54325432, pos: 16, size: 16
 173 ins :: in 0x98765432, in1 0xffffffffff865421, out 0x54325421, pos: 16, size: 16
 174 ins :: in 0xffffffffff865421, in1 0x0, out 0x54210000, pos: 16, size: 16
 175 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x5421ffff, pos: 16, size: 16
 176 ins :: in 0xffffffffff865421, in1 0x98765432, out 0x54215432, pos: 16, size: 16
 177 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x54215421, pos: 16, size: 16
 178 ins :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 1
 179 ins :: in 0x0, in1 0xffffffffffffffff, out 0x7fffffff, pos: 31, size: 1
 180 ins :: in 0x0, in1 0x98765432, out 0x18765432, pos: 31, size: 1
 181 ins :: in 0x0, in1 0xffffffffff865421, out 0x7f865421, pos: 31, size: 1
 182 ins :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff80000000, pos: 31, size: 1
 183 ins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 31, size: 1
 184 ins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 31, size: 1
 185 ins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 31, size: 1
 186 ins :: in 0x98765432, in1 0x0, out 0x0, pos: 31, size: 1
 187 ins :: in 0x98765432, in1 0xffffffffffffffff, out 0x7fffffff, pos: 31, size: 1
 188 ins :: in 0x98765432, in1 0x98765432, out 0x18765432, pos: 31, size: 1
 189 ins :: in 0x98765432, in1 0xffffffffff865421, out 0x7f865421, pos: 31, size: 1
 190 ins :: in 0xffffffffff865421, in1 0x0, out 0xffffffff80000000, pos: 31, size: 1
 191 ins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 31, size: 1
 192 ins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 31, size: 1
 193 ins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 31, size: 1
 194 --- EXT ---
 195 ext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 1
 196 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 1
 197 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 1
 198 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 1
 199 ext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 0, size: 1
 200 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 0, size: 1
 201 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 0, size: 1
 202 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 0, size: 1
 203 ext :: in 0x98765432, in1 0x0, out 0x0, pos: 0, size: 1
 204 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 1
 205 ext :: in 0x98765432, in1 0x98765432, out 0x0, pos: 0, size: 1
 206 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x0, pos: 0, size: 1
 207 ext :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 1
 208 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 0, size: 1
 209 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 0, size: 1
 210 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 0, size: 1
 211 ext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 4
 212 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 4
 213 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 4
 214 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 4
 215 ext :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 0, size: 4
 216 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 0, size: 4
 217 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 0, size: 4
 218 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 0, size: 4
 219 ext :: in 0x98765432, in1 0x0, out 0x2, pos: 0, size: 4
 220 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x2, pos: 0, size: 4
 221 ext :: in 0x98765432, in1 0x98765432, out 0x2, pos: 0, size: 4
 222 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x2, pos: 0, size: 4
 223 ext :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 4
 224 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 0, size: 4
 225 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 0, size: 4
 226 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 0, size: 4
 227 ext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 16
 228 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 16
 229 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 16
 230 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 16
 231 ext :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 0, size: 16
 232 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 0, size: 16
 233 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 0, size: 16
 234 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 0, size: 16
 235 ext :: in 0x98765432, in1 0x0, out 0x5432, pos: 0, size: 16
 236 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x5432, pos: 0, size: 16
 237 ext :: in 0x98765432, in1 0x98765432, out 0x5432, pos: 0, size: 16
 238 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x5432, pos: 0, size: 16
 239 ext :: in 0xffffffffff865421, in1 0x0, out 0x5421, pos: 0, size: 16
 240 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x5421, pos: 0, size: 16
 241 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x5421, pos: 0, size: 16
 242 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x5421, pos: 0, size: 16
 243 ext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 32
 244 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 32
 245 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 32
 246 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 32
 247 ext :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffffffff, pos: 0, size: 32
 248 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 32
 249 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 32
 250 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 32
 251 ext :: in 0x98765432, in1 0x0, out 0xffffffff98765432, pos: 0, size: 32
 252 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 32
 253 ext :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 32
 254 ext :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 32
 255 ext :: in 0xffffffffff865421, in1 0x0, out 0xffffffffff865421, pos: 0, size: 32
 256 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 32
 257 ext :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 32
 258 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 32
 259 ext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 1
 260 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 1
 261 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 1
 262 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 1
 263 ext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 4, size: 1
 264 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 4, size: 1
 265 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 4, size: 1
 266 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 4, size: 1
 267 ext :: in 0x98765432, in1 0x0, out 0x1, pos: 4, size: 1
 268 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 4, size: 1
 269 ext :: in 0x98765432, in1 0x98765432, out 0x1, pos: 4, size: 1
 270 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 4, size: 1
 271 ext :: in 0xffffffffff865421, in1 0x0, out 0x0, pos: 4, size: 1
 272 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 1
 273 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x0, pos: 4, size: 1
 274 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x0, pos: 4, size: 1
 275 ext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 4
 276 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 4
 277 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 4
 278 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 4
 279 ext :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 4, size: 4
 280 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 4, size: 4
 281 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 4, size: 4
 282 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 4, size: 4
 283 ext :: in 0x98765432, in1 0x0, out 0x3, pos: 4, size: 4
 284 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x3, pos: 4, size: 4
 285 ext :: in 0x98765432, in1 0x98765432, out 0x3, pos: 4, size: 4
 286 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x3, pos: 4, size: 4
 287 ext :: in 0xffffffffff865421, in1 0x0, out 0x2, pos: 4, size: 4
 288 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x2, pos: 4, size: 4
 289 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x2, pos: 4, size: 4
 290 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x2, pos: 4, size: 4
 291 ext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 16
 292 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 16
 293 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 16
 294 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 16
 295 ext :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 4, size: 16
 296 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 4, size: 16
 297 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 4, size: 16
 298 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 4, size: 16
 299 ext :: in 0x98765432, in1 0x0, out 0x6543, pos: 4, size: 16
 300 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x6543, pos: 4, size: 16
 301 ext :: in 0x98765432, in1 0x98765432, out 0x6543, pos: 4, size: 16
 302 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x6543, pos: 4, size: 16
 303 ext :: in 0xffffffffff865421, in1 0x0, out 0x6542, pos: 4, size: 16
 304 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x6542, pos: 4, size: 16
 305 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x6542, pos: 4, size: 16
 306 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x6542, pos: 4, size: 16
 307 ext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 28
 308 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 28
 309 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 28
 310 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 28
 311 ext :: in 0xffffffffffffffff, in1 0x0, out 0xfffffff, pos: 4, size: 28
 312 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xfffffff, pos: 4, size: 28
 313 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffff, pos: 4, size: 28
 314 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffff, pos: 4, size: 28
 315 ext :: in 0x98765432, in1 0x0, out 0x9876543, pos: 4, size: 28
 316 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x9876543, pos: 4, size: 28
 317 ext :: in 0x98765432, in1 0x98765432, out 0x9876543, pos: 4, size: 28
 318 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x9876543, pos: 4, size: 28
 319 ext :: in 0xffffffffff865421, in1 0x0, out 0xff86542, pos: 4, size: 28
 320 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xff86542, pos: 4, size: 28
 321 ext :: in 0xffffffffff865421, in1 0x98765432, out 0xff86542, pos: 4, size: 28
 322 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xff86542, pos: 4, size: 28
 323 ext :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 1
 324 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 1
 325 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 1
 326 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 1
 327 ext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 16, size: 1
 328 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 16, size: 1
 329 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 16, size: 1
 330 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 16, size: 1
 331 ext :: in 0x98765432, in1 0x0, out 0x0, pos: 16, size: 1
 332 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 1
 333 ext :: in 0x98765432, in1 0x98765432, out 0x0, pos: 16, size: 1
 334 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x0, pos: 16, size: 1
 335 ext :: in 0xffffffffff865421, in1 0x0, out 0x0, pos: 16, size: 1
 336 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 1
 337 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x0, pos: 16, size: 1
 338 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x0, pos: 16, size: 1
 339 ext :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 4
 340 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 4
 341 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 4
 342 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 4
 343 ext :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 16, size: 4
 344 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 16, size: 4
 345 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 16, size: 4
 346 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 16, size: 4
 347 ext :: in 0x98765432, in1 0x0, out 0x6, pos: 16, size: 4
 348 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x6, pos: 16, size: 4
 349 ext :: in 0x98765432, in1 0x98765432, out 0x6, pos: 16, size: 4
 350 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x6, pos: 16, size: 4
 351 ext :: in 0xffffffffff865421, in1 0x0, out 0x6, pos: 16, size: 4
 352 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x6, pos: 16, size: 4
 353 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x6, pos: 16, size: 4
 354 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x6, pos: 16, size: 4
 355 ext :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 16
 356 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 16
 357 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 16
 358 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 16
 359 ext :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 16, size: 16
 360 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 16, size: 16
 361 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 16, size: 16
 362 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 16, size: 16
 363 ext :: in 0x98765432, in1 0x0, out 0x9876, pos: 16, size: 16
 364 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x9876, pos: 16, size: 16
 365 ext :: in 0x98765432, in1 0x98765432, out 0x9876, pos: 16, size: 16
 366 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x9876, pos: 16, size: 16
 367 ext :: in 0xffffffffff865421, in1 0x0, out 0xff86, pos: 16, size: 16
 368 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xff86, pos: 16, size: 16
 369 ext :: in 0xffffffffff865421, in1 0x98765432, out 0xff86, pos: 16, size: 16
 370 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xff86, pos: 16, size: 16
 371 ext :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 1
 372 ext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 31, size: 1
 373 ext :: in 0x0, in1 0x98765432, out 0x0, pos: 31, size: 1
 374 ext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 31, size: 1
 375 ext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 31, size: 1
 376 ext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 31, size: 1
 377 ext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 31, size: 1
 378 ext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 31, size: 1
 379 ext :: in 0x98765432, in1 0x0, out 0x1, pos: 31, size: 1
 380 ext :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 31, size: 1
 381 ext :: in 0x98765432, in1 0x98765432, out 0x1, pos: 31, size: 1
 382 ext :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 31, size: 1
 383 ext :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 31, size: 1
 384 ext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 31, size: 1
 385 ext :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 31, size: 1
 386 ext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 31, size: 1
 387 --- DEXT ---
 388 dext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 1
 389 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 1
 390 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 1
 391 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 1
 392 dext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 0, size: 1
 393 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 0, size: 1
 394 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 0, size: 1
 395 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 0, size: 1
 396 dext :: in 0x98765432, in1 0x0, out 0x0, pos: 0, size: 1
 397 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 1
 398 dext :: in 0x98765432, in1 0x98765432, out 0x0, pos: 0, size: 1
 399 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x0, pos: 0, size: 1
 400 dext :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 1
 401 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 0, size: 1
 402 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 0, size: 1
 403 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 0, size: 1
 404 dext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 4
 405 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 4
 406 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 4
 407 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 4
 408 dext :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 0, size: 4
 409 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 0, size: 4
 410 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 0, size: 4
 411 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 0, size: 4
 412 dext :: in 0x98765432, in1 0x0, out 0x2, pos: 0, size: 4
 413 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x2, pos: 0, size: 4
 414 dext :: in 0x98765432, in1 0x98765432, out 0x2, pos: 0, size: 4
 415 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x2, pos: 0, size: 4
 416 dext :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 4
 417 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 0, size: 4
 418 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 0, size: 4
 419 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 0, size: 4
 420 dext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 16
 421 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 16
 422 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 16
 423 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 16
 424 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 0, size: 16
 425 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 0, size: 16
 426 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 0, size: 16
 427 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 0, size: 16
 428 dext :: in 0x98765432, in1 0x0, out 0x5432, pos: 0, size: 16
 429 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x5432, pos: 0, size: 16
 430 dext :: in 0x98765432, in1 0x98765432, out 0x5432, pos: 0, size: 16
 431 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x5432, pos: 0, size: 16
 432 dext :: in 0xffffffffff865421, in1 0x0, out 0x5421, pos: 0, size: 16
 433 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x5421, pos: 0, size: 16
 434 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x5421, pos: 0, size: 16
 435 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x5421, pos: 0, size: 16
 436 dext :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 32
 437 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 32
 438 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 32
 439 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 32
 440 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff, pos: 0, size: 32
 441 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffff, pos: 0, size: 32
 442 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff, pos: 0, size: 32
 443 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffff, pos: 0, size: 32
 444 dext :: in 0x98765432, in1 0x0, out 0x98765432, pos: 0, size: 32
 445 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x98765432, pos: 0, size: 32
 446 dext :: in 0x98765432, in1 0x98765432, out 0x98765432, pos: 0, size: 32
 447 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x98765432, pos: 0, size: 32
 448 dext :: in 0xffffffffff865421, in1 0x0, out 0xff865421, pos: 0, size: 32
 449 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xff865421, pos: 0, size: 32
 450 dext :: in 0xffffffffff865421, in1 0x98765432, out 0xff865421, pos: 0, size: 32
 451 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xff865421, pos: 0, size: 32
 452 dext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 1
 453 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 1
 454 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 1
 455 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 1
 456 dext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 4, size: 1
 457 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 4, size: 1
 458 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 4, size: 1
 459 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 4, size: 1
 460 dext :: in 0x98765432, in1 0x0, out 0x1, pos: 4, size: 1
 461 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 4, size: 1
 462 dext :: in 0x98765432, in1 0x98765432, out 0x1, pos: 4, size: 1
 463 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 4, size: 1
 464 dext :: in 0xffffffffff865421, in1 0x0, out 0x0, pos: 4, size: 1
 465 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 1
 466 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x0, pos: 4, size: 1
 467 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x0, pos: 4, size: 1
 468 dext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 4
 469 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 4
 470 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 4
 471 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 4
 472 dext :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 4, size: 4
 473 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 4, size: 4
 474 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 4, size: 4
 475 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 4, size: 4
 476 dext :: in 0x98765432, in1 0x0, out 0x3, pos: 4, size: 4
 477 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x3, pos: 4, size: 4
 478 dext :: in 0x98765432, in1 0x98765432, out 0x3, pos: 4, size: 4
 479 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x3, pos: 4, size: 4
 480 dext :: in 0xffffffffff865421, in1 0x0, out 0x2, pos: 4, size: 4
 481 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x2, pos: 4, size: 4
 482 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x2, pos: 4, size: 4
 483 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x2, pos: 4, size: 4
 484 dext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 16
 485 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 16
 486 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 16
 487 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 16
 488 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 4, size: 16
 489 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 4, size: 16
 490 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 4, size: 16
 491 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 4, size: 16
 492 dext :: in 0x98765432, in1 0x0, out 0x6543, pos: 4, size: 16
 493 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x6543, pos: 4, size: 16
 494 dext :: in 0x98765432, in1 0x98765432, out 0x6543, pos: 4, size: 16
 495 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x6543, pos: 4, size: 16
 496 dext :: in 0xffffffffff865421, in1 0x0, out 0x6542, pos: 4, size: 16
 497 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x6542, pos: 4, size: 16
 498 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x6542, pos: 4, size: 16
 499 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x6542, pos: 4, size: 16
 500 dext :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 32
 501 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 32
 502 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 32
 503 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 32
 504 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff, pos: 4, size: 32
 505 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffff, pos: 4, size: 32
 506 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff, pos: 4, size: 32
 507 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffff, pos: 4, size: 32
 508 dext :: in 0x98765432, in1 0x0, out 0xf9876543, pos: 4, size: 32
 509 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0xf9876543, pos: 4, size: 32
 510 dext :: in 0x98765432, in1 0x98765432, out 0xf9876543, pos: 4, size: 32
 511 dext :: in 0x98765432, in1 0xffffffffff865421, out 0xf9876543, pos: 4, size: 32
 512 dext :: in 0xffffffffff865421, in1 0x0, out 0xfff86542, pos: 4, size: 32
 513 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfff86542, pos: 4, size: 32
 514 dext :: in 0xffffffffff865421, in1 0x98765432, out 0xfff86542, pos: 4, size: 32
 515 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfff86542, pos: 4, size: 32
 516 dext :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 1
 517 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 1
 518 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 1
 519 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 1
 520 dext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 16, size: 1
 521 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 16, size: 1
 522 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 16, size: 1
 523 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 16, size: 1
 524 dext :: in 0x98765432, in1 0x0, out 0x0, pos: 16, size: 1
 525 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 1
 526 dext :: in 0x98765432, in1 0x98765432, out 0x0, pos: 16, size: 1
 527 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x0, pos: 16, size: 1
 528 dext :: in 0xffffffffff865421, in1 0x0, out 0x0, pos: 16, size: 1
 529 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 1
 530 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x0, pos: 16, size: 1
 531 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x0, pos: 16, size: 1
 532 dext :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 4
 533 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 4
 534 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 4
 535 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 4
 536 dext :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 16, size: 4
 537 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 16, size: 4
 538 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 16, size: 4
 539 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 16, size: 4
 540 dext :: in 0x98765432, in1 0x0, out 0x6, pos: 16, size: 4
 541 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x6, pos: 16, size: 4
 542 dext :: in 0x98765432, in1 0x98765432, out 0x6, pos: 16, size: 4
 543 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x6, pos: 16, size: 4
 544 dext :: in 0xffffffffff865421, in1 0x0, out 0x6, pos: 16, size: 4
 545 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x6, pos: 16, size: 4
 546 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x6, pos: 16, size: 4
 547 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x6, pos: 16, size: 4
 548 dext :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 16
 549 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 16
 550 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 16
 551 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 16
 552 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 16, size: 16
 553 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 16, size: 16
 554 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 16, size: 16
 555 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 16, size: 16
 556 dext :: in 0x98765432, in1 0x0, out 0x9876, pos: 16, size: 16
 557 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x9876, pos: 16, size: 16
 558 dext :: in 0x98765432, in1 0x98765432, out 0x9876, pos: 16, size: 16
 559 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x9876, pos: 16, size: 16
 560 dext :: in 0xffffffffff865421, in1 0x0, out 0xff86, pos: 16, size: 16
 561 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xff86, pos: 16, size: 16
 562 dext :: in 0xffffffffff865421, in1 0x98765432, out 0xff86, pos: 16, size: 16
 563 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xff86, pos: 16, size: 16
 564 dext :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 32
 565 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 32
 566 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 32
 567 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 32
 568 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff, pos: 16, size: 32
 569 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffff, pos: 16, size: 32
 570 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff, pos: 16, size: 32
 571 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffff, pos: 16, size: 32
 572 dext :: in 0x98765432, in1 0x0, out 0xffff9876, pos: 16, size: 32
 573 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff9876, pos: 16, size: 32
 574 dext :: in 0x98765432, in1 0x98765432, out 0xffff9876, pos: 16, size: 32
 575 dext :: in 0x98765432, in1 0xffffffffff865421, out 0xffff9876, pos: 16, size: 32
 576 dext :: in 0xffffffffff865421, in1 0x0, out 0xffffff86, pos: 16, size: 32
 577 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffff86, pos: 16, size: 32
 578 dext :: in 0xffffffffff865421, in1 0x98765432, out 0xffffff86, pos: 16, size: 32
 579 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffff86, pos: 16, size: 32
 580 dext :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 1
 581 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 31, size: 1
 582 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 31, size: 1
 583 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 31, size: 1
 584 dext :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 31, size: 1
 585 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 31, size: 1
 586 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 31, size: 1
 587 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 31, size: 1
 588 dext :: in 0x98765432, in1 0x0, out 0x1, pos: 31, size: 1
 589 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 31, size: 1
 590 dext :: in 0x98765432, in1 0x98765432, out 0x1, pos: 31, size: 1
 591 dext :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 31, size: 1
 592 dext :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 31, size: 1
 593 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 31, size: 1
 594 dext :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 31, size: 1
 595 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 31, size: 1
 596 dext :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 4
 597 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 31, size: 4
 598 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 31, size: 4
 599 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 31, size: 4
 600 dext :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 31, size: 4
 601 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 31, size: 4
 602 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 31, size: 4
 603 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 31, size: 4
 604 dext :: in 0x98765432, in1 0x0, out 0xf, pos: 31, size: 4
 605 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0xf, pos: 31, size: 4
 606 dext :: in 0x98765432, in1 0x98765432, out 0xf, pos: 31, size: 4
 607 dext :: in 0x98765432, in1 0xffffffffff865421, out 0xf, pos: 31, size: 4
 608 dext :: in 0xffffffffff865421, in1 0x0, out 0xf, pos: 31, size: 4
 609 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xf, pos: 31, size: 4
 610 dext :: in 0xffffffffff865421, in1 0x98765432, out 0xf, pos: 31, size: 4
 611 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xf, pos: 31, size: 4
 612 dext :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 16
 613 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 31, size: 16
 614 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 31, size: 16
 615 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 31, size: 16
 616 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 31, size: 16
 617 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 31, size: 16
 618 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 31, size: 16
 619 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 31, size: 16
 620 dext :: in 0x98765432, in1 0x0, out 0xffff, pos: 31, size: 16
 621 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff, pos: 31, size: 16
 622 dext :: in 0x98765432, in1 0x98765432, out 0xffff, pos: 31, size: 16
 623 dext :: in 0x98765432, in1 0xffffffffff865421, out 0xffff, pos: 31, size: 16
 624 dext :: in 0xffffffffff865421, in1 0x0, out 0xffff, pos: 31, size: 16
 625 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffff, pos: 31, size: 16
 626 dext :: in 0xffffffffff865421, in1 0x98765432, out 0xffff, pos: 31, size: 16
 627 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffff, pos: 31, size: 16
 628 dext :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 32
 629 dext :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 31, size: 32
 630 dext :: in 0x0, in1 0x98765432, out 0x0, pos: 31, size: 32
 631 dext :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 31, size: 32
 632 dext :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff, pos: 31, size: 32
 633 dext :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffff, pos: 31, size: 32
 634 dext :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff, pos: 31, size: 32
 635 dext :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffff, pos: 31, size: 32
 636 dext :: in 0x98765432, in1 0x0, out 0xffffffff, pos: 31, size: 32
 637 dext :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff, pos: 31, size: 32
 638 dext :: in 0x98765432, in1 0x98765432, out 0xffffffff, pos: 31, size: 32
 639 dext :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff, pos: 31, size: 32
 640 dext :: in 0xffffffffff865421, in1 0x0, out 0xffffffff, pos: 31, size: 32
 641 dext :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffff, pos: 31, size: 32
 642 dext :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff, pos: 31, size: 32
 643 dext :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffff, pos: 31, size: 32
 644 dext :: in 0x2002ffffffffffff, in1 0xfffffffff0000fff, out 0xf, pos: 4, size: 4
 645 dext :: in 0xffff0000ffffffff, in1 0xff0000ffffffffff, out 0xf, pos: 8, size: 4
 646 dext :: in 0x2000ffffffffffff, in1 0xffff0000ffffffff, out 0xf, pos: 16, size: 4
 647 dext :: in 0x2000ffffffddddff, in1 0xffffffffffff0008, out 0x3, pos: 24, size: 2
 648 dext :: in 0x2000ffffffffeeee, in1 0xfffffff31415927f, out 0xf, pos: 24, size: 4
 649 dext :: in 0x31415927ffffffff, in1 0x2000ffffffffffff, out 0x3, pos: 9, size: 2
 650 dext :: in 0x2000ffffffffaaaa, in1 0x2000ffffffff2222, out 0xf, pos: 16, size: 4
 651 dext :: in 0x2000ffffffbbbbff, in1 0x7fffffffddddffff, out 0xb, pos: 16, size: 4
 652 dext :: in 0xeeeeff33ff22ffff, in1 0x2000ffffffffffff, out 0xf, pos: 7, size: 4
 653 dext :: in 0x2000ffffffffffff, in1 0x2000ffffffffbbbb, out 0xf, pos: 5, size: 4
 654 dext :: in 0x2000ffffffffbbbb, in1 0xfffffffff0000fff, out 0x7, pos: 3, size: 4
 655 dext :: in 0x2000ffffffffffff, in1 0xffff0000ffffffff, out 0xffff, pos: 16, size: 16
 656 dext :: in 0x7fffffffddddffff, in1 0xffffffffffff0008, out 0xffffdddd, pos: 16, size: 32
 657 dext :: in 0x2000ffffffff2222, in1 0xfffffff31415927f, out 0x8003fffffffc888, pos: 2, size: 60
 658 dext :: in 0x2000ffffffffffff, in1 0x2000ffffffffffff, out 0x3f, pos: 16, size: 6
 659 dext :: in 0xfffffff31415927f, in1 0x2000ffffffff2222, out 0xffffffe6, pos: 31, size: 32
 660 dext :: in 0xffffffffffff0008, in1 0x7fffffffddddffff, out 0x0, pos: 8, size: 2
 661 dext :: in 0xffff0000ffffffff, in1 0x2000ffffffffffff, out 0xf, pos: 16, size: 4
 662 dext :: in 0xff0000ffffffffff, in1 0x0, out 0xf, pos: 8, size: 4
 663 dext :: in 0xfffffffff0000fff, in1 0x0, out 0x0, pos: 16, size: 4
 664 --- DEXTM ---
 665 dextm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 33
 666 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 33
 667 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 33
 668 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 33
 669 dextm :: in 0xffffffffffffffff, in1 0x0, out 0x1ffffffff, pos: 0, size: 33
 670 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1ffffffff, pos: 0, size: 33
 671 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0x1ffffffff, pos: 0, size: 33
 672 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1ffffffff, pos: 0, size: 33
 673 dextm :: in 0x98765432, in1 0x0, out 0x198765432, pos: 0, size: 33
 674 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0x198765432, pos: 0, size: 33
 675 dextm :: in 0x98765432, in1 0x98765432, out 0x198765432, pos: 0, size: 33
 676 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0x198765432, pos: 0, size: 33
 677 dextm :: in 0xffffffffff865421, in1 0x0, out 0x1ff865421, pos: 0, size: 33
 678 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1ff865421, pos: 0, size: 33
 679 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0x1ff865421, pos: 0, size: 33
 680 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1ff865421, pos: 0, size: 33
 681 dextm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 37
 682 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 37
 683 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 37
 684 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 37
 685 dextm :: in 0xffffffffffffffff, in1 0x0, out 0x1fffffffff, pos: 0, size: 37
 686 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1fffffffff, pos: 0, size: 37
 687 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0x1fffffffff, pos: 0, size: 37
 688 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1fffffffff, pos: 0, size: 37
 689 dextm :: in 0x98765432, in1 0x0, out 0x1f98765432, pos: 0, size: 37
 690 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0x1f98765432, pos: 0, size: 37
 691 dextm :: in 0x98765432, in1 0x98765432, out 0x1f98765432, pos: 0, size: 37
 692 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0x1f98765432, pos: 0, size: 37
 693 dextm :: in 0xffffffffff865421, in1 0x0, out 0x1fff865421, pos: 0, size: 37
 694 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1fff865421, pos: 0, size: 37
 695 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0x1fff865421, pos: 0, size: 37
 696 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1fff865421, pos: 0, size: 37
 697 dextm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 48
 698 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 48
 699 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 48
 700 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 48
 701 dextm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffff, pos: 0, size: 48
 702 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffff, pos: 0, size: 48
 703 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff, pos: 0, size: 48
 704 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff, pos: 0, size: 48
 705 dextm :: in 0x98765432, in1 0x0, out 0xffff98765432, pos: 0, size: 48
 706 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff98765432, pos: 0, size: 48
 707 dextm :: in 0x98765432, in1 0x98765432, out 0xffff98765432, pos: 0, size: 48
 708 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0xffff98765432, pos: 0, size: 48
 709 dextm :: in 0xffffffffff865421, in1 0x0, out 0xffffff865421, pos: 0, size: 48
 710 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffff865421, pos: 0, size: 48
 711 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffff865421, pos: 0, size: 48
 712 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffff865421, pos: 0, size: 48
 713 dextm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 64
 714 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 64
 715 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 64
 716 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 64
 717 dextm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffffffff, pos: 0, size: 64
 718 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 64
 719 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 64
 720 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 64
 721 dextm :: in 0x98765432, in1 0x0, out 0xffffffff98765432, pos: 0, size: 64
 722 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 64
 723 dextm :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 64
 724 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 64
 725 dextm :: in 0xffffffffff865421, in1 0x0, out 0xffffffffff865421, pos: 0, size: 64
 726 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 64
 727 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 64
 728 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 64
 729 dextm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 33
 730 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 33
 731 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 33
 732 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 33
 733 dextm :: in 0xffffffffffffffff, in1 0x0, out 0x1ffffffff, pos: 4, size: 33
 734 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1ffffffff, pos: 4, size: 33
 735 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0x1ffffffff, pos: 4, size: 33
 736 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1ffffffff, pos: 4, size: 33
 737 dextm :: in 0x98765432, in1 0x0, out 0x1f9876543, pos: 4, size: 33
 738 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0x1f9876543, pos: 4, size: 33
 739 dextm :: in 0x98765432, in1 0x98765432, out 0x1f9876543, pos: 4, size: 33
 740 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0x1f9876543, pos: 4, size: 33
 741 dextm :: in 0xffffffffff865421, in1 0x0, out 0x1fff86542, pos: 4, size: 33
 742 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1fff86542, pos: 4, size: 33
 743 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0x1fff86542, pos: 4, size: 33
 744 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1fff86542, pos: 4, size: 33
 745 dextm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 37
 746 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 37
 747 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 37
 748 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 37
 749 dextm :: in 0xffffffffffffffff, in1 0x0, out 0x1fffffffff, pos: 4, size: 37
 750 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1fffffffff, pos: 4, size: 37
 751 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0x1fffffffff, pos: 4, size: 37
 752 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1fffffffff, pos: 4, size: 37
 753 dextm :: in 0x98765432, in1 0x0, out 0x1ff9876543, pos: 4, size: 37
 754 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0x1ff9876543, pos: 4, size: 37
 755 dextm :: in 0x98765432, in1 0x98765432, out 0x1ff9876543, pos: 4, size: 37
 756 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0x1ff9876543, pos: 4, size: 37
 757 dextm :: in 0xffffffffff865421, in1 0x0, out 0x1ffff86542, pos: 4, size: 37
 758 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1ffff86542, pos: 4, size: 37
 759 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0x1ffff86542, pos: 4, size: 37
 760 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1ffff86542, pos: 4, size: 37
 761 dextm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 48
 762 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 48
 763 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 48
 764 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 48
 765 dextm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffff, pos: 4, size: 48
 766 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffff, pos: 4, size: 48
 767 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff, pos: 4, size: 48
 768 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff, pos: 4, size: 48
 769 dextm :: in 0x98765432, in1 0x0, out 0xfffff9876543, pos: 4, size: 48
 770 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffff9876543, pos: 4, size: 48
 771 dextm :: in 0x98765432, in1 0x98765432, out 0xfffff9876543, pos: 4, size: 48
 772 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0xfffff9876543, pos: 4, size: 48
 773 dextm :: in 0xffffffffff865421, in1 0x0, out 0xfffffff86542, pos: 4, size: 48
 774 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffff86542, pos: 4, size: 48
 775 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffff86542, pos: 4, size: 48
 776 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffff86542, pos: 4, size: 48
 777 dextm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 60
 778 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 4, size: 60
 779 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 4, size: 60
 780 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 4, size: 60
 781 dextm :: in 0xffffffffffffffff, in1 0x0, out 0xfffffffffffffff, pos: 4, size: 60
 782 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xfffffffffffffff, pos: 4, size: 60
 783 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff, pos: 4, size: 60
 784 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff, pos: 4, size: 60
 785 dextm :: in 0x98765432, in1 0x0, out 0xffffffff9876543, pos: 4, size: 60
 786 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff9876543, pos: 4, size: 60
 787 dextm :: in 0x98765432, in1 0x98765432, out 0xffffffff9876543, pos: 4, size: 60
 788 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff9876543, pos: 4, size: 60
 789 dextm :: in 0xffffffffff865421, in1 0x0, out 0xffffffffff86542, pos: 4, size: 60
 790 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff86542, pos: 4, size: 60
 791 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff86542, pos: 4, size: 60
 792 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff86542, pos: 4, size: 60
 793 dextm :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 33
 794 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 33
 795 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 33
 796 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 33
 797 dextm :: in 0xffffffffffffffff, in1 0x0, out 0x1ffffffff, pos: 16, size: 33
 798 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1ffffffff, pos: 16, size: 33
 799 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0x1ffffffff, pos: 16, size: 33
 800 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1ffffffff, pos: 16, size: 33
 801 dextm :: in 0x98765432, in1 0x0, out 0x1ffff9876, pos: 16, size: 33
 802 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0x1ffff9876, pos: 16, size: 33
 803 dextm :: in 0x98765432, in1 0x98765432, out 0x1ffff9876, pos: 16, size: 33
 804 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0x1ffff9876, pos: 16, size: 33
 805 dextm :: in 0xffffffffff865421, in1 0x0, out 0x1ffffff86, pos: 16, size: 33
 806 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1ffffff86, pos: 16, size: 33
 807 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0x1ffffff86, pos: 16, size: 33
 808 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1ffffff86, pos: 16, size: 33
 809 dextm :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 37
 810 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 37
 811 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 37
 812 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 37
 813 dextm :: in 0xffffffffffffffff, in1 0x0, out 0x1fffffffff, pos: 16, size: 37
 814 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1fffffffff, pos: 16, size: 37
 815 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0x1fffffffff, pos: 16, size: 37
 816 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1fffffffff, pos: 16, size: 37
 817 dextm :: in 0x98765432, in1 0x0, out 0x1fffff9876, pos: 16, size: 37
 818 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0x1fffff9876, pos: 16, size: 37
 819 dextm :: in 0x98765432, in1 0x98765432, out 0x1fffff9876, pos: 16, size: 37
 820 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0x1fffff9876, pos: 16, size: 37
 821 dextm :: in 0xffffffffff865421, in1 0x0, out 0x1fffffff86, pos: 16, size: 37
 822 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1fffffff86, pos: 16, size: 37
 823 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0x1fffffff86, pos: 16, size: 37
 824 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1fffffff86, pos: 16, size: 37
 825 dextm :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 48
 826 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 16, size: 48
 827 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 16, size: 48
 828 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 16, size: 48
 829 dextm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffff, pos: 16, size: 48
 830 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffff, pos: 16, size: 48
 831 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff, pos: 16, size: 48
 832 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff, pos: 16, size: 48
 833 dextm :: in 0x98765432, in1 0x0, out 0xffffffff9876, pos: 16, size: 48
 834 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff9876, pos: 16, size: 48
 835 dextm :: in 0x98765432, in1 0x98765432, out 0xffffffff9876, pos: 16, size: 48
 836 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff9876, pos: 16, size: 48
 837 dextm :: in 0xffffffffff865421, in1 0x0, out 0xffffffffff86, pos: 16, size: 48
 838 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff86, pos: 16, size: 48
 839 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff86, pos: 16, size: 48
 840 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff86, pos: 16, size: 48
 841 dextm :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 33
 842 dextm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 31, size: 33
 843 dextm :: in 0x0, in1 0x98765432, out 0x0, pos: 31, size: 33
 844 dextm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 31, size: 33
 845 dextm :: in 0xffffffffffffffff, in1 0x0, out 0x1ffffffff, pos: 31, size: 33
 846 dextm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1ffffffff, pos: 31, size: 33
 847 dextm :: in 0xffffffffffffffff, in1 0x98765432, out 0x1ffffffff, pos: 31, size: 33
 848 dextm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1ffffffff, pos: 31, size: 33
 849 dextm :: in 0x98765432, in1 0x0, out 0x1ffffffff, pos: 31, size: 33
 850 dextm :: in 0x98765432, in1 0xffffffffffffffff, out 0x1ffffffff, pos: 31, size: 33
 851 dextm :: in 0x98765432, in1 0x98765432, out 0x1ffffffff, pos: 31, size: 33
 852 dextm :: in 0x98765432, in1 0xffffffffff865421, out 0x1ffffffff, pos: 31, size: 33
 853 dextm :: in 0xffffffffff865421, in1 0x0, out 0x1ffffffff, pos: 31, size: 33
 854 dextm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1ffffffff, pos: 31, size: 33
 855 dextm :: in 0xffffffffff865421, in1 0x98765432, out 0x1ffffffff, pos: 31, size: 33
 856 dextm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1ffffffff, pos: 31, size: 33
 857 dextm :: in 0x2002ffffffffffff, in1 0xfffffffff0000fff, out 0x7ffffffff, pos: 4, size: 35
 858 dextm :: in 0xffff0000ffffffff, in1 0xff0000ffffffffff, out 0xffffff, pos: 8, size: 33
 859 dextm :: in 0x2000ffffffffffff, in1 0xffff0000ffffffff, out 0xffffffff, pos: 16, size: 34
 860 dextm :: in 0x2000ffffffddddff, in1 0xffffffffffff0008, out 0xffffffddddf, pos: 4, size: 46
 861 dextm :: in 0x2000ffffffffeeee, in1 0xfffffff31415927f, out 0x1ffffffffddd, pos: 3, size: 56
 862 dextm :: in 0x31415927ffffffff, in1 0x2000ffffffffffff, out 0x31415927ffffffff, pos: 0, size: 64
 863 dextm :: in 0x2000ffffffffaaaa, in1 0x2000ffffffff2222, out 0xffffffff, pos: 16, size: 40
 864 dextm :: in 0x2000ffffffbbbbff, in1 0x7fffffffddddffff, out 0xffffffbb, pos: 16, size: 42
 865 dextm :: in 0xeeeeff33ff22ffff, in1 0x2000ffffffffffff, out 0x5fe67fe45ff, pos: 7, size: 43
 866 dextm :: in 0x2000ffffffffffff, in1 0x2000ffffffffbbbb, out 0x7ffffffffff, pos: 5, size: 48
 867 dextm :: in 0x2000ffffffffbbbb, in1 0x2000ffffffffffff, out 0x1ffffffff777, pos: 3, size: 52
 868 dextm :: in 0x2000ffffffffffff, in1 0xeeeeff33ff22ffff, out 0x7fffffffffff, pos: 1, size: 54
 869 dextm :: in 0x7fffffffddddffff, in1 0x2000ffffffbbbbff, out 0x3ffffff7777fff, pos: 2, size: 54
 870 dextm :: in 0x2000ffffffff2222, in1 0x2000ffffffffaaaa, out 0x3fffffffc888, pos: 2, size: 48
 871 dextm :: in 0x2000ffffffffffff, in1 0x31415927ffffffff, out 0x7ffffffffff, pos: 5, size: 53
 872 dextm :: in 0xfffffff31415927f, in1 0x2000ffffffffeeee, out 0xffffffcc505649f, pos: 2, size: 60
 873 dextm :: in 0xffffffffffff0008, in1 0x2000ffffffddddff, out 0x1fffffffffffe001, pos: 3, size: 61
 874 dextm :: in 0xffff0000ffffffff, in1 0x2000ffffffffffff, out 0x3fff80007fffffff, pos: 1, size: 62
 875 dextm :: in 0xff0000ffffffffff, in1 0x0, out 0xffffffff, pos: 8, size: 38
 876 dextm :: in 0xfffffffff0000fff, in1 0x0, out 0x7ffffff000, pos: 16, size: 39
 877 --- DEXTU ---
 878 dextu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 1
 879 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 32, size: 1
 880 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 32, size: 1
 881 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 32, size: 1
 882 dextu :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 32, size: 1
 883 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 32, size: 1
 884 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 32, size: 1
 885 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 32, size: 1
 886 dextu :: in 0x98765432, in1 0x0, out 0x1, pos: 32, size: 1
 887 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 32, size: 1
 888 dextu :: in 0x98765432, in1 0x98765432, out 0x1, pos: 32, size: 1
 889 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 32, size: 1
 890 dextu :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 32, size: 1
 891 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 32, size: 1
 892 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 32, size: 1
 893 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 32, size: 1
 894 dextu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 4
 895 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 32, size: 4
 896 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 32, size: 4
 897 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 32, size: 4
 898 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 32, size: 4
 899 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 32, size: 4
 900 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 32, size: 4
 901 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 32, size: 4
 902 dextu :: in 0x98765432, in1 0x0, out 0xf, pos: 32, size: 4
 903 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xf, pos: 32, size: 4
 904 dextu :: in 0x98765432, in1 0x98765432, out 0xf, pos: 32, size: 4
 905 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xf, pos: 32, size: 4
 906 dextu :: in 0xffffffffff865421, in1 0x0, out 0xf, pos: 32, size: 4
 907 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xf, pos: 32, size: 4
 908 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xf, pos: 32, size: 4
 909 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xf, pos: 32, size: 4
 910 dextu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 16
 911 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 32, size: 16
 912 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 32, size: 16
 913 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 32, size: 16
 914 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 32, size: 16
 915 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 32, size: 16
 916 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 32, size: 16
 917 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 32, size: 16
 918 dextu :: in 0x98765432, in1 0x0, out 0xffff, pos: 32, size: 16
 919 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff, pos: 32, size: 16
 920 dextu :: in 0x98765432, in1 0x98765432, out 0xffff, pos: 32, size: 16
 921 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xffff, pos: 32, size: 16
 922 dextu :: in 0xffffffffff865421, in1 0x0, out 0xffff, pos: 32, size: 16
 923 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffff, pos: 32, size: 16
 924 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xffff, pos: 32, size: 16
 925 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffff, pos: 32, size: 16
 926 dextu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 32
 927 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 32, size: 32
 928 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 32, size: 32
 929 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 32, size: 32
 930 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff, pos: 32, size: 32
 931 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffff, pos: 32, size: 32
 932 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff, pos: 32, size: 32
 933 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffff, pos: 32, size: 32
 934 dextu :: in 0x98765432, in1 0x0, out 0xffffffff, pos: 32, size: 32
 935 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff, pos: 32, size: 32
 936 dextu :: in 0x98765432, in1 0x98765432, out 0xffffffff, pos: 32, size: 32
 937 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff, pos: 32, size: 32
 938 dextu :: in 0xffffffffff865421, in1 0x0, out 0xffffffff, pos: 32, size: 32
 939 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffff, pos: 32, size: 32
 940 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff, pos: 32, size: 32
 941 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffff, pos: 32, size: 32
 942 dextu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 1
 943 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 36, size: 1
 944 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 36, size: 1
 945 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 36, size: 1
 946 dextu :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 36, size: 1
 947 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 36, size: 1
 948 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 36, size: 1
 949 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 36, size: 1
 950 dextu :: in 0x98765432, in1 0x0, out 0x1, pos: 36, size: 1
 951 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 36, size: 1
 952 dextu :: in 0x98765432, in1 0x98765432, out 0x1, pos: 36, size: 1
 953 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 36, size: 1
 954 dextu :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 36, size: 1
 955 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 36, size: 1
 956 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 36, size: 1
 957 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 36, size: 1
 958 dextu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 4
 959 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 36, size: 4
 960 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 36, size: 4
 961 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 36, size: 4
 962 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 36, size: 4
 963 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 36, size: 4
 964 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 36, size: 4
 965 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 36, size: 4
 966 dextu :: in 0x98765432, in1 0x0, out 0xf, pos: 36, size: 4
 967 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xf, pos: 36, size: 4
 968 dextu :: in 0x98765432, in1 0x98765432, out 0xf, pos: 36, size: 4
 969 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xf, pos: 36, size: 4
 970 dextu :: in 0xffffffffff865421, in1 0x0, out 0xf, pos: 36, size: 4
 971 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xf, pos: 36, size: 4
 972 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xf, pos: 36, size: 4
 973 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xf, pos: 36, size: 4
 974 dextu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 16
 975 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 36, size: 16
 976 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 36, size: 16
 977 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 36, size: 16
 978 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 36, size: 16
 979 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 36, size: 16
 980 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 36, size: 16
 981 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 36, size: 16
 982 dextu :: in 0x98765432, in1 0x0, out 0xffff, pos: 36, size: 16
 983 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff, pos: 36, size: 16
 984 dextu :: in 0x98765432, in1 0x98765432, out 0xffff, pos: 36, size: 16
 985 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xffff, pos: 36, size: 16
 986 dextu :: in 0xffffffffff865421, in1 0x0, out 0xffff, pos: 36, size: 16
 987 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffff, pos: 36, size: 16
 988 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xffff, pos: 36, size: 16
 989 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffff, pos: 36, size: 16
 990 dextu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 28
 991 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 36, size: 28
 992 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 36, size: 28
 993 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 36, size: 28
 994 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xfffffff, pos: 36, size: 28
 995 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xfffffff, pos: 36, size: 28
 996 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffff, pos: 36, size: 28
 997 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffff, pos: 36, size: 28
 998 dextu :: in 0x98765432, in1 0x0, out 0xfffffff, pos: 36, size: 28
 999 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffff, pos: 36, size: 28
1000 dextu :: in 0x98765432, in1 0x98765432, out 0xfffffff, pos: 36, size: 28
1001 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffff, pos: 36, size: 28
1002 dextu :: in 0xffffffffff865421, in1 0x0, out 0xfffffff, pos: 36, size: 28
1003 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffff, pos: 36, size: 28
1004 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffff, pos: 36, size: 28
1005 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffff, pos: 36, size: 28
1006 dextu :: in 0x0, in1 0x0, out 0x0, pos: 48, size: 1
1007 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 48, size: 1
1008 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 48, size: 1
1009 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 48, size: 1
1010 dextu :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 48, size: 1
1011 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 48, size: 1
1012 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 48, size: 1
1013 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 48, size: 1
1014 dextu :: in 0x98765432, in1 0x0, out 0x1, pos: 48, size: 1
1015 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 48, size: 1
1016 dextu :: in 0x98765432, in1 0x98765432, out 0x1, pos: 48, size: 1
1017 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 48, size: 1
1018 dextu :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 48, size: 1
1019 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 48, size: 1
1020 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 48, size: 1
1021 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 48, size: 1
1022 dextu :: in 0x0, in1 0x0, out 0x0, pos: 48, size: 4
1023 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 48, size: 4
1024 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 48, size: 4
1025 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 48, size: 4
1026 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 48, size: 4
1027 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xf, pos: 48, size: 4
1028 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xf, pos: 48, size: 4
1029 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xf, pos: 48, size: 4
1030 dextu :: in 0x98765432, in1 0x0, out 0xf, pos: 48, size: 4
1031 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xf, pos: 48, size: 4
1032 dextu :: in 0x98765432, in1 0x98765432, out 0xf, pos: 48, size: 4
1033 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xf, pos: 48, size: 4
1034 dextu :: in 0xffffffffff865421, in1 0x0, out 0xf, pos: 48, size: 4
1035 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xf, pos: 48, size: 4
1036 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xf, pos: 48, size: 4
1037 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xf, pos: 48, size: 4
1038 dextu :: in 0x0, in1 0x0, out 0x0, pos: 48, size: 16
1039 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 48, size: 16
1040 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 48, size: 16
1041 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 48, size: 16
1042 dextu :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 48, size: 16
1043 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffff, pos: 48, size: 16
1044 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffff, pos: 48, size: 16
1045 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffff, pos: 48, size: 16
1046 dextu :: in 0x98765432, in1 0x0, out 0xffff, pos: 48, size: 16
1047 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff, pos: 48, size: 16
1048 dextu :: in 0x98765432, in1 0x98765432, out 0xffff, pos: 48, size: 16
1049 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0xffff, pos: 48, size: 16
1050 dextu :: in 0xffffffffff865421, in1 0x0, out 0xffff, pos: 48, size: 16
1051 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffff, pos: 48, size: 16
1052 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0xffff, pos: 48, size: 16
1053 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffff, pos: 48, size: 16
1054 dextu :: in 0x0, in1 0x0, out 0x0, pos: 63, size: 1
1055 dextu :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 63, size: 1
1056 dextu :: in 0x0, in1 0x98765432, out 0x0, pos: 63, size: 1
1057 dextu :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 63, size: 1
1058 dextu :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 63, size: 1
1059 dextu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0x1, pos: 63, size: 1
1060 dextu :: in 0xffffffffffffffff, in1 0x98765432, out 0x1, pos: 63, size: 1
1061 dextu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0x1, pos: 63, size: 1
1062 dextu :: in 0x98765432, in1 0x0, out 0x1, pos: 63, size: 1
1063 dextu :: in 0x98765432, in1 0xffffffffffffffff, out 0x1, pos: 63, size: 1
1064 dextu :: in 0x98765432, in1 0x98765432, out 0x1, pos: 63, size: 1
1065 dextu :: in 0x98765432, in1 0xffffffffff865421, out 0x1, pos: 63, size: 1
1066 dextu :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 63, size: 1
1067 dextu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x1, pos: 63, size: 1
1068 dextu :: in 0xffffffffff865421, in1 0x98765432, out 0x1, pos: 63, size: 1
1069 dextu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x1, pos: 63, size: 1
1070 dextu :: in 0x2002ffffffffffff, in1 0xfffffffff0000fff, out 0xf, pos: 33, size: 4
1071 dextu :: in 0xffff0000ffffffff, in1 0xff0000ffffffffff, out 0xf, pos: 60, size: 4
1072 dextu :: in 0x2000ffffffffffff, in1 0xffff0000ffffffff, out 0x0, pos: 54, size: 4
1073 dextu :: in 0x2000ffffffddddff, in1 0xffffffffffff0008, out 0x0, pos: 56, size: 2
1074 dextu :: in 0x2000ffffffffeeee, in1 0xfffffff31415927f, out 0xf, pos: 40, size: 4
1075 dextu :: in 0x31415927ffffffff, in1 0x2000ffffffffffff, out 0x0, pos: 51, size: 2
1076 dextu :: in 0x2000ffffffffaaaa, in1 0x2000ffffffff2222, out 0x0, pos: 48, size: 4
1077 dextu :: in 0x2000ffffffbbbbff, in1 0x7fffffffddddffff, out 0xf, pos: 38, size: 4
1078 dextu :: in 0xeeeeff33ff22ffff, in1 0x2000ffffffffffff, out 0x6, pos: 35, size: 4
1079 dextu :: in 0x2000ffffffffffff, in1 0x2000ffffffffbbbb, out 0xf, pos: 36, size: 4
1080 dextu :: in 0x2000ffffffffbbbb, in1 0x2000ffffffffffff, out 0x1, pos: 45, size: 1
1081 dextu :: in 0x2000ffffffffffff, in1 0xeeeeff33ff22ffff, out 0x3, pos: 46, size: 4
1082 dextu :: in 0x7fffffffddddffff, in1 0x2000ffffffbbbbff, out 0xf, pos: 52, size: 4
1083 dextu :: in 0x2000ffffffff2222, in1 0x2000ffffffffaaaa, out 0xff, pos: 40, size: 8
1084 dextu :: in 0x2000ffffffffffff, in1 0x31415927ffffffff, out 0xf, pos: 39, size: 4
1085 dextu :: in 0xfffffff31415927f, in1 0x2000ffffffffeeee, out 0xf, pos: 60, size: 4
1086 dextu :: in 0xffffffffffff0008, in1 0x2000ffffffddddff, out 0x1, pos: 63, size: 1
1087 dextu :: in 0xffff0000ffffffff, in1 0x2000ffffffffffff, out 0xf, pos: 50, size: 4
1088 dextu :: in 0xff0000ffffffffff, in1 0x0, out 0xf, pos: 36, size: 4
1089 dextu :: in 0xfffffffff0000fff, in1 0x0, out 0xf, pos: 46, size: 4
1090 --- DINS ---
1091 dins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 1
1092 dins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffffffffe, pos: 0, size: 1
1093 dins :: in 0x0, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 1
1094 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865420, pos: 0, size: 1
1095 dins :: in 0xffffffffffffffff, in1 0x0, out 0x1, pos: 0, size: 1
1096 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 1
1097 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765433, pos: 0, size: 1
1098 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 1
1099 dins :: in 0x98765432, in1 0x0, out 0x0, pos: 0, size: 1
1100 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffffffffe, pos: 0, size: 1
1101 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 1
1102 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865420, pos: 0, size: 1
1103 dins :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 1
1104 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 1
1105 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765433, pos: 0, size: 1
1106 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 1
1107 dins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 4
1108 dins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffffffff0, pos: 0, size: 4
1109 dins :: in 0x0, in1 0x98765432, out 0xffffffff98765430, pos: 0, size: 4
1110 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865420, pos: 0, size: 4
1111 dins :: in 0xffffffffffffffff, in1 0x0, out 0xf, pos: 0, size: 4
1112 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 4
1113 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff9876543f, pos: 0, size: 4
1114 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff86542f, pos: 0, size: 4
1115 dins :: in 0x98765432, in1 0x0, out 0x2, pos: 0, size: 4
1116 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffffffff2, pos: 0, size: 4
1117 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 4
1118 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865422, pos: 0, size: 4
1119 dins :: in 0xffffffffff865421, in1 0x0, out 0x1, pos: 0, size: 4
1120 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffffffffff1, pos: 0, size: 4
1121 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765431, pos: 0, size: 4
1122 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 4
1123 dins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 16
1124 dins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffffffff0000, pos: 0, size: 16
1125 dins :: in 0x0, in1 0x98765432, out 0xffffffff98760000, pos: 0, size: 16
1126 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff860000, pos: 0, size: 16
1127 dins :: in 0xffffffffffffffff, in1 0x0, out 0xffff, pos: 0, size: 16
1128 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 16
1129 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff9876ffff, pos: 0, size: 16
1130 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff86ffff, pos: 0, size: 16
1131 dins :: in 0x98765432, in1 0x0, out 0x5432, pos: 0, size: 16
1132 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffffffff5432, pos: 0, size: 16
1133 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 16
1134 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865432, pos: 0, size: 16
1135 dins :: in 0xffffffffff865421, in1 0x0, out 0x5421, pos: 0, size: 16
1136 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffff5421, pos: 0, size: 16
1137 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765421, pos: 0, size: 16
1138 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 16
1139 dins :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 32
1140 dins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffff00000000, pos: 0, size: 32
1141 dins :: in 0x0, in1 0x98765432, out 0xffffffff00000000, pos: 0, size: 32
1142 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffff00000000, pos: 0, size: 32
1143 dins :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff, pos: 0, size: 32
1144 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 32
1145 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 32
1146 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 32
1147 dins :: in 0x98765432, in1 0x0, out 0x98765432, pos: 0, size: 32
1148 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 32
1149 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 32
1150 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 32
1151 dins :: in 0xffffffffff865421, in1 0x0, out 0xff865421, pos: 0, size: 32
1152 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 32
1153 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 32
1154 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 32
1155 dins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 1
1156 dins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffffffffffef, pos: 4, size: 1
1157 dins :: in 0x0, in1 0x98765432, out 0xffffffff98765422, pos: 4, size: 1
1158 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 4, size: 1
1159 dins :: in 0xffffffffffffffff, in1 0x0, out 0x10, pos: 4, size: 1
1160 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 1
1161 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 4, size: 1
1162 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865431, pos: 4, size: 1
1163 dins :: in 0x98765432, in1 0x0, out 0x0, pos: 4, size: 1
1164 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffffffffffef, pos: 4, size: 1
1165 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765422, pos: 4, size: 1
1166 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 4, size: 1
1167 dins :: in 0xffffffffff865421, in1 0x0, out 0x10, pos: 4, size: 1
1168 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 1
1169 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 4, size: 1
1170 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865431, pos: 4, size: 1
1171 dins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 4
1172 dins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffffffffff0f, pos: 4, size: 4
1173 dins :: in 0x0, in1 0x98765432, out 0xffffffff98765402, pos: 4, size: 4
1174 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865401, pos: 4, size: 4
1175 dins :: in 0xffffffffffffffff, in1 0x0, out 0xf0, pos: 4, size: 4
1176 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 4
1177 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff987654f2, pos: 4, size: 4
1178 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff8654f1, pos: 4, size: 4
1179 dins :: in 0x98765432, in1 0x0, out 0x20, pos: 4, size: 4
1180 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffffffffff2f, pos: 4, size: 4
1181 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765422, pos: 4, size: 4
1182 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 4, size: 4
1183 dins :: in 0xffffffffff865421, in1 0x0, out 0x10, pos: 4, size: 4
1184 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffff1f, pos: 4, size: 4
1185 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765412, pos: 4, size: 4
1186 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865411, pos: 4, size: 4
1187 dins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 16
1188 dins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffff0000f, pos: 4, size: 16
1189 dins :: in 0x0, in1 0x98765432, out 0xffffffff98700002, pos: 4, size: 16
1190 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff800001, pos: 4, size: 16
1191 dins :: in 0xffffffffffffffff, in1 0x0, out 0xffff0, pos: 4, size: 16
1192 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 16
1193 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff987ffff2, pos: 4, size: 16
1194 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff8ffff1, pos: 4, size: 16
1195 dins :: in 0x98765432, in1 0x0, out 0x54320, pos: 4, size: 16
1196 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffff5432f, pos: 4, size: 16
1197 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98754322, pos: 4, size: 16
1198 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff854321, pos: 4, size: 16
1199 dins :: in 0xffffffffff865421, in1 0x0, out 0x54210, pos: 4, size: 16
1200 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffffff5421f, pos: 4, size: 16
1201 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98754212, pos: 4, size: 16
1202 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff854211, pos: 4, size: 16
1203 dins :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 28
1204 dins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffff0000000f, pos: 4, size: 28
1205 dins :: in 0x0, in1 0x98765432, out 0xffffffff00000002, pos: 4, size: 28
1206 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffff00000001, pos: 4, size: 28
1207 dins :: in 0xffffffffffffffff, in1 0x0, out 0xfffffff0, pos: 4, size: 28
1208 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 28
1209 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff2, pos: 4, size: 28
1210 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff1, pos: 4, size: 28
1211 dins :: in 0x98765432, in1 0x0, out 0x87654320, pos: 4, size: 28
1212 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff8765432f, pos: 4, size: 28
1213 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff87654322, pos: 4, size: 28
1214 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff87654321, pos: 4, size: 28
1215 dins :: in 0xffffffffff865421, in1 0x0, out 0xf8654210, pos: 4, size: 28
1216 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffff865421f, pos: 4, size: 28
1217 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffff8654212, pos: 4, size: 28
1218 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffff8654211, pos: 4, size: 28
1219 dins :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 1
1220 dins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffffeffff, pos: 16, size: 1
1221 dins :: in 0x0, in1 0x98765432, out 0xffffffff98765432, pos: 16, size: 1
1222 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 16, size: 1
1223 dins :: in 0xffffffffffffffff, in1 0x0, out 0x10000, pos: 16, size: 1
1224 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 1
1225 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98775432, pos: 16, size: 1
1226 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff875421, pos: 16, size: 1
1227 dins :: in 0x98765432, in1 0x0, out 0x0, pos: 16, size: 1
1228 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffffeffff, pos: 16, size: 1
1229 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 16, size: 1
1230 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 16, size: 1
1231 dins :: in 0xffffffffff865421, in1 0x0, out 0x10000, pos: 16, size: 1
1232 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 1
1233 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98775432, pos: 16, size: 1
1234 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff875421, pos: 16, size: 1
1235 dins :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 4
1236 dins :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffffff0ffff, pos: 16, size: 4
1237 dins :: in 0x0, in1 0x98765432, out 0xffffffff98705432, pos: 16, size: 4
1238 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffffff805421, pos: 16, size: 4
1239 dins :: in 0xffffffffffffffff, in1 0x0, out 0xf0000, pos: 16, size: 4
1240 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 4
1241 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff987f5432, pos: 16, size: 4
1242 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff8f5421, pos: 16, size: 4
1243 dins :: in 0x98765432, in1 0x0, out 0x20000, pos: 16, size: 4
1244 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffffff2ffff, pos: 16, size: 4
1245 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff98725432, pos: 16, size: 4
1246 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffffff825421, pos: 16, size: 4
1247 dins :: in 0xffffffffff865421, in1 0x0, out 0x10000, pos: 16, size: 4
1248 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffffff1ffff, pos: 16, size: 4
1249 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98715432, pos: 16, size: 4
1250 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff815421, pos: 16, size: 4
1251 dins :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 16
1252 dins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffff0000ffff, pos: 16, size: 16
1253 dins :: in 0x0, in1 0x98765432, out 0xffffffff00005432, pos: 16, size: 16
1254 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffff00005421, pos: 16, size: 16
1255 dins :: in 0xffffffffffffffff, in1 0x0, out 0xffff0000, pos: 16, size: 16
1256 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 16
1257 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff5432, pos: 16, size: 16
1258 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff5421, pos: 16, size: 16
1259 dins :: in 0x98765432, in1 0x0, out 0x54320000, pos: 16, size: 16
1260 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff5432ffff, pos: 16, size: 16
1261 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff54325432, pos: 16, size: 16
1262 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff54325421, pos: 16, size: 16
1263 dins :: in 0xffffffffff865421, in1 0x0, out 0x54210000, pos: 16, size: 16
1264 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffff5421ffff, pos: 16, size: 16
1265 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff54215432, pos: 16, size: 16
1266 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffff54215421, pos: 16, size: 16
1267 dins :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 1
1268 dins :: in 0x0, in1 0xffffffffffffffff, out 0xffffffff7fffffff, pos: 31, size: 1
1269 dins :: in 0x0, in1 0x98765432, out 0xffffffff18765432, pos: 31, size: 1
1270 dins :: in 0x0, in1 0xffffffffff865421, out 0xffffffff7f865421, pos: 31, size: 1
1271 dins :: in 0xffffffffffffffff, in1 0x0, out 0x80000000, pos: 31, size: 1
1272 dins :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 31, size: 1
1273 dins :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 31, size: 1
1274 dins :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 31, size: 1
1275 dins :: in 0x98765432, in1 0x0, out 0x0, pos: 31, size: 1
1276 dins :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff7fffffff, pos: 31, size: 1
1277 dins :: in 0x98765432, in1 0x98765432, out 0xffffffff18765432, pos: 31, size: 1
1278 dins :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff7f865421, pos: 31, size: 1
1279 dins :: in 0xffffffffff865421, in1 0x0, out 0x80000000, pos: 31, size: 1
1280 dins :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 31, size: 1
1281 dins :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 31, size: 1
1282 dins :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 31, size: 1
1283 dins :: in 0x2002ffffffffffff, in1 0xfffffffff0000fff, out 0xfffffffff0000fff, pos: 4, size: 4
1284 dins :: in 0xffff0000ffffffff, in1 0xff0000ffffffffff, out 0xff0000ffffffffff, pos: 8, size: 4
1285 dins :: in 0x2000ffffffffffff, in1 0xffff0000ffffffff, out 0xffff0000ffffffff, pos: 16, size: 4
1286 dins :: in 0x2000ffffffddddff, in1 0xffffffffffff0008, out 0xffffffffffff0008, pos: 24, size: 2
1287 dins :: in 0x2000ffffffffeeee, in1 0xfffffff31415927f, out 0xfffffff31e15927f, pos: 24, size: 4
1288 dins :: in 0x31415927ffffffff, in1 0x2000ffffffffffff, out 0x2000ffffffffffff, pos: 9, size: 2
1289 dins :: in 0x2000ffffffffaaaa, in1 0x2000ffffffff2222, out 0x2000fffffffa2222, pos: 16, size: 4
1290 dins :: in 0x2000ffffffbbbbff, in1 0x7fffffffddddffff, out 0x7fffffffdddfffff, pos: 16, size: 4
1291 dins :: in 0xeeeeff33ff22ffff, in1 0x2000ffffffffffff, out 0x2000ffffffffffff, pos: 7, size: 4
1292 dins :: in 0x2000ffffffffffff, in1 0x2000ffffffffbbbb, out 0x2000ffffffffbbfb, pos: 5, size: 4
1293 dins :: in 0x2000ffffffffbbbb, in1 0x2000ffffffffffff, out 0x2000ffffffffffdf, pos: 3, size: 4
1294 dins :: in 0x2000ffffffffffff, in1 0xeeeeff33ff22ffff, out 0xeeeeff33ff2fffff, pos: 16, size: 4
1295 dins :: in 0x7fffffffddddffff, in1 0x2000ffffffbbbbff, out 0x2000ffffffbbbbff, pos: 16, size: 2
1296 dins :: in 0x2000ffffffff2222, in1 0x2000ffffffffaaaa, out 0x2000ffffffffa88a, pos: 2, size: 8
1297 dins :: in 0x2000ffffffffffff, in1 0x2000ffffffffeeee, out 0x2000ffffffffffff, pos: 0, size: 32
1298 dins :: in 0xfffffff31415927f, in1 0x2000ffffffddddff, out 0x2000ffff927fddff, pos: 16, size: 16
1299 dins :: in 0xffffffffffff0008, in1 0x2000ffffffddddff, out 0x2000ffffffdddcff, pos: 8, size: 2
1300 dins :: in 0xffff0000ffffffff, in1 0x2000ffffffffffff, out 0x2000ffffffffffff, pos: 16, size: 4
1301 dins :: in 0xff0000ffffffffff, in1 0xffff0000ffffffff, out 0xffff0000ffffffff, pos: 8, size: 4
1302 dins :: in 0xfffffffff0000fff, in1 0x0, out 0x70000fff, pos: 0, size: 31
1303 --- DINSM ---
1304 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 33
1305 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffe00000000, pos: 0, size: 33
1306 dinsm :: in 0x0, in1 0x98765432, out 0xfffffffe00000000, pos: 0, size: 33
1307 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xfffffffe00000000, pos: 0, size: 33
1308 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x1ffffffff, pos: 0, size: 33
1309 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 33
1310 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 33
1311 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 33
1312 dinsm :: in 0x98765432, in1 0x0, out 0x198765432, pos: 0, size: 33
1313 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 33
1314 dinsm :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 33
1315 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 33
1316 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x1ff865421, pos: 0, size: 33
1317 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 33
1318 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 33
1319 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 33
1320 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 37
1321 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xffffffe000000000, pos: 0, size: 37
1322 dinsm :: in 0x0, in1 0x98765432, out 0xffffffe000000000, pos: 0, size: 37
1323 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xffffffe000000000, pos: 0, size: 37
1324 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x1fffffffff, pos: 0, size: 37
1325 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 37
1326 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 37
1327 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 37
1328 dinsm :: in 0x98765432, in1 0x0, out 0x1f98765432, pos: 0, size: 37
1329 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 37
1330 dinsm :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 37
1331 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 37
1332 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x1fff865421, pos: 0, size: 37
1333 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 37
1334 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 37
1335 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 37
1336 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 48
1337 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xffff000000000000, pos: 0, size: 48
1338 dinsm :: in 0x0, in1 0x98765432, out 0xffff000000000000, pos: 0, size: 48
1339 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xffff000000000000, pos: 0, size: 48
1340 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffff, pos: 0, size: 48
1341 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 48
1342 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 48
1343 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 48
1344 dinsm :: in 0x98765432, in1 0x0, out 0xffff98765432, pos: 0, size: 48
1345 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 48
1346 dinsm :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 48
1347 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 48
1348 dinsm :: in 0xffffffffff865421, in1 0x0, out 0xffffff865421, pos: 0, size: 48
1349 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 48
1350 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 48
1351 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 48
1352 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 0, size: 64
1353 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0x0, pos: 0, size: 64
1354 dinsm :: in 0x0, in1 0x98765432, out 0x0, pos: 0, size: 64
1355 dinsm :: in 0x0, in1 0xffffffffff865421, out 0x0, pos: 0, size: 64
1356 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffffffff, pos: 0, size: 64
1357 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 0, size: 64
1358 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffffffff, pos: 0, size: 64
1359 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffffffff, pos: 0, size: 64
1360 dinsm :: in 0x98765432, in1 0x0, out 0xffffffff98765432, pos: 0, size: 64
1361 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff98765432, pos: 0, size: 64
1362 dinsm :: in 0x98765432, in1 0x98765432, out 0xffffffff98765432, pos: 0, size: 64
1363 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff98765432, pos: 0, size: 64
1364 dinsm :: in 0xffffffffff865421, in1 0x0, out 0xffffffffff865421, pos: 0, size: 64
1365 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffff865421, pos: 0, size: 64
1366 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffffff865421, pos: 0, size: 64
1367 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 0, size: 64
1368 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 29
1369 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffe0000000f, pos: 4, size: 29
1370 dinsm :: in 0x0, in1 0x98765432, out 0xfffffffe00000002, pos: 4, size: 29
1371 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xfffffffe00000001, pos: 4, size: 29
1372 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x1fffffff0, pos: 4, size: 29
1373 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 29
1374 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff2, pos: 4, size: 29
1375 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff1, pos: 4, size: 29
1376 dinsm :: in 0x98765432, in1 0x0, out 0x187654320, pos: 4, size: 29
1377 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff8765432f, pos: 4, size: 29
1378 dinsm :: in 0x98765432, in1 0x98765432, out 0xffffffff87654322, pos: 4, size: 29
1379 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff87654321, pos: 4, size: 29
1380 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x1f8654210, pos: 4, size: 29
1381 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffff865421f, pos: 4, size: 29
1382 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffff8654212, pos: 4, size: 29
1383 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffff8654211, pos: 4, size: 29
1384 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 32
1385 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xfffffff00000000f, pos: 4, size: 32
1386 dinsm :: in 0x0, in1 0x98765432, out 0xfffffff000000002, pos: 4, size: 32
1387 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xfffffff000000001, pos: 4, size: 32
1388 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff0, pos: 4, size: 32
1389 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 32
1390 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff2, pos: 4, size: 32
1391 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff1, pos: 4, size: 32
1392 dinsm :: in 0x98765432, in1 0x0, out 0x987654320, pos: 4, size: 32
1393 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffff98765432f, pos: 4, size: 32
1394 dinsm :: in 0x98765432, in1 0x98765432, out 0xfffffff987654322, pos: 4, size: 32
1395 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffff987654321, pos: 4, size: 32
1396 dinsm :: in 0xffffffffff865421, in1 0x0, out 0xff8654210, pos: 4, size: 32
1397 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffff865421f, pos: 4, size: 32
1398 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffff8654212, pos: 4, size: 32
1399 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffff8654211, pos: 4, size: 32
1400 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 37
1401 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xfffffe000000000f, pos: 4, size: 37
1402 dinsm :: in 0x0, in1 0x98765432, out 0xfffffe0000000002, pos: 4, size: 37
1403 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xfffffe0000000001, pos: 4, size: 37
1404 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x1fffffffff0, pos: 4, size: 37
1405 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 37
1406 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff2, pos: 4, size: 37
1407 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff1, pos: 4, size: 37
1408 dinsm :: in 0x98765432, in1 0x0, out 0x1f987654320, pos: 4, size: 37
1409 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffff98765432f, pos: 4, size: 37
1410 dinsm :: in 0x98765432, in1 0x98765432, out 0xfffffff987654322, pos: 4, size: 37
1411 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffff987654321, pos: 4, size: 37
1412 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x1fff8654210, pos: 4, size: 37
1413 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffff865421f, pos: 4, size: 37
1414 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffff8654212, pos: 4, size: 37
1415 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffff8654211, pos: 4, size: 37
1416 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 48
1417 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xfff000000000000f, pos: 4, size: 48
1418 dinsm :: in 0x0, in1 0x98765432, out 0xfff0000000000002, pos: 4, size: 48
1419 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xfff0000000000001, pos: 4, size: 48
1420 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffff0, pos: 4, size: 48
1421 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 48
1422 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff2, pos: 4, size: 48
1423 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff1, pos: 4, size: 48
1424 dinsm :: in 0x98765432, in1 0x0, out 0xffff987654320, pos: 4, size: 48
1425 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffff98765432f, pos: 4, size: 48
1426 dinsm :: in 0x98765432, in1 0x98765432, out 0xfffffff987654322, pos: 4, size: 48
1427 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffff987654321, pos: 4, size: 48
1428 dinsm :: in 0xffffffffff865421, in1 0x0, out 0xffffff8654210, pos: 4, size: 48
1429 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffff865421f, pos: 4, size: 48
1430 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffff8654212, pos: 4, size: 48
1431 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffff8654211, pos: 4, size: 48
1432 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 4, size: 60
1433 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xf, pos: 4, size: 60
1434 dinsm :: in 0x0, in1 0x98765432, out 0x2, pos: 4, size: 60
1435 dinsm :: in 0x0, in1 0xffffffffff865421, out 0x1, pos: 4, size: 60
1436 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0xfffffffffffffff0, pos: 4, size: 60
1437 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 4, size: 60
1438 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xfffffffffffffff2, pos: 4, size: 60
1439 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xfffffffffffffff1, pos: 4, size: 60
1440 dinsm :: in 0x98765432, in1 0x0, out 0xfffffff987654320, pos: 4, size: 60
1441 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffff98765432f, pos: 4, size: 60
1442 dinsm :: in 0x98765432, in1 0x98765432, out 0xfffffff987654322, pos: 4, size: 60
1443 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffff987654321, pos: 4, size: 60
1444 dinsm :: in 0xffffffffff865421, in1 0x0, out 0xfffffffff8654210, pos: 4, size: 60
1445 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffff865421f, pos: 4, size: 60
1446 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffff8654212, pos: 4, size: 60
1447 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffff8654211, pos: 4, size: 60
1448 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 17
1449 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffe0000ffff, pos: 16, size: 17
1450 dinsm :: in 0x0, in1 0x98765432, out 0xfffffffe00005432, pos: 16, size: 17
1451 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xfffffffe00005421, pos: 16, size: 17
1452 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x1ffff0000, pos: 16, size: 17
1453 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 17
1454 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff5432, pos: 16, size: 17
1455 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff5421, pos: 16, size: 17
1456 dinsm :: in 0x98765432, in1 0x0, out 0x54320000, pos: 16, size: 17
1457 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffe5432ffff, pos: 16, size: 17
1458 dinsm :: in 0x98765432, in1 0x98765432, out 0xfffffffe54325432, pos: 16, size: 17
1459 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffffe54325421, pos: 16, size: 17
1460 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x54210000, pos: 16, size: 17
1461 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffe5421ffff, pos: 16, size: 17
1462 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffe54215432, pos: 16, size: 17
1463 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffe54215421, pos: 16, size: 17
1464 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 32
1465 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xffff00000000ffff, pos: 16, size: 32
1466 dinsm :: in 0x0, in1 0x98765432, out 0xffff000000005432, pos: 16, size: 32
1467 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xffff000000005421, pos: 16, size: 32
1468 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff0000, pos: 16, size: 32
1469 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 32
1470 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff5432, pos: 16, size: 32
1471 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff5421, pos: 16, size: 32
1472 dinsm :: in 0x98765432, in1 0x0, out 0x987654320000, pos: 16, size: 32
1473 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff98765432ffff, pos: 16, size: 32
1474 dinsm :: in 0x98765432, in1 0x98765432, out 0xffff987654325432, pos: 16, size: 32
1475 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffff987654325421, pos: 16, size: 32
1476 dinsm :: in 0xffffffffff865421, in1 0x0, out 0xff8654210000, pos: 16, size: 32
1477 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffff865421ffff, pos: 16, size: 32
1478 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffff8654215432, pos: 16, size: 32
1479 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffff8654215421, pos: 16, size: 32
1480 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 37
1481 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xffe000000000ffff, pos: 16, size: 37
1482 dinsm :: in 0x0, in1 0x98765432, out 0xffe0000000005432, pos: 16, size: 37
1483 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xffe0000000005421, pos: 16, size: 37
1484 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x1fffffffff0000, pos: 16, size: 37
1485 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 37
1486 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff5432, pos: 16, size: 37
1487 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff5421, pos: 16, size: 37
1488 dinsm :: in 0x98765432, in1 0x0, out 0x1f987654320000, pos: 16, size: 37
1489 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff98765432ffff, pos: 16, size: 37
1490 dinsm :: in 0x98765432, in1 0x98765432, out 0xffff987654325432, pos: 16, size: 37
1491 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffff987654325421, pos: 16, size: 37
1492 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x1fff8654210000, pos: 16, size: 37
1493 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffff865421ffff, pos: 16, size: 37
1494 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffff8654215432, pos: 16, size: 37
1495 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffff8654215421, pos: 16, size: 37
1496 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 16, size: 48
1497 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xffff, pos: 16, size: 48
1498 dinsm :: in 0x0, in1 0x98765432, out 0x5432, pos: 16, size: 48
1499 dinsm :: in 0x0, in1 0xffffffffff865421, out 0x5421, pos: 16, size: 48
1500 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0xffffffffffff0000, pos: 16, size: 48
1501 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 16, size: 48
1502 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffffffff5432, pos: 16, size: 48
1503 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffffff5421, pos: 16, size: 48
1504 dinsm :: in 0x98765432, in1 0x0, out 0xffff987654320000, pos: 16, size: 48
1505 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff98765432ffff, pos: 16, size: 48
1506 dinsm :: in 0x98765432, in1 0x98765432, out 0xffff987654325432, pos: 16, size: 48
1507 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffff987654325421, pos: 16, size: 48
1508 dinsm :: in 0xffffffffff865421, in1 0x0, out 0xffffff8654210000, pos: 16, size: 48
1509 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffff865421ffff, pos: 16, size: 48
1510 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffff8654215432, pos: 16, size: 48
1511 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffff8654215421, pos: 16, size: 48
1512 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 2
1513 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffe7fffffff, pos: 31, size: 2
1514 dinsm :: in 0x0, in1 0x98765432, out 0xfffffffe18765432, pos: 31, size: 2
1515 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xfffffffe7f865421, pos: 31, size: 2
1516 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x180000000, pos: 31, size: 2
1517 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 31, size: 2
1518 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 31, size: 2
1519 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 31, size: 2
1520 dinsm :: in 0x98765432, in1 0x0, out 0x100000000, pos: 31, size: 2
1521 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffff7fffffff, pos: 31, size: 2
1522 dinsm :: in 0x98765432, in1 0x98765432, out 0xffffffff18765432, pos: 31, size: 2
1523 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffff7f865421, pos: 31, size: 2
1524 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x80000000, pos: 31, size: 2
1525 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffffeffffffff, pos: 31, size: 2
1526 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffffe98765432, pos: 31, size: 2
1527 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffffeff865421, pos: 31, size: 2
1528 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 16
1529 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0xffff80007fffffff, pos: 31, size: 16
1530 dinsm :: in 0x0, in1 0x98765432, out 0xffff800018765432, pos: 31, size: 16
1531 dinsm :: in 0x0, in1 0xffffffffff865421, out 0xffff80007f865421, pos: 31, size: 16
1532 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x7fff80000000, pos: 31, size: 16
1533 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 31, size: 16
1534 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 31, size: 16
1535 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 31, size: 16
1536 dinsm :: in 0x98765432, in1 0x0, out 0x2a1900000000, pos: 31, size: 16
1537 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffaa197fffffff, pos: 31, size: 16
1538 dinsm :: in 0x98765432, in1 0x98765432, out 0xffffaa1918765432, pos: 31, size: 16
1539 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xffffaa197f865421, pos: 31, size: 16
1540 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x2a1080000000, pos: 31, size: 16
1541 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffaa10ffffffff, pos: 31, size: 16
1542 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffffaa1098765432, pos: 31, size: 16
1543 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffaa10ff865421, pos: 31, size: 16
1544 dinsm :: in 0x0, in1 0x0, out 0x0, pos: 31, size: 32
1545 dinsm :: in 0x0, in1 0xffffffffffffffff, out 0x800000007fffffff, pos: 31, size: 32
1546 dinsm :: in 0x0, in1 0x98765432, out 0x8000000018765432, pos: 31, size: 32
1547 dinsm :: in 0x0, in1 0xffffffffff865421, out 0x800000007f865421, pos: 31, size: 32
1548 dinsm :: in 0xffffffffffffffff, in1 0x0, out 0x7fffffff80000000, pos: 31, size: 32
1549 dinsm :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 31, size: 32
1550 dinsm :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 31, size: 32
1551 dinsm :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 31, size: 32
1552 dinsm :: in 0x98765432, in1 0x0, out 0x4c3b2a1900000000, pos: 31, size: 32
1553 dinsm :: in 0x98765432, in1 0xffffffffffffffff, out 0xcc3b2a197fffffff, pos: 31, size: 32
1554 dinsm :: in 0x98765432, in1 0x98765432, out 0xcc3b2a1918765432, pos: 31, size: 32
1555 dinsm :: in 0x98765432, in1 0xffffffffff865421, out 0xcc3b2a197f865421, pos: 31, size: 32
1556 dinsm :: in 0xffffffffff865421, in1 0x0, out 0x7fc32a1080000000, pos: 31, size: 32
1557 dinsm :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffc32a10ffffffff, pos: 31, size: 32
1558 dinsm :: in 0xffffffffff865421, in1 0x98765432, out 0xffc32a1098765432, pos: 31, size: 32
1559 dinsm :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffc32a10ff865421, pos: 31, size: 32
1560 dinsm :: in 0x2002ffffffffffff, in1 0xfffffffff0000fff, out 0xffffffffffffffff, pos: 4, size: 35
1561 dinsm :: in 0xffff0000ffffffff, in1 0xff0000ffffffffff, out 0xff0000ffffffffff, pos: 8, size: 33
1562 dinsm :: in 0x2000ffffffffffff, in1 0xffff0000ffffffff, out 0xffffffffffffffff, pos: 16, size: 34
1563 dinsm :: in 0x2000ffffffddddff, in1 0xffffffffffff0008, out 0xfffffffffddddff8, pos: 4, size: 46
1564 dinsm :: in 0x2000ffffffffeeee, in1 0xfffffff31415927f, out 0xf807ffffffff7777, pos: 3, size: 56
1565 dinsm :: in 0x31415927ffffffff, in1 0x2000ffffffffffff, out 0x31415927ffffffff, pos: 0, size: 64
1566 dinsm :: in 0x2000ffffffffaaaa, in1 0x2000ffffffff2222, out 0x20ffffffaaaa2222, pos: 16, size: 40
1567 dinsm :: in 0x2000ffffffbbbbff, in1 0x7fffffffddddffff, out 0x7fffffbbbbffffff, pos: 16, size: 42
1568 dinsm :: in 0xeeeeff33ff22ffff, in1 0x2000ffffffffffff, out 0x200399ff917fffff, pos: 7, size: 43
1569 dinsm :: in 0x2000ffffffffffff, in1 0x2000ffffffffbbbb, out 0x201ffffffffffffb, pos: 5, size: 48
1570 dinsm :: in 0x2000ffffffffbbbb, in1 0x2000ffffffffffff, out 0x2007fffffffddddf, pos: 3, size: 52
1571 dinsm :: in 0x2000ffffffffffff, in1 0xeeeeff33ff22ffff, out 0xee81ffffffffffff, pos: 1, size: 54
1572 dinsm :: in 0x7fffffffddddffff, in1 0x2000ffffffbbbbff, out 0x20ffffff7777ffff, pos: 2, size: 54
1573 dinsm :: in 0x2000ffffffff2222, in1 0x2000ffffffffaaaa, out 0x2003fffffffc888a, pos: 2, size: 48
1574 dinsm :: in 0x2000ffffffffffff, in1 0x31415927ffffffff, out 0x301fffffffffffff, pos: 5, size: 53
1575 dinsm :: in 0xfffffff31415927f, in1 0x2000ffffffffeeee, out 0x3fffffcc505649fe, pos: 2, size: 60
1576 dinsm :: in 0xffffffffffff0008, in1 0x2000ffffffddddff, out 0xfffffffffff80047, pos: 3, size: 61
1577 dinsm :: in 0xffff0000ffffffff, in1 0x2000ffffffffffff, out 0x7ffe0001ffffffff, pos: 1, size: 62
1578 dinsm :: in 0xff0000ffffffffff, in1 0x0, out 0x3fffffffff00, pos: 8, size: 38
1579 dinsm :: in 0xfffffffff0000fff, in1 0x0, out 0x7ff0000fff0000, pos: 16, size: 39
1580 --- DINSU ---
1581 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 1
1582 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffeffffffff, pos: 32, size: 1
1583 dinsu :: in 0x0, in1 0x98765432, out 0xfffffffe98765432, pos: 32, size: 1
1584 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xfffffffeff865421, pos: 32, size: 1
1585 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0x100000000, pos: 32, size: 1
1586 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 32, size: 1
1587 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 32, size: 1
1588 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 32, size: 1
1589 dinsu :: in 0x98765432, in1 0x0, out 0x0, pos: 32, size: 1
1590 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffffeffffffff, pos: 32, size: 1
1591 dinsu :: in 0x98765432, in1 0x98765432, out 0xfffffffe98765432, pos: 32, size: 1
1592 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffffeff865421, pos: 32, size: 1
1593 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x100000000, pos: 32, size: 1
1594 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 32, size: 1
1595 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 32, size: 1
1596 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 32, size: 1
1597 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 4
1598 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xfffffff0ffffffff, pos: 32, size: 4
1599 dinsu :: in 0x0, in1 0x98765432, out 0xfffffff098765432, pos: 32, size: 4
1600 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xfffffff0ff865421, pos: 32, size: 4
1601 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xf00000000, pos: 32, size: 4
1602 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 32, size: 4
1603 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 32, size: 4
1604 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 32, size: 4
1605 dinsu :: in 0x98765432, in1 0x0, out 0x200000000, pos: 32, size: 4
1606 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffffff2ffffffff, pos: 32, size: 4
1607 dinsu :: in 0x98765432, in1 0x98765432, out 0xfffffff298765432, pos: 32, size: 4
1608 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xfffffff2ff865421, pos: 32, size: 4
1609 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x100000000, pos: 32, size: 4
1610 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfffffff1ffffffff, pos: 32, size: 4
1611 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xfffffff198765432, pos: 32, size: 4
1612 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfffffff1ff865421, pos: 32, size: 4
1613 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 16
1614 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xffff0000ffffffff, pos: 32, size: 16
1615 dinsu :: in 0x0, in1 0x98765432, out 0xffff000098765432, pos: 32, size: 16
1616 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xffff0000ff865421, pos: 32, size: 16
1617 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xffff00000000, pos: 32, size: 16
1618 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 32, size: 16
1619 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 32, size: 16
1620 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 32, size: 16
1621 dinsu :: in 0x98765432, in1 0x0, out 0x543200000000, pos: 32, size: 16
1622 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xffff5432ffffffff, pos: 32, size: 16
1623 dinsu :: in 0x98765432, in1 0x98765432, out 0xffff543298765432, pos: 32, size: 16
1624 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xffff5432ff865421, pos: 32, size: 16
1625 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x542100000000, pos: 32, size: 16
1626 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffff5421ffffffff, pos: 32, size: 16
1627 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xffff542198765432, pos: 32, size: 16
1628 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffff5421ff865421, pos: 32, size: 16
1629 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 32, size: 32
1630 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xffffffff, pos: 32, size: 32
1631 dinsu :: in 0x0, in1 0x98765432, out 0x98765432, pos: 32, size: 32
1632 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xff865421, pos: 32, size: 32
1633 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xffffffff00000000, pos: 32, size: 32
1634 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 32, size: 32
1635 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 32, size: 32
1636 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 32, size: 32
1637 dinsu :: in 0x98765432, in1 0x0, out 0x9876543200000000, pos: 32, size: 32
1638 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0x98765432ffffffff, pos: 32, size: 32
1639 dinsu :: in 0x98765432, in1 0x98765432, out 0x9876543298765432, pos: 32, size: 32
1640 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0x98765432ff865421, pos: 32, size: 32
1641 dinsu :: in 0xffffffffff865421, in1 0x0, out 0xff86542100000000, pos: 32, size: 32
1642 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xff865421ffffffff, pos: 32, size: 32
1643 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xff86542198765432, pos: 32, size: 32
1644 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xff865421ff865421, pos: 32, size: 32
1645 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 1
1646 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xffffffefffffffff, pos: 36, size: 1
1647 dinsu :: in 0x0, in1 0x98765432, out 0xffffffef98765432, pos: 36, size: 1
1648 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xffffffefff865421, pos: 36, size: 1
1649 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0x1000000000, pos: 36, size: 1
1650 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 36, size: 1
1651 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 36, size: 1
1652 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 36, size: 1
1653 dinsu :: in 0x98765432, in1 0x0, out 0x0, pos: 36, size: 1
1654 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffffefffffffff, pos: 36, size: 1
1655 dinsu :: in 0x98765432, in1 0x98765432, out 0xffffffef98765432, pos: 36, size: 1
1656 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xffffffefff865421, pos: 36, size: 1
1657 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x1000000000, pos: 36, size: 1
1658 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 36, size: 1
1659 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 36, size: 1
1660 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 36, size: 1
1661 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 4
1662 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xffffff0fffffffff, pos: 36, size: 4
1663 dinsu :: in 0x0, in1 0x98765432, out 0xffffff0f98765432, pos: 36, size: 4
1664 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xffffff0fff865421, pos: 36, size: 4
1665 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xf000000000, pos: 36, size: 4
1666 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 36, size: 4
1667 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 36, size: 4
1668 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 36, size: 4
1669 dinsu :: in 0x98765432, in1 0x0, out 0x2000000000, pos: 36, size: 4
1670 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xffffff2fffffffff, pos: 36, size: 4
1671 dinsu :: in 0x98765432, in1 0x98765432, out 0xffffff2f98765432, pos: 36, size: 4
1672 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xffffff2fff865421, pos: 36, size: 4
1673 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x1000000000, pos: 36, size: 4
1674 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffff1fffffffff, pos: 36, size: 4
1675 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xffffff1f98765432, pos: 36, size: 4
1676 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffff1fff865421, pos: 36, size: 4
1677 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 16
1678 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xfff0000fffffffff, pos: 36, size: 16
1679 dinsu :: in 0x0, in1 0x98765432, out 0xfff0000f98765432, pos: 36, size: 16
1680 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xfff0000fff865421, pos: 36, size: 16
1681 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xffff000000000, pos: 36, size: 16
1682 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 36, size: 16
1683 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 36, size: 16
1684 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 36, size: 16
1685 dinsu :: in 0x98765432, in1 0x0, out 0x5432000000000, pos: 36, size: 16
1686 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xfff5432fffffffff, pos: 36, size: 16
1687 dinsu :: in 0x98765432, in1 0x98765432, out 0xfff5432f98765432, pos: 36, size: 16
1688 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xfff5432fff865421, pos: 36, size: 16
1689 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x5421000000000, pos: 36, size: 16
1690 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfff5421fffffffff, pos: 36, size: 16
1691 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xfff5421f98765432, pos: 36, size: 16
1692 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfff5421fff865421, pos: 36, size: 16
1693 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 36, size: 28
1694 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xfffffffff, pos: 36, size: 28
1695 dinsu :: in 0x0, in1 0x98765432, out 0xf98765432, pos: 36, size: 28
1696 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xfff865421, pos: 36, size: 28
1697 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xfffffff000000000, pos: 36, size: 28
1698 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 36, size: 28
1699 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 36, size: 28
1700 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 36, size: 28
1701 dinsu :: in 0x98765432, in1 0x0, out 0x8765432000000000, pos: 36, size: 28
1702 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0x8765432fffffffff, pos: 36, size: 28
1703 dinsu :: in 0x98765432, in1 0x98765432, out 0x8765432f98765432, pos: 36, size: 28
1704 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0x8765432fff865421, pos: 36, size: 28
1705 dinsu :: in 0xffffffffff865421, in1 0x0, out 0xf865421000000000, pos: 36, size: 28
1706 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xf865421fffffffff, pos: 36, size: 28
1707 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xf865421f98765432, pos: 36, size: 28
1708 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xf865421fff865421, pos: 36, size: 28
1709 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 48, size: 1
1710 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xfffeffffffffffff, pos: 48, size: 1
1711 dinsu :: in 0x0, in1 0x98765432, out 0xfffeffff98765432, pos: 48, size: 1
1712 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xfffeffffff865421, pos: 48, size: 1
1713 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0x1000000000000, pos: 48, size: 1
1714 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 48, size: 1
1715 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 48, size: 1
1716 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 48, size: 1
1717 dinsu :: in 0x98765432, in1 0x0, out 0x0, pos: 48, size: 1
1718 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xfffeffffffffffff, pos: 48, size: 1
1719 dinsu :: in 0x98765432, in1 0x98765432, out 0xfffeffff98765432, pos: 48, size: 1
1720 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xfffeffffff865421, pos: 48, size: 1
1721 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x1000000000000, pos: 48, size: 1
1722 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 48, size: 1
1723 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 48, size: 1
1724 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 48, size: 1
1725 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 48, size: 4
1726 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xfff0ffffffffffff, pos: 48, size: 4
1727 dinsu :: in 0x0, in1 0x98765432, out 0xfff0ffff98765432, pos: 48, size: 4
1728 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xfff0ffffff865421, pos: 48, size: 4
1729 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xf000000000000, pos: 48, size: 4
1730 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 48, size: 4
1731 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 48, size: 4
1732 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 48, size: 4
1733 dinsu :: in 0x98765432, in1 0x0, out 0x2000000000000, pos: 48, size: 4
1734 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0xfff2ffffffffffff, pos: 48, size: 4
1735 dinsu :: in 0x98765432, in1 0x98765432, out 0xfff2ffff98765432, pos: 48, size: 4
1736 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0xfff2ffffff865421, pos: 48, size: 4
1737 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x1000000000000, pos: 48, size: 4
1738 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xfff1ffffffffffff, pos: 48, size: 4
1739 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xfff1ffff98765432, pos: 48, size: 4
1740 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xfff1ffffff865421, pos: 48, size: 4
1741 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 48, size: 16
1742 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0xffffffffffff, pos: 48, size: 16
1743 dinsu :: in 0x0, in1 0x98765432, out 0xffff98765432, pos: 48, size: 16
1744 dinsu :: in 0x0, in1 0xffffffffff865421, out 0xffffff865421, pos: 48, size: 16
1745 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0xffff000000000000, pos: 48, size: 16
1746 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 48, size: 16
1747 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 48, size: 16
1748 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 48, size: 16
1749 dinsu :: in 0x98765432, in1 0x0, out 0x5432000000000000, pos: 48, size: 16
1750 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0x5432ffffffffffff, pos: 48, size: 16
1751 dinsu :: in 0x98765432, in1 0x98765432, out 0x5432ffff98765432, pos: 48, size: 16
1752 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0x5432ffffff865421, pos: 48, size: 16
1753 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x5421000000000000, pos: 48, size: 16
1754 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0x5421ffffffffffff, pos: 48, size: 16
1755 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0x5421ffff98765432, pos: 48, size: 16
1756 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0x5421ffffff865421, pos: 48, size: 16
1757 dinsu :: in 0x0, in1 0x0, out 0x0, pos: 63, size: 1
1758 dinsu :: in 0x0, in1 0xffffffffffffffff, out 0x7fffffffffffffff, pos: 63, size: 1
1759 dinsu :: in 0x0, in1 0x98765432, out 0x7fffffff98765432, pos: 63, size: 1
1760 dinsu :: in 0x0, in1 0xffffffffff865421, out 0x7fffffffff865421, pos: 63, size: 1
1761 dinsu :: in 0xffffffffffffffff, in1 0x0, out 0x8000000000000000, pos: 63, size: 1
1762 dinsu :: in 0xffffffffffffffff, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 63, size: 1
1763 dinsu :: in 0xffffffffffffffff, in1 0x98765432, out 0xffffffff98765432, pos: 63, size: 1
1764 dinsu :: in 0xffffffffffffffff, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 63, size: 1
1765 dinsu :: in 0x98765432, in1 0x0, out 0x0, pos: 63, size: 1
1766 dinsu :: in 0x98765432, in1 0xffffffffffffffff, out 0x7fffffffffffffff, pos: 63, size: 1
1767 dinsu :: in 0x98765432, in1 0x98765432, out 0x7fffffff98765432, pos: 63, size: 1
1768 dinsu :: in 0x98765432, in1 0xffffffffff865421, out 0x7fffffffff865421, pos: 63, size: 1
1769 dinsu :: in 0xffffffffff865421, in1 0x0, out 0x8000000000000000, pos: 63, size: 1
1770 dinsu :: in 0xffffffffff865421, in1 0xffffffffffffffff, out 0xffffffffffffffff, pos: 63, size: 1
1771 dinsu :: in 0xffffffffff865421, in1 0x98765432, out 0xffffffff98765432, pos: 63, size: 1
1772 dinsu :: in 0xffffffffff865421, in1 0xffffffffff865421, out 0xffffffffff865421, pos: 63, size: 1
1773 dinsu :: in 0x2002ffffffffffff, in1 0xfffffffff0000fff, out 0xfffffffff0000fff, pos: 33, size: 4
1774 dinsu :: in 0xffff0000ffffffff, in1 0xff0000ffffffffff, out 0xff0000ffffffffff, pos: 60, size: 4
1775 dinsu :: in 0x2000ffffffffffff, in1 0xffff0000ffffffff, out 0xffff0000ffffffff, pos: 54, size: 4
1776 dinsu :: in 0x2000ffffffddddff, in1 0xffffffffffff0008, out 0xffffffffffff0008, pos: 56, size: 2
1777 dinsu :: in 0x2000ffffffffeeee, in1 0xfffffff31415927f, out 0xfffffef31415927f, pos: 40, size: 4
1778 dinsu :: in 0x31415927ffffffff, in1 0x2000ffffffffffff, out 0x2018ffffffffffff, pos: 51, size: 2
1779 dinsu :: in 0x2000ffffffffaaaa, in1 0x2000ffffffff2222, out 0x200affffffff2222, pos: 48, size: 4
1780 dinsu :: in 0x2000ffffffbbbbff, in1 0x7fffffffddddffff, out 0x7fffffffddddffff, pos: 38, size: 4
1781 dinsu :: in 0xeeeeff33ff22ffff, in1 0x2000ffffffffffff, out 0x2000ffffffffffff, pos: 35, size: 4
1782 dinsu :: in 0x2000ffffffffffff, in1 0x2000ffffffffbbbb, out 0x2000ffffffffbbbb, pos: 36, size: 4
1783 dinsu :: in 0x2000ffffffffbbbb, in1 0x2000ffffffffffff, out 0x2000ffffffffffff, pos: 45, size: 1
1784 dinsu :: in 0x2000ffffffffffff, in1 0xeeeeff33ff22ffff, out 0xeeefff33ff22ffff, pos: 46, size: 4
1785 dinsu :: in 0x7fffffffddddffff, in1 0x2000ffffffbbbbff, out 0x20f0ffffffbbbbff, pos: 52, size: 4
1786 dinsu :: in 0x2000ffffffff2222, in1 0x2000ffffffffaaaa, out 0x200022ffffffaaaa, pos: 40, size: 8
1787 dinsu :: in 0x2000ffffffffffff, in1 0x31415927ffffffff, out 0x31415fa7ffffffff, pos: 39, size: 4
1788 dinsu :: in 0xfffffff31415927f, in1 0x31415927ffffffff, out 0xf1415927ffffffff, pos: 60, size: 4
1789 dinsu :: in 0xffffffffffff0008, in1 0x2000ffffffddddff, out 0x2000ffffffddddff, pos: 63, size: 1
1790 dinsu :: in 0xffff0000ffffffff, in1 0x2000ffffffffffff, out 0x203cffffffffffff, pos: 50, size: 4
1791 dinsu :: in 0xff0000ffffffffff, in1 0x0, out 0xf000000000, pos: 36, size: 4
1792 dinsu :: in 0xfffffffff0000fff, in1 0x0, out 0x3c00000000000, pos: 46, size: 4