synthesized checkpoint