Add an example derived from #15.