Files within src/generator_output/sharpedo