Email Record: Fault-tolerant software for the FTMP /