Contents of example from commit de0b9e9c