Automated Transpilation Using Program Synthesis