pub const ion_error_code_IERR_DUPLICATE_SYMBOL_ID: ion_error_code = 31;