This is an implementation of redo, in a compiled language.
