Exercises from Software Foundations