Replacing code inadvertantly deleted in a Byzantine sequence of branching and merging.