The rr debugger

The rr record-and-replay debugger