specs for exception_handler