/testsuite/tests/regression/pr5233/