Actually make the example file