Symbol: ecc_corrected_error