Executable until Example 17