Instrumenting WinDBG's TTD (Time Travel Debugging) - View it on GitHub