pub const ExceptionType_OptionFatalError: ExceptionType = 710;