translate fault-tolerant