An implementation of Bernstein's redo proposal, in a compiled language

These are an off-line Guide to the package.
