checked_exception
