Some code in the example doc