Handling Exceptions and Errors - VeriCert Handling Exceptions and Errors - VeriCert