The STIQ back-in-time debugger