An implementation of Bernstein's redo proposal
