Symbol: Correction_Pair_t