redo interpreter