``or throw an exception `` is not part of the *return* value