An interpreter for Janus, the reversible programming language.