Starter files for extension workshop