Exercises in Software Foundations