Replay problem still continues, looks like sometimes thread-ids mix up.

current:
3,0,3,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0
calculated:
2,2,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0

pinbin: MyPinTool.cpp:802: LEVEL_BASE::VOID
ThreadStart(LEVEL_VM::THREADID, LEVEL_VM::CONTEXT*, LEVEL_BASE::INT32,
LEVEL_BASE::VOID*): Assertion `tls->currentVC == calculatedVC ||
(printf("current:\n") && tls->currentVC.printVector(stdout) &&
printf("calculated:\n") && calculatedVC.printVector(stdout) && false)'
failed.
C:Tool (or Pin) caused signal 11 at PC 0x7fc210980820

Segmentation fault'