XFAIL: * RUN: not echo "xfail test output"