checkpoint OK (for)