Example of using @raises to test the raising of an exception.