Synchronizable error-correcting binary codes (Corresp.)