Tool for adding to deterministic replay to C programs written with PThreads API.