/testsuite/synth/issue1938/