Add a message type for termination; add an example for fault-tolerance