First working fault tolerance code