(psx - cdc) Reinsert edc_lec_check_correct - mutates buffer