Checkpoint: very basic interpreter framework