/testsuite/synth/issue1217/