This example comes from the code generation lecture.