Chapter 2 programs with annotations