Contents of example from commit ed8dda73