tests/129.out

   1 REG FFFFFFFFFFFF355D
   2 REG 0000000000000000
   3 REG 000000000000137E
   4 REG 0000000000000000
   5 REG 0000000000000000
   6 REG FF006872FF006872
   7 REG 0000000000000000
   8 REG 0000000000000000
   9 REG 0000000000000000
  10 REG 0000000000000000
  11 REG 0000000000000000
  12 REG 0000000000004A3D
  13 REG 0000000000000000
  14 REG 0000000000000000
  15 REG FFFFFFFFFFFFB5E3
  16 REG FFFFFFFFFFFF9A48
  17 REG FFFFFFFF9A91D8BF
  18 REG 0280B00000000003
  19 REG 0000000000000000
  20 REG 0000000000000000
  21 REG 0000000000000000
  22 REG FFFFFFFFFFFF137E
  23 REG 0000000000000019
  24 REG 0000000000000000
  25 REG 0000000000000000
  26 REG 0000000000000040
  27 REG 0000000000000000
  28 REG FFFFFFFFD1DCB5C2
  29 REG 000000002E234A3D
  30 REG 0000000000000000
  31 REG 0000000000001A56
  32 REG 0000000050109905