rr: lightweight recording & deterministic debugging
rr-project.org