Title: Variable-length error-correcting codes.