Exercises from "The Elements of Computing Systems"