I believe in Ocaml, if you don't use the FFI, you can do just this -- run until error, then step backwards in time.