Correction codes futex