I think https://github.com/rr-debugger/rr/issues/2034#issuecomment-6... is the right synopsis.