pub const ion_error_code_IERR_DUPLICATE_SYMBOL: ion_error_code = 30;