Efficient checkpoint/verification patterns. (January 2017)