template_synthesis
