Starting point code for my talk on structured refactoring