Contents of example from commit e7216226