exception header file for exception handling