Contents of example from commit 2893009e