pub const ExceptionType_UndefinedException: ExceptionType = 0;