Some basic tests for Exception interface