Contents of example from commit 07149835