Talk:Structural synthesis of programs