XFAILED           252 testsuite/dejagnu.h         laststate = XFAILED;
XFAILED           254 testsuite/dejagnu.h         std::cout << "\t" << outstate[XFAILED] << s << std::endl;