//  (C) Copyright Beman Dawes 2003.
//  See accompanying license for terms and conditions of use.

#include <iostream>

int main()
{
  std::cout << "example of output from a run-time failure\n";
  return 1;
}
