Contents of example from commit 67004824