Contents of example from commit a888d8a4