Trapping user-defined errors should include