Contents of example from commit 12fadf0c