The example program as it is up to section 2.5