jump to __verbose_terminate_handler