/gcc/testsuite/gm2/projects/iso/run/pass/halma/