typedef void (*terminate_handler)();
The type describes a pointer to a function suitable for use as a terminate handler.