fpuc=037f
fpus=2800
fptag=00e0
ST0: b17217f7d1cf79ac 3ffe
ST1: c90fdaa22168c235 4000
ST2: 8000000000000000 3fff
mxcsr=00001f80
xmm0: 456723c698694873dc515cff944a58ec
xmm1: 25252525252525252525252525252525
xmm2: 00000002fffffffaffff15a000000064
xmm3: 00000000000000000000000000000000
xmm4: 000000ffffffff000000000000000000
xmm5: c0180000000000004000000000000000
xmm6: 4004ccccc0c00000c00b333333333333
xmm7: 1f297ccd58bad7ab41f21efba9e3e146
xmm8: 00000000000000000000000000000000
xmm9: 00000000000000000000000000000000
xmm10: ffffff00000000000000000000000000
xmm11: 000000000000000000000000000000ff
xmm12: 00000000000000000000000000000000
xmm13: 3ff66666666666660000000000000000
xmm14: 3c3a1edf000000000000000000000000
xmm15: 456723c698694873dc515cff944a58ec