Contents of example from commit 019ad885