define exc for unhandled exception