This is:
Example 4 -- The Counter Example Using Exceptions