Pedro Alves wrote:
> This is not correct.  "record" is one way to support reverse execution,
> but there are others.

OK, how about the attached patch instead?