Exception Handling Using Vavrinovec