Home | History | Annotate | Download | only in mips64
      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
   1793