Contents of example from commit 4a85f4a0