If `raise_exception` returns, it means that the exception object is handled and should be marked as such before calling the terminate function. This issue is blocked by: #37
