Title: Fault tolerance through program transformation