An implementation of RETRO.