More code for the example