Wrap all of it in a module and reformat for 4-space indent.  No other
changes.