Working files for the example