Scratch space for exercises from the Essentials of Programming Languages.