#include<iostream>


void my_terminate() {


time_t current_time;
  char   time_string[128];

if( (current_time=time(NULL)) != -1) {
    strftime(time_string,64,"%d.%m.%y %H:%M:%S",
	     localtime(&current_time));
  }
 else
   strncpy(time_string," time not available\n",128);


 std::cerr<<"terminating at "<<time_string<<std::endl;
 exit(-1);  
}


main() {

  std::set_terminate(my_terminate);

  throw 0;

}