UNDO Simple C-like language that can go forward and backwards in code. Implemented using continuations. Example Program: x = 10; Right; x = x - 1; if (x) {Left} It bounces left and right unless x = 0.