(TXT) FaultTolerantWriteLite.c
 (TXT) FaultTolerantWriteLite.h