#include <new>
#include <string>

int
main(int argc, char *argv[])
{

  std::string *s = new std::string("foo");

  if (s == NULL)
    return 1;

  return 0;

}