/testsuite/synth/issue1240/