/

we can get an unhandled exception resulting in a call to terminate(). Eelco Dolstra