// { dg-do run  }
#include <fstream>
#include <cstdio>

int
main()
{
    std::printf("If you see this, you don't have a problem!\n");
#ifdef EXPOSE_BUG
    std::ifstream a;
#endif
}