Exception checking covers now all code branches.