The goal is to write a complier which can take a S expression and after lexing and parsing returns the same S-exp. The ultimate goal is to implement Delimited Continuation in the CEK interpreter, especially the four operators(−F−, -F+, +F-, +F+) mentioned in the A Monadic Framework for Delimited Continuations paper.